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.

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

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

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

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

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

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.

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

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

J. Pasaje, M. Harbour, and J. Drake, MAST Real-Time View: a graphic UML tool for modeling object-oriented real-time systems, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420), pp.245-256, 2001.
DOI : 10.1109/REAL.2001.990618

A. David, J. Illum, K. G. Larsen, and A. Skou, Model-Based Design for Embedded Systems, pp.93-119, 2010.

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.

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

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

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

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

M. Cordovilla, F. Boniol, J. Forget, E. Noulard, and C. Pagetti, Developing critical embedded systems on multicore architectures: the prelude-schedmcore toolset, 19th International Conference on Real-Time and Network Systems, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00618587

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

J. Forget, A synchronous language for critical embedded systems with multiple real-time constraints, 2009.

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. 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

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

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

C. Pagetti, J. Forget, F. Boniol, M. Cordovilla, and D. Lesens, Multi-task Implementation of Multi-periodic Synchronous Programs, Discrete Event Dynamic Systems, vol.4, issue.4, pp.307-338, 2011.
DOI : 10.1007/s10626-011-0107-x
URL : https://hal.archives-ouvertes.fr/inria-00638936

M. Mollison and J. Anderson, Bringing theory into practice: A userspace library for multicore real-time scheduling, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013.
DOI : 10.1109/RTAS.2013.6531100

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

F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri, Scheduling in real-time systems, 2002.
DOI : 10.1002/0470856343
URL : https://hal.archives-ouvertes.fr/hal-01125110

E. Grolleau and A. Choquet-geniet, Off-line computation of real-time schedules by means of petri nets, " in Workshop On Discrete Event Systems, WODES2000, ser. Discrete Event Systems: Analysis and Control, pp.309-316, 2000.

J. Xu and D. Parnas, Scheduling processes with release times, deadlines, precedence and exclusion relations, IEEE Transactions on Software Engineering, vol.16, issue.3, pp.360-369, 1990.
DOI : 10.1109/32.48943

J. Xu and D. L. Parnas, On satisfying timing constraints in hard-real-time systems, IEEE Transactions on Software Engineering, vol.19, issue.1, pp.70-84, 1993.
DOI : 10.1109/32.210308

T. Shepard and J. A. Gagné, A pre-run-time scheduling algorithm for hard real-time systems, IEEE Transactions on Software Engineering, vol.17, issue.7, pp.669-677, 1991.
DOI : 10.1109/32.83903

G. Behrmann, K. G. Larsen, and J. I. Rasmussen, Optimal scheduling using priced timed automata, ACM SIGMETRICS Performance Evaluation Review, vol.32, issue.4, pp.34-40, 2005.
DOI : 10.1145/1059816.1059823

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, ser, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

J. Carpenter, S. Funk, P. Holman, A. Srinivasan, J. Anderson et al., A categorization of real-time multiprocessor scheduling problems and algorithms, Handbook on Scheduling Algorithms, Methods, and Models, 2004.

W. Puffitsch, E. Noulard, and C. Pagetti, Mappting a multi-rate synchronous language to a many-core processor, Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013.

N. Fisher and S. Baruah, The partitioned multiprocessor scheduling of non-preemptive sporadic task systems, 14th International COnference on Real-Time and Network Systems, 2006.

L. Santinelli, W. Puffitsch, A. Dumerat, F. Boniol, C. Pagetti et al., A grouping approach to task scheduling with functional and non-functional requirements, Embedded Real-time Software and Systems (ERTS), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01070537

C. Bartolini, G. Lipari, and M. D. Natale, From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications, 11th IEEE Real Time and Embedded Technology and Applications Symposium, pp.458-467, 2005.
DOI : 10.1109/RTAS.2005.24

S. Kodase, S. Wang, and K. G. Shin, Transforming structural model to runtime model of embedded software with real-time constraints, Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, pp.20-170, 2003.

A. Mehiaoui, E. Wozniak, S. Tucci-piergiovanni, C. Mraidha, M. D. Natale et al., A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems, Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, pp.121-132, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00903753

A. Melani, E. Noulard, and L. Santinelli, Learning from probabilities: Dependences within real-time systems, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013.
DOI : 10.1109/ETFA.2013.6648013

P. Fournier, M. Desnoyer, and M. R. Dagenais, Combined tracing of the kernel and applications with lttng, Linux Symposium, 2009.

K. Hoste and L. Eeckhout, Microarchitecture-Independent Workload Characterization, IEEE Micro, vol.27, issue.3, pp.63-72, 2007.
DOI : 10.1109/MM.2007.56

J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper, The Mälardalen WCET benchmarks ? past, present and future, 2010.