C. Benveniste, . Edwards, L. Hallbwachs, D. Guernic, and . Simone, The synchronous languages twelve years later, Proceedings of the IEEE, 2003.

J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A framework for simulating and prototyping heterogeneous systems Simulation Software Development, International Journal of Computer Simulation, special issue on, vol.4, pp.155-182, 1994.
DOI : 10.1016/b978-155860702-6/50048-x

J. , C. Ph, and . Chrétienne, Problème d'ordonnancement: modélisation, complexité, algorithmes, 1988.

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N-synchronous kahn networks, POPL 2006 Proceedings, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01257286

A. Cohen, D. Genius, A. Kortebi, Z. Chamski, M. Duranton et al., Multi-periodic Process Networks: Prototyping and Verifying Stream-Processing Systems, Euro-Par '02: Proceedings of the 8th International Euro-Par Conference on Parallel Processing, pp.137-146, 2002.
DOI : 10.1007/3-540-45706-2_17

URL : https://hal.archives-ouvertes.fr/hal-01257309

H. Vincent, G. R. Van-dongen, Q. Gao, and . Ning, A polynomial time method for optimal software pipelining, Proceedings of the Second Joint International Conference on Vector and Parallel Processing: Parallel Processing, pp.613-624, 1992.

B. Powell and D. , Doing Hard Time: Developping Real Time Systems with UML, Objects , Frameworks, and Patterns, 1999.

H. Peter, B. Feiler, S. Lewis, and . Vestal, The SAE avionics architecture description language (AADL) standard : A basis for model-based architecture-driven embedded systems engineering, RTAS 2003 Workshop on Model-Driven Embedded Systems, 2003.

S. Gérard, F. Terrier, and Y. Tanguy, Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML, OOIS'02-MDSD, 2002.
DOI : 10.1007/3-540-46105-1_30

A. Jantsch, Modeling Embedded Systems and SoCs -Concurrency and Time in Models of Computation, 2003.

C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine, The SynDEx software environment for real-time distributed systems, design and implementation, Proceedings of European Control Conference, ECC'91, 1991.

E. A. Lee and A. L. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.
DOI : 10.1109/43.736561

O. Uml-profile-for-schedulability, T. Performance, and . Specification, Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701, OMG document number, pp.5-6, 2005.

R. François, . Boyer, Y. Aboulhamid, M. Savaria, and . Boyer, Optimal design of synchronous circuits using software pipelining, Proceedings of the ICCD'98, 1998.

B. Selic, On the Semantic Foundations of Standard UML 2.0, SFM-RT 2004, pp.181-199, 2004.
DOI : 10.1007/978-3-540-30080-9_6

B. Selic and J. Rumbaugh, Using UML for modeling complex real-time systems, 1998.
DOI : 10.1007/BFb0057795

I. Smarandache, Transformations affines d'horloges: application au codesign de systèmes temps-réel en utilisant les langages signal et alpha, Thèse de l'Université de Rennes, 1998.

. Unité-de-recherche-inria-sophia and . Antipolis, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, 2004.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-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

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