-. Polyorb and . Guide, , 2007.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar : a flexible real time scheduling framework, vol.11, 2004.

T. Vergnaud, B. Zalila, and J. Hugues, Ocarina documentation

J. Hugues, F. Kordon, L. Pautet, and T. Vergnaud, A Factory To Design and Build Tailorable and Verifiable Middleware, Proceedings of the Monterey Workshop 2005 on Networked Systems: realization of reliable systems on top of unreliable networked platforms
URL : https://hal.archives-ouvertes.fr/hal-01335054

J. Windsor and K. Hjortnaes, Third IEEE International Conference on Space Mission Challenges for Information Technology, pp.13-20, 2009.

T. Pareaud, L. Planche, and D. Mylonas, Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel, Proceedings of the DASIA 2011 Conference. DAta Systems In Aerospace. 17-20, 2011.

J. Almeida and &. Prochazka, Safe and Secure Partitioning with PikeOs: Towards Integrated Modular Avionics in Space, Proceedings of the DASIA 2009 Conference, DAta Systems In Aerospace, 2009.

, WindRiver VxWorks 653 Platform

. Rtems-centre,

J. L. Terraillon and A. Jung, Faster, Later, Softer: COrDeT, a reference on-board software architecture for spacecrafts, Proceeding of ERTS, 2010.

M. Panunzio and T. Vardanega, A Component Model for On-board Software Applications, Proc. of the 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA'10), vol.109, 2010.