, , 2007.
Cheddar : a flexible real time scheduling framework, vol.11, 2004. ,
Ocarina documentation ,
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
, Third IEEE International Conference on Space Mission Challenges for Information Technology, pp.13-20, 2009.
Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel, Proceedings of the DASIA 2011 Conference. DAta Systems In Aerospace. 17-20, 2011. ,
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
,
Faster, Later, Softer: COrDeT, a reference on-board software architecture for spacecrafts, Proceeding of ERTS, 2010. ,
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. ,