P. Aubry, L. Guernic, P. Machard, and S. , Synchronous distribution of SIGNAL programs, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences, pp.656-665, 1996.
DOI : 10.1109/HICSS.1996.495517

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

S. Baruah and A. Burns, Sustainable Scheduling Analysis, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), pp.159-168, 2006.
DOI : 10.1109/RTSS.2006.47

A. Benveniste, L. Guernic, P. Jacquemot, and C. , Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

F. Boniol, P. Hladik, C. Pagetti, F. Aspro, and V. Jégu, A Framework for Distributing Real-Time Functions, Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'08), pp.155-169, 2008.
DOI : 10.1007/978-3-540-85778-5_12

A. Cervin, H. Chetto, M. Silly, and T. Bouchentouf, Integrated control and real-time scheduling Dynamic scheduling of real-time tasks under precedence constraints, Real-Time Systems, vol.2, issue.3, pp.181-194, 1990.

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N-Synchronous Kahn Networks: a relaxed model of synchrony for real-time systems Clocks as first class abstract types, Proceedings of the 3rd International Conference on Embedded Software (EMSOFT'03), pp.134-155, 2003.

F. Cottet, J. Delacroix, C. Kaiser, Z. Mammeri, S. Faucou et al., Scheduling in real-time systems Implementing Lustre programs on distributed platforms with real-time constraints An ADL centric approach for the formal design of real-time systems, Architecture Description Language Workshop at IFIP World Computer Congress, pp.67-82, 2002.

P. Feiler, D. Gluch, J. Hudak, . Onera, F. Toulouse et al., The architecture analysis & design language (AADL): An introduction A synchronous language for critical embedded systems with multiple realtime constraints A multi-periodic synchronous data-flow language, Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE'08), pp.251-260, 2006.

J. Forget, F. Boniol, E. Grolleau, D. Lesens, and C. Pagetti, Scheduling dependent periodic tasks without synchronization mechanisms (submitted), Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'10), pp.301-310, 2010.

A. Girault and X. Nicollin, Clock-Driven Automatic Distribution of Lustre Programs, Proceedings of the 3rd International Conference on Embedded Software (EMSOFT'03), pp.206-222, 2003.
DOI : 10.1007/978-3-540-45212-6_14

A. Girault, X. Nicollin, and M. Pouzet, Automatic rate desynchronization of embedded reactive programs, ACM Transactions on Embedded Computing Systems, vol.5, issue.3, pp.687-717, 2006.
DOI : 10.1145/1165780.1165786

R. Graham, Bounds on Multiprocessing Timing Anomalies, SIAM Journal on Applied Mathematics, vol.17, issue.2, pp.416-429, 1969.
DOI : 10.1137/0117039

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

N. Halbwachs, R. P. Ratel, and C. , Generating efficient code from data-flow programs, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (PLILP '91), pp.207-218, 1991.
DOI : 10.1007/3-540-54444-5_100

T. Henzinger, B. Horowitz, and C. Kirsch, Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, vol.91, issue.1, pp.84-99, 2003.
DOI : 10.1109/JPROC.2002.805825

G. Kahn, The semantics of simple language for parallel programming, Proceedings of the International Federation for Information Processing (IFIP'74) Congress, pp.471-475, 1974.

E. Lee and A. Sangiovanni-vincentelli, Comparing models of computation, Proceedings of International Conference on Computer Aided Design, pp.234-241, 1996.
DOI : 10.1109/ICCAD.1996.569613

X. Leroy, The Objective Caml system release 3.09, Documentation and user's manual Scheduling algorithms for multiprogramming in a hard-realtime environment, INRIA Liu CL, Layland JW Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.

O. Sename, D. Simon, B. Gaïd, and M. , A LPV approach to control and real-time scheduling codesign: Application to a robot-arm control, 2008 47th IEEE Conference on Decision and Control, pp.4891-4897, 2008.
DOI : 10.1109/CDC.2008.4738778

URL : https://hal.archives-ouvertes.fr/inria-00367679

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: a flexible real time scheduling framework, Ada Lett XXIV, issue.4, pp.1-8, 2004.

I. Smarandache and L. Guernic, A canonical form for affine relations in signal, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00073594

C. Sofronis, S. Tripakis, and P. Caspi, A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.21-33, 2006.
DOI : 10.1145/1176887.1176892

C. Sofronis, P. Caspi, and A. Curic, Simulink: User's Guide. The Mathworks Tripakis S Translating discrete-time Simulink to Lustre, The Mathworks, pp.779-818, 2005.