×

SIGNAL

swMATH ID: 2915
Software Authors: Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Description: An ML-like module system for the synchronous language SIGNAL. Synchronous languages, such as SIGNAL, are best suited for the design of dependable real-time systems. Synchronous languages enable a very high-level specification and an extremely modular implementation of complex systems by structurally decomposing them into elementar synchronous processes. Separate compilation in reactive languages is however made a difficult issue by global safety requirements. To enable separate compilation of the functional components of reactive systems while preserving their global integrity, we introduce a module system for SIGNAL. Just as data-types describe the invariants of program modules in functional languages, temporal and data-flow invariants interface SIGNAL processes to their enviroument. In conventional languages, typing is the medium allowing the separate compilation of functions in a program. In SIGNAL, the notion of conditional data-flow graph can similarly be used for separately compiling reactive processes and for assembling them in complex systems. Following this principle, we present the first design and implementation of a polymorphic type system and of a module system for the synchronous language SIGNAL
Homepage: http://www.irisa.fr/espresso/Polychrony/document/tutorial.pdf
Keywords: Programming languages
Related Software: Esterel; LUSTRE; Ptolemy; Simulink; Polychrony; StateFlow; Erlang; Lucid; TAXYS; Giotto; OCaml; Coq; GitHub; PKind; Yices; SMT-LIB; TimeSquare; Uppaal; NAT2TEST; Boogie
Cited in: 48 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
An ML-like module system for the synchronous language SIGNAL. Zbl 0996.68634
Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
1997
all top 5

Cited by 80 Authors

10 Le Guernic, Paul
8 Talpin, Jean-Pierre
5 Benveniste, Albert
4 Nowak, David E.
4 Pouzet, Marc
3 Gautier, Thierry
2 Caillaud, Benoît
2 Caspi, Paul
2 Ginhac, Dominique
2 Gupta, Rajesh Kumar
2 Henzinger, Thomas A.
2 Kerbœuf, Mickaël
2 Sérot, Jocelyn
2 Shukla, Sandeep Kumar
2 Sifakis, Joseph
1 Alferes, José Júlio
1 Attanasio, Candida
1 Besnard, Loïc
1 Bliudze, Simon
1 Boniol, Frédéric
1 Bourke, Timothy
1 Bozzelli, Laura
1 Brogi, Antonio
1 Chapuis, Roland
1 Chen, Yanwen
1 Chen, Yixiang
1 Cohen, Albert
1 Cooper, Gregory H.
1 Cordovilla, Mikel
1 Corradini, Flavio
1 Cousot, Patrick
1 Cousot, Radhia
1 Cuoq, Pascal
1 Dérutin, Jean-Pierre
1 Dierks, Henning
1 Doucet, Frederic
1 Elliott, Conal M.
1 Field, John Everett
1 Forget, Julien
1 Gagné, Jean-Raymond
1 Garoche, Pierre-Loïc
1 Gay, Simon J.
1 Gupta, Vineet
1 Halbwachs, Nicolas
1 Hammond, Kevin
1 Horowitz, Benjamin
1 Hudak, Paul
1 Inverardi, Paola
1 Jagadeesan, Radha
1 Jaquemot, Christian
1 Kahsai, Temesghen
1 Krishnamurthi, Shriram
1 Le Borgne, Michel
1 Leite, João Alexandre
1 Lesens, David
1 Madelaine, Eric
1 Mandel, Louis
1 Marchand, Hervé
1 Marinescu, Maria-Cristina
1 Meyer Kirsch, Christoph
1 Nagarajan, Rajagopal
1 Nebut, Mirabelle
1 Ngo, Van Chan
1 Pagano, Bruno
1 Pagetti, Claire
1 Plaice, John
1 Plateau, Florence
1 Pnueli, Amir
1 Rutten, Eric
1 Samaan, Morcos F.
1 Sánchez, César
1 Saraswat, Vijay A.
1 Schaefer, Ina
1 Sorel, Yves
1 Sorine, Michel
1 Stefansen, Christian
1 Teneketzis, Demosthenis
1 Thirioux, Xavier
1 Tourlas, Konstantinos
1 Winkelmann, Klaus
all top 5

Cited in 15 Serials

4 Science of Computer Programming
3 Information and Computation
3 Formal Aspects of Computing
3 Formal Methods in System Design
2 Theoretical Computer Science
2 Frontiers of Computer Science
1 Parallel Computing
1 Journal of Symbolic Computation
1 International Journal of Parallel Programming
1 CWI Quarterly
1 Machine Vision and Applications
1 Discrete Event Dynamic Systems
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming
1 Nonlinear Analysis. Hybrid Systems

Cited in 4 Fields

45 Computer science (68-XX)
5 Systems theory; control (93-XX)
3 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)

Citations by Year