A conservative extension of synchronous data-flow with state machines

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 173-182

  Colaço, Jean Louis ^a   Pagano, Bruno ^a   Pouzet, Marc ^b  

^a ANSYS Esterel Technologies   (France)

^b UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Clock calculus; Compilation; Heterogeneous systems; Synchronous languages; Typing

Indexed keywords

CLOCKS; CODES (STANDARDS); EMBEDDED SYSTEMS; HIERARCHICAL SYSTEMS; PROGRAM COMPILERS; SEMANTICS;

LUSTRE; SIMULINK AND STATEFLOW; STATE MACHINE; SYNCHRONOUS DATA-FLOW LANGUAGE;

DATA FLOW ANALYSIS;

EID: 29244481164     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086261     Document Type: Conference Paper

References (20)

1. Charles André. Representation and Analysis of Reactive Behaviors: A Synchronous Approach. In CESA, Lille, july 1996. IEEE-SMC. Available at: www-mips.unice.fr/~andre/synccharts.html.
2. A. Benveniste, P. LeGuernic, and Ch. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16:103-149, 1991.
3. G. Berry and G. Gonthier. The Esterel synchronous programming language, design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
4. C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng, Heterogeneous Concurrent Modeling and Design in Java. Memorandum UCB/ERL M04/27, EECS, University of California, Berkeley, CA USA 94720, July 2004.
5. J. Buck, S. Ha, E. Lee, and D. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal of computer Simulation, 1994. special issue on Simulation Software Development.
6. Reinhard Budde, G. Michele Pinna, and Axel Poigné. Coordination of synchronous programs. In International Conference on Coordination Languages and Models, number 1594 in Lecture Notes in Computer Science, 1999.
7. Jean-Louis Colaço, Alain Girault, Grégoire Hamon, and Marc Pouzet. Towards a Higher-order Synchronous Data-flow Language. In ACM Fourth International Conference on Embedded Software (EMSOFT'04), Pisa, Italy, september 2004.
8. Jean-Louis Colaço and Marc Pouzet. Clocks as First Class Abstract Types. In Third International Conference on Embedded Software (EMSOFT'03), Philadelphia, Pennsylvania, USA, October 2003.
9. Jean-Louis Colaço and Marc Pouzet. Type-based Initialization Analysis of a Synchronous Data-flow Language. International Journal on Software Tools for Technology Transfer (STTT), 6(3):245-255, August 2004.
10. Pascal Cuoq and Marc Pouzet. Modular Causality in a Synchronous Stream Language. In European Symposium on Programming (ESOP'01), Genova, Italy, April 2001.
11. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 79(9): 1305-1320, September 1991.
12. Grégoire Hamon and Marc Pouzet. Modular Resetting of Synchronous Data-flow Programs. In ACM International conference on Principles of Declarative Programming (PPDP'00), Montreal, Canada, September 2000.
13. D. Harel. StateCharts: a Visual Approach to Complex Systems. Science of Computer Programming, 8-3:231-275, 1987.
14. M. Jourdan, F. Lagnier, P. Raymond, and F. Maraninchi. A multiparadigm language for reactive systems. In 5th IEEE International Conference on Computer Languages, Toulouse, May 1994. IEEE Computer Society Press.
15. F. Maraninchi and Y. Rémond. Mode-automata: About modes and states for reactive systems. In European Symposium On Programming, Lisbon (Portugal), March 1998. Springer verlag.
16. F. Maraninchi and Y. Rémond. Mode-automata: a new domain-specific construct for the development of safe critical systems. Science of Computer Programming, (46):219-254, 2003.
17. F. Maraninchi, Y. Rémond, and Y. Raoul. Matou: An implementation of mode-automata into de. In Compiler Construction, Berlin (Germany), March 2000. Springer verlag.
18. Axel Poigné and Leszek Holenderski. On the combination of synchronous languages. In W.P.de Roever, editor, Workshop on Compositionality: The Significant Difference, volume LNCS 1536, pages 490-514, Malente, September 8-12 1997. Springer Verlag.
19. Pascal Raymond. Compilation efficace d'un langage déclaratif synchrone: le générateur de code Lustre-v3. PhD thesis, Institut National Polytechnique de Grenoble, 1991.
20. www.mathworks.com/.