Operating System Specification 2.2.1, OSEK Group, 2003. ,
Avionics Application Software Standard Interface, Aeronautical Radio INC, vol.653, 2005. ,
VxWorks 653 -DO-178B Certified ARINC 653 Real-Time Operating System, Wind River, 2006. ,
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
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
A synchronous language for critical embedded systems with multiple real-time constraints, 2009. ,
Scheduling algorithms for multiprogramming in a hard-real-time environment, Journal of the ACM, vol.20, issue.1, 1973. ,
Fixed priority scheduling periodic tasks with varying execution priority, [1991] Proceedings Twelfth Real-Time Systems Symposium, 1991. ,
DOI : 10.1109/REAL.1991.160365
Contraintes de précédences et ordonnancement mono-processeur, Real-time and embedded systems (RTS'02), 2002. ,
Dynamic scheduling of real-time tasks under precedence constraints, Real-Time Systems, vol.21, issue.10, 1990. ,
DOI : 10.1007/BF00365326
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. ,
Bounds on Multiprocessing Timing Anomalies, SIAM Journal on Applied Mathematics, vol.17, issue.2, 1969. ,
DOI : 10.1137/0117039
On the complexity of fixedpriority scheduling of periodic, real-time tasks, Performance Evaluation, vol.2, issue.4, 1982. ,
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
Cheddar: a flexible real time scheduling framework, Ada Lett, vol.XXIV, issue.4, 2004. ,
Optimal priority assignment and feasibility of static priority tasks with arbitrary start times, 1991. ,