L. Barreto and G. Muller, Bossa: a DSL framework for application-specific scheduling policies, Proceedings Eighth Workshop on Hot Topics in Operating Systems, 2001.
DOI : 10.1109/HOTOS.2001.990077
URL : https://hal.archives-ouvertes.fr/inria-00072431

J. Bechennec, M. Briday, S. Faucou, and Y. Trinquet, Trampoline an opensource implementation of the osek/vdx rtos specification, 2006.

J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, Uppaal ? a Tool Suite for Automatic Verification of Real?Time Systems, Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pp.232-243, 1995.

J. Bodeveix, M. Filali, L. Julia, G. Lawall, and . Muller, Automatic Verification of Bossa Scheduler Properties, Electronic Notes in Theoretical Computer Science, vol.185, pp.17-32, 2007.
DOI : 10.1016/j.entcs.2007.05.026
URL : https://hal.archives-ouvertes.fr/inria-00089493

C. Boke, M. Gotz, T. Heimfarth, . Kebbe, S. Fj-rammig et al., (Re-) configurable real-time operating systems and their applications, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)., pp.148-155, 2003.
DOI : 10.1109/WORDS.2003.1218077

R. Brightwell, R. Riesen, K. Underwood, B. Trammell, P. Hudson et al., A performance comparison of Linux and a lightweight kernel, Proceedings IEEE International Conference on Cluster Computing CLUSTR-03, pp.251-258, 2003.
DOI : 10.1109/CLUSTR.2003.1253322

M. Broy, I. H. Kruger, A. Pretschner, and C. Salzmann, Engineering Automotive Software, Proceedings of the IEEE, vol.95, issue.2, pp.356-373, 2007.
DOI : 10.1109/JPROC.2006.888386

O. Group and . Group, Osek/vdx os test plan version 2.0, 1999.

O. Group and . Group, Osek/vdx os test procedure version 2.0, 1999.

O. Group, Osek/vdx operating system specification, 2009.

J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler et al., System architecture directions for networked sensors, ACM SIGOPS operating systems review, pp.93-104, 2000.

D. John, OSEK/VDX conformance testing - MODISTARC, IEE Seminar OSEK/VDX Open Systems in Automotive Networks, pp.7-7, 1998.
DOI : 10.1049/ic:19981078

K. Krueger, D. Loftesness, A. Vahdat, and T. Anderson, Tools for the development of application-specific virtual memory management, 1993.

D. Lohmann, W. Hofer, W. Schröder-preikschat, J. Streicher, and O. Spinczyk, Ciao: An aspect-oriented operating-system family for resource-constrained embedded systems, USENIX Annual Technical Conference, 2009.