Mixing signals and modes in synchronous data-flow systems

IEEE International Conference on Embedded Software, EMSOFT 2006

Volumn , Issue , 2006, Pages 73-82

  Colaço, Jean Louis ^a   Hamon, Grégoire ^b   Pouzet, Marc ^c  

^a ANSYS Esterel Technologies   (France)

^b MATHWORKS INC   (United States)

^c UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Compilation; Languages; Mode automata; Synchronous

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING; PROGRAM COMPILERS; SIGNAL PROCESSING;

CONTROL STRUCTURES; MODE AUTOMATA; PARAMETERIZED STATE MACHINES; SYNCHRONOUS DATA FLOW;

DATA FLOW ANALYSIS;

EID: 34547449203     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1176887.1176899     Document Type: Conference Paper

References (23)

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. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
3. 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.
4. Gérard Berry. The constructive semantics of pure esterel. Draft book, 1999.
5. Gérard Berry. The esterel v5 language primer, version 5.21 release 2.0. Draft book, 1999.
6. 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.
7. 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.
8. Reinhard Budde, G. Michele Pinna, and Axel Poigne. Coordination of synchronous programs. In International Conference on Coordination Languages and Models, number 1594 in Lecture Notes in Computer Science, 1999.
9. Paul Caspi and Marc Pouzet. Synchronous Kahn Networks. In A CM SIGPLAN International Conference on Functional Programming, Philadelphia, Pensylvania, May 1996.
10. Jean-Louis Colaço, Bruno Pagano, and Marc Pouzet. A Conservative Extension of Synchronous Data-flow with State Machines. In ACM International Conference on Embedded Software (EMSOFT'05), Jersey city, New Jersey, USA, September 2005.
11. 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.
12. Edsger W. Dijkstra. Go to statement considered harmful. Communications of the ACM, 11(3): 147-148, Mar 1968. http://www.acm.org/classics/oct95.
13. Cédric Fournet and Georges Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pages 372-385, St. Petersburg Beach, Florida, January 21-24 1996. ACM.
14. 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.
15. Grégoire Hamon and Marc Pouzet. Modular Resetting of Synchronous Data-flow Programs. In ACM International conference on Principles of Declarative Programming (PPDP'OO), Montreal, Canada, September 2000.
16. 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.
17. Fabrice Le Fessant and Luc Maranget. Optimizing pattern-matching. In Proceedings of the 2001 International Conference on Functional Programming. ACM Press, 2001.
18. 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.
19. The Mathworks. Stateflow and Stateflow Coder, User's Guide, release 13sp1 edition, September 2003.
20. Axel Poigne 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.
21. Marc Pouzet. Lucid Synchrone, version 3. Tutorial and reference manual. Université Paris-Sud, LRI, April 2006. Distribution available at: www.lri.fr/~pouzet/lucid-synchrone.
22. SCADE. http://www.esterel-technologies.com/scade/, 2005.
23. 2005.www.mathworks.com.