O. and O. /. Vdx, Operating System Specification 2.2.1, OSEK Group, 2003.

A. and A. Specification, Avionics Application Software Standard Interface, Aeronautical Radio INC, vol.653, 2005.

. Vxworks, VxWorks 653 -DO-178B Certified ARINC 653 Real-Time Operating System, Wind River, 2006.

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, 2006.
DOI : 10.1145/1176887.1176892

F. Boniol, M. Cordovilla, J. Forget, and C. Pagetti, Implantation multit??che de programmes synchrones multip??riodiques, 7iéme colloque francophone sur la Modelisation des Systemes Réactifs (MSR'09), 2009.
DOI : 10.3166/jesa.43.741-755

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

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, 1973.

M. G. Harbour, M. H. Klein, and J. P. Lehoczky, Fixed priority scheduling periodic tasks with varying execution priority, [1991] Proceedings Twelfth Real-Time Systems Symposium, 1991.
DOI : 10.1109/REAL.1991.160365

M. Richard, P. Richard, E. Grolleau, and F. Cottet, Contraintes de précédences et ordonnancement mono-processeur, Real-time and embedded systems (RTS'02), 2002.

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

P. Richard, F. Cottet, and C. Kaiser, Validation temporelle d'un logiciel temps réel : application un laminoir industriel, Journal Européen des Systèmes Automatisés, vol.35, issue.9, 2001.

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

J. Y. Leung and J. Whitehead, On the complexity of fixedpriority scheduling of periodic, real-time tasks, Performance Evaluation, vol.2, issue.4, 1982.

M. Joseph and P. Pandya, Finding Response Times in a Real-Time System, The Computer Journal, vol.29, issue.5, pp.390-395, 1986.
DOI : 10.1093/comjnl/29.5.390

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

N. C. Audsley, Optimal priority assignment and feasibility of static priority tasks with arbitrary start times, 1991.