V. H. Allan, R. B. Jones, R. M. Lee, and S. J. Allan, Software pipelining, ACM Computing Surveys, vol.27, issue.3, pp.367-432, 1995.
DOI : 10.1145/212094.212131

M. Alras, P. Caspi, A. Girault, and P. Raymond, Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model, 2009 International Conference on Embedded Software and Systems, pp.3-10, 2005.
DOI : 10.1109/ICESS.2009.36

C. Auger, Compilation certifiée de SCADE/LUSTRE, 2013.

K. Sanjoy and . Baruah, Dynamic-and static-priority scheduling of recurring real-time tasks. Real- Time Systems, pp.93-12810, 2003.

J. Blazewicz, Scheduling dependent tasks with different arrival times to meet deadlines Modelling and Performance Evaluation of Computer Systems, Proceedings of the International Workshop organized by the Commision of the European Communities, pp.57-65, 1976.

V. Brocal, M. Masmano, I. Ripoll, A. Crespo, P. Balbastre et al., Xoncrete: a scheduling tool for partitioned real-time systems, Embedded and Real 14-18, pp.1321-1326, 2011.

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, Proceedings of the 33rd ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages, pp.180-193, 2006.

A. Cohen, V. Perrelle, D. Potop-butucaru, E. Soubiran, and Z. Zhang, Mixedcriticality in Railway Systems: A Case Study on Signalling Application URL: https, Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014), 2014.

A. Stephen, S. Edwards, E. A. Kim, I. Lee, H. D. Liu et al., A disruptive computer design idea: Architectures with repeatable timing, 27th International Conference on Computer Design, ICCD 2009, pp.54-59, 2009.

A. Stephen, E. A. Edwards, and . Lee, The case for the precision timed (PRET) machine, Proceedings of the 44th Design Automation Conference, pp.264-265, 2007.

H. Peter, D. P. Feiler, and . Gluch, Model- Based Engineering with AADL ? An Introduction to the SAE Architecture Analysis and Design Language . SEI series in software engineering, 2012.

S. Fischmeister, O. Sokolsky, and I. Lee, Network-Code Machine: Programmable Real-Time Communication Schedules, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), pp.4-7, 2006.
DOI : 10.1109/RTAS.2006.31

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

G. Fohler, Changing operational modes in the context of pre run-time scheduling, IEICE Transactions on Information and Systems, Special Issue on Responsive Computer Systems, pp.1333-1340, 1993.

G. Fohler and K. Ramamritham, Static scheduling of pipelined periodic tasks in distributed real-time systems, Proceedings Ninth Euromicro Workshop on Real Time Systems, pp.11-13, 1997.
DOI : 10.1109/EMWRTS.1997.613773

A. Girault, H. Kalla, M. Sighireanu, and Y. Sorel, An algorithm for automatically obtaining distributed and fault-tolerant static schedules, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings., pp.22-25, 2003.
DOI : 10.1109/DSN.2003.1209927

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

R. Gorcitz, E. Kofman, T. Carle, D. Potop-butucaru, R. et al., On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling, Formal Modeling and Analysis of Timed Systems ? 13th International Conference, FORMATS 2015 Proceedings, pp.108-123, 2015.
DOI : 10.1007/978-3-319-22975-1_8

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

J. Paul-le-guernic, J. Talpin, and . Lann, POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.261-30410, 2003.
DOI : 10.1142/S0218126603000763

A. Thomas, B. Henzinger, C. M. Horowitz, and . Kirsch, Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, pp.84-99, 2003.

A. Thomas, C. M. Henzinger, and . Kirsch, The embedded machine: Predictable, portable real-time code, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.29, issue.6, 2007.

D. Isovic and G. Fohler, Handling mixed sets of tasks in combined offline and online scheduled real-time systems, Real-Time Systems, vol.14, issue.3, pp.296-325, 2009.
DOI : 10.1007/s11241-009-9088-3

H. Kopetz, Event-triggered versus timetriggered real-time systems, In Arthur I
DOI : 10.1007/bfb0024530

H. Kopetz and G. Bauer, The timetriggered architecture, Proceedings of the IEEE, pp.112-126, 2003.

A. Edward, D. G. Lee, and . Messerschmitt, Synchronous data flow, pp.1235-1245, 1987.

Y. Joseph, M. L. Leung, and . Merrill, A note on preemptive scheduling of periodic, real-time tasks, Information Processing Letters, vol.1180, issue.3, pp.115-11890123, 1980.

M. 32-stéphane-louise, C. Lemerre, V. Aussaguès, and . David, The OASIS kernel: A framework for high dependability realtime systems, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, pp.95-103, 2011.

M. Marouf, L. George, and Y. Sorel, Schedulability analysis for a combination of nonpreemptive strict periodic tasks and preemptive sporadic tasks, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, pp.1-8, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00737917

. Luke, Device drivers in time and space partitioned operating systems, 25th Digital Avionics Systems Conference, pp.1-9, 2006.

A. Munier, The basic cyclic scheduling problem with linear precedence constraints, Discrete Applied Mathematics, vol.64, issue.3, pp.219-238, 1996.
DOI : 10.1016/0166-218X(94)00126-X

C. Pagetti, J. Forget, F. Boniol, M. Cordovilla, and D. Lesens, Multitask implementation of multi-periodic synchronous programs. Discrete Event Dynamic Systems, pp.307-338, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00638936

P. Pop, P. Eles, and Z. Peng, Scheduling with optimized communication for time-triggered embedded systems, Proceedings of the seventh international workshop on Hardware/software codesign , CODES '99, pp.178-182, 1999.
DOI : 10.1145/301177.303812

A. 39-dumitru-potop-butucaru, S. Azim, and . Fischmeister, Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.199-208, 2010.
DOI : 10.1145/1879021.1879048

R. 40-dumitru-potop-butucaru, Y. De-simone, J. Sorel, and . Talpin, Clock-driven distributed real-time implementation of endochronous synchronous programs, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.147-156, 2009.
DOI : 10.1145/1629335.1629356

W. Puffitsch, E. Noulard, and C. Pagetti, Mapping a multi-rate synchronous language to a many-core processor, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.293-302, 2013.
DOI : 10.1109/RTAS.2013.6531101

K. Ramamritham, G. Fohler, J. M. , and A. , Issues in the static allocation and scheduling of complex periodic tasks, 10th IEEE Workshop on Real-Time Operating Systems and Software, RTOSS 1993, pp.11-16, 1993.

P. Richard, F. Cottet, and C. Kaiser, Précédences généralisées et ordonnançabilité des tâches de suivi temps réel d'un laminoir, Journal européen des systèmes automatisés, vol.35, pp.1055-1071, 2001.

J. M. Rushby, Bus architectures for safetycritical embedded systems, Embedded Software, First International Workshop Proceedings, volume 2211 of Lecture Notes in Computer Science, pp.8-10, 2001.
DOI : 10.1007/3-540-45449-7_22

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

A. A. Sheikh, O. Brun, P. Hladik, and B. J. Prabhu, Strictly periodic scheduling in ima-based architectures. Real- Time Systems, pp.359-386

J. Xu, Multiprocessor scheduling of processes with release times, deadlines, precedence, and exclusion relations, IEEE Transactions on Software Engineering, vol.19, issue.2, pp.139-154, 1993.
DOI : 10.1109/32.214831

W. Zheng, J. Chong, C. Pinello, S. Kanajan, and A. L. Sangiovanni-vincentelli, Extensible and scalable time triggered scheduling, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.6-9, 2005.
DOI : 10.1109/ACSD.2005.13