D. Harel and A. Pnueli, On the Development of Reactive Systems, Logics and Models of Concurrent Systems NATO ASI Series, pp.477-498, 1985.
DOI : 10.1007/978-3-642-82453-1_17

D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi et al., STATEMATE: a working environment for the development of complex reactive systems, IEEE Transactions on Software Engineering, vol.16, issue.4, pp.403-414, 1990.
DOI : 10.1109/32.54292

N. Halbwachs, Synchronous programming of reactive systems, a tutorial and commented bibliography, Tenth International Conference on Computer-Aided Verification, CAV'98 LNCS 1427, 1998.

F. Maraninchi and Y. Rémond, Mode-automata: About modes and states for reactive systems, European Symposium On Programming, 1998.
DOI : 10.1007/BFb0053571

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

P. , L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming Real-Time applications with SIGNAL, Another Look at Real-Time Programming, Proceedings of the IEEE, pp.1321-1336, 1991.

D. Bruce-powel, Real Time UML Third Edition Advences in the UML for Real- Time Systems, Object Technology Series, 2004.

A. Demeure and Y. D. Gallo, An array approach for signal processing design, In Sophia- Antipolis conference on Micro-Electronics, 1998.

O. Labbani, J. Dekeyser, and P. Boulet, Mode-Automata Based Methodology for Scade, Springer, Hybrid Systems: Computation and Control, 8th International Workshop, pp.386-401, 2005.
DOI : 10.1007/978-3-540-31954-2_25
URL : https://hal.archives-ouvertes.fr/inria-00000912

E. A. Lee, Overview of the Ptolemy Project, 2001.

A. Cuccuru, J. Dekeyser, P. Marquet, and P. Boulet, Towards UML 2 extensions for compact modeling of regular complex topologies -A partial answer to the MARTE RFP, MoDELS/UML 2005, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00565168

A. Cuccuru, Modélisation unifiée des aspects répétitifs dans la conception conjointe logicielle/matérielle des systèmes sur puce à haute performances, 2005.

N. Halbwachs, Synchronous programming of reactive systems, p.792393112, 1993.

R. De, S. , and C. André, Synchronous Reactive " UML subprofile? , Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS), 2003.

A. Demeure, A. Lafage, E. Boutillon, D. Rozzonelli, D. Jean-claude et al., Array-OL : Proposition d'un Formalisme Tableau pour le Traitement de Signal Multi-Dimensionnel, 1995.

M. Jourdan, F. Lagnier, F. Maraninchi, and P. Raymond, A multiparadigm language for reactive systems, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94), 1994.
DOI : 10.1109/ICCL.1994.288379

N. Pernet and Y. Sorel, Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing, International Conference: Computer Applications in Industry and Engineering, 2003.

A. Poigné, M. Morley, O. Maffeis, L. Holenderski, and R. Budde, The Synchronous Approach to Designing Reactive Systems, Formal Methods in System Design, vol.12, issue.2, pp.163-187, 1998.
DOI : 10.1023/A:1008697810328

L. Zaffalon and P. Breguet, Conception de systèmes réactifs, Vision, 2001.

G. Berry and A. Benveniste, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075115

N. Richard, Description de comportements d'agents autonomes évoluant dans des mondes virtuels, École Nationale Supérieure des Télécommunications, 2001.

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. , Plaice, Lustre, a declarative language for real time programming, Proceedings ACM Conference on Principles of Programming Languages, 1987.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

N. Halbwachs, F. Lagnier, and C. Ratel, Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992.
DOI : 10.1109/32.159839

P. , L. Guernic, A. Benveniste, P. Bournai, and T. Gautier, SIGNAL: a Data Flow Oriented Language for Signal Processing, Speech, Signal Proc., ASSP-34, pp.362-374, 1986.
URL : https://hal.archives-ouvertes.fr/inria-00076178

B. Houssais, Cours de Programmation en Langage Synchrone SIGNAL

P. , L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming Real-Time applications with SIGNAL, Another Look at Real-Time Programming, Proceedings of the IEEE, pp.79-1321, 1991.

C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine, The Syn- DEx software environment for real-time distributed systems design and implementation, ECC'91, 1991.

G. Moreaug, Modélisation du comportement pour la simulation interactive: application au trafic routier multimodal, 1998.

F. Boussinot and R. Simone, The Esterel Language, Another Look at Real- Time Programming, Proceedings of the IEEE, pp.1293-1304, 1991.

G. Berry and G. Gonthier, The Esterel Synchronous Programming Language: Design, Semantics, Implementation, Science of Computer Programming The Foundations of Esterel, Proofs, Languages, and Interaction, Essays in Honour of Robin Milner, pp.87-152, 1992.

F. Maraninchi and Y. Rémond, Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001.
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055

D. Harel, STATECHARTS: A visual approach to complex systems, Science of Computer Programming, vol.8, issue.3, 1987.

H. Boufaied, Machines d'exécution pour langages synchrones, 1998.

L. Holenderski and A. Poigné, The Multi-Paradigm Synchronous Programming Language LEA, Proceedings of the Int. Workshop on Formal Techniques for Hardware and Hardware-like Systems, 1998.

A. Rauzy, Mode automata and their Compilation into Fault Trees, Reliability Engineering and System Safety, pp.1-12, 2002.
DOI : 10.1016/s0951-8320(02)00042-x

I. Unité-de-recherche, . Lorraine, . Loria, and . Technopôle-de-nancy, Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-l` es-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex

I. Editeur and . De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399