The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
The Generic Modeling Environment, Proc. of the IEEE Workshop on Intelligent Signal Processing, 2001. ,
Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, 2003. ,
DOI : 10.1016/S0167-6423(02)00093-X
Polychrony for system design, Journal of Circuits Systems and Computers. World Scientific, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00730480
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005. ,
DOI : 10.1109/ACSD.2005.10
From multi-clocked synchronous processes to latency-insensitive modules, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05 ,
DOI : 10.1145/1086228.1086279
Signal V4: reference manual ,
The Gme Website ,
Gme User Manual ,
Correct-by-construction asynchronous implementation of modular synchronous specifications, Applications of Concurrency to System Design, 2005. ,
Towards a higher-order synchronous dataflow language, Embedded Software Conference lectures notes in computer science, 2004. ,
Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, International Journal of Computer Simulation, special issue on Simulation Software Development. v. 4, pp.155-182, 1994. ,
DOI : 10.1016/B978-155860702-6/50048-X
A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005. ,
DOI : 10.1145/1086228.1086261
Representation and analysis of reactive behaviors: a synchronous approach, Computational Engineering in Systems Applications. IMACS-IEEE, 1996. ,
The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, 1992. ,
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711
A Modeling Paradigm for Integrated Modular Avionics Design, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06), 2005. ,
DOI : 10.1109/EUROMICRO.2006.11
SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL, Proceedings Seventh Euromicro Workshop on Real-Time Systems, 1995. ,
DOI : 10.1109/EMWRTS.1995.514309
Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004. ,