P. Aubry, P. L. Guernic, and S. Machard, 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

T. P. Baker and S. K. Baruah, Schedulability analysis of multiprocessor sporadic task systems, Handbook of Realtime and Embedded Systems, 2007.

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

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

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

P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis et al., From simulink to scade/lustre to tta: a layered approach for distributed embedded applications, Proceedings of the Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03), pp.153-162, 2003.

H. Chetto, M. Silly, and T. Bouchentouf, Dynamic scheduling of real-time tasks under precedence constraints, Real-Time Systems, vol.21, issue.10, 1990.
DOI : 10.1007/BF00365326

H. Cho, B. Ravindran, and E. D. Jensen, An optimal real-time scheduling algorithm for multiprocessors, Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), pp.101-110, 2006.
DOI : 10.1109/rtss.2006.10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.173-182, 2005.
DOI : 10.1145/1086228.1086261

M. Cordovilla, F. Boniol, E. Noulard, and C. Pagetti, Multiprocessor schedulability analyser, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, 2011.
DOI : 10.1145/1982185.1982345

L. Cucu and J. Goossens, Feasibility Intervals for Multiprocessor Fixed-Priority Scheduling of Arbitrary Deadline Periodic Systems, 2007 Design, Automation & Test in Europe Conference & Exhibition, pp.1635-1640, 2007.
DOI : 10.1109/DATE.2007.364536

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

L. Cucu-grosjean and J. Goossens, Exact schedulability tests for real-time scheduling of periodic tasks on unrelated multiprocessor platforms, Journal of Systems Architecture, vol.57, issue.5, pp.561-569, 2011.
DOI : 10.1016/j.sysarc.2011.02.007

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

A. Curic, Implementing Lustre programs on distributed platforms with real-time constraints, 2005.

A. David, J. Illum, K. G. Larsen, and A. Skou, Model- Based Design for Embedded Systems, chapter Model- Based Framework for Schedulability Analysis Using UP- PAAL 4, pp.93-119, 2010.

R. I. Davis and A. Burns, A survey of hard real-time scheduling algorithms and schedulability analysis techniques for multiprocessor systems, 2009.

F. Dormoy, Scade 6 a model based solution for safety critical software development, Embedded Real-Time Systems Conference, 2008.

D. Faggioli, F. Checconi, M. Trimarchi, and C. Scordino, An edf scheduling class for the linux kernel, Proceedings of 2009 Real Time Linux Workshop, 2011.

J. Forget, A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints, 2009.

J. Forget, F. Boniol, E. Grolleau, D. Lesens, and C. Pagetti, Scheduling Dependent Periodic Tasks without Synchronization Mechanisms, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010.
DOI : 10.1109/RTAS.2010.26

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

J. Forget, F. Boniol, D. Lesens, and C. Pagetti, A Multi-Periodic Synchronous Data-Flow Language, 2008 11th IEEE High Assurance Systems Engineering Symposium, 2008.
DOI : 10.1109/HASE.2008.47

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

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. L. Graham, Bounds on Multiprocessing Timing Anomalies, SIAM Journal on Applied Mathematics, vol.17, issue.2, pp.416-429, 1969.
DOI : 10.1137/0117039

N. Guan, Z. Gu, M. Lv, Q. Deng, and G. Yu, Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.556-560, 2008.
DOI : 10.1109/ISORC.2008.74

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, P. Raymond, and C. , Generating efficient code from data-flow programs, Third International Symposium on Programming Language Implementation and Logic Programming (PLILP '91), 1991.
DOI : 10.1007/3-540-54444-5_100

K. S. Hong and J. Y. Leung, On-line scheduling of real-time tasks, IEEE Transactions on Computers, vol.41, issue.10, pp.1326-1331, 1988.
DOI : 10.1109/12.166609

P. Li, B. Ravindran, S. Suhaib, and S. Feizabadi, A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems, IEEE Transactions on Software Engineering, vol.30, issue.9, pp.613-629, 2004.
DOI : 10.1109/TSE.2004.45

C. L. Liu and J. W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

B. C. Pierce, Types and programming languages, 2002.

M. Pouzet, Lucid Synchrone, version 3. Tutorial and reference manual, 2006.

M. A. Rivas and M. G. Harbour, A POSIX-Ada Interface for Application-Defined Scheduling, International Conference on Reliable Software Technologies, Ada-Europe, pp.136-150, 2002.
DOI : 10.1007/3-540-48046-3_11

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

S. Tripakis, C. Pinello, A. Benveniste, A. Sangiovanni-vincentelli, P. Caspi et al., Implementing Synchronous Models on Loosely Time Triggered Architectures, IEEE Transactions on Computers, vol.57, issue.10, pp.1300-1314, 2008.
DOI : 10.1109/TC.2008.81

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Urunuela, A. Déplanche, and Y. Trinquet, STORM a simulation tool for real-time multiprocessor scheduling evaluation, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), 2009.
DOI : 10.1109/ETFA.2010.5641179

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