. Sae-aerospace, Architecture Analysis & Design Language (AADL), 2004.

B. Zalila, I. Hamid, J. Hugues, and L. Pautet, Generating Distributed High Integrity Applications from their Architectural Description, AdaEurope'07, 2007.

B. Dobbing, T. Vardenega, and A. Burns, Guide for the use of the Ada Ravenscar Profile in high integrity systems, 2003.

J. Delange, PolyORB-HI-C User Guide, 2007.

H. Peter, D. P. Feiler, J. J. Gluch, and . Hudak, The Architecture Analysis & Design Language (AADL) : An Introduction, 2006.

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

L. Sha, R. Rajkumar, and P. John,

. Lehoczky, IEEE Transactions on Computers, pp.1175-1185, 1990.

P. Muenchaisri and M. Thongmak, Design of Rules for Transforming UML Sequence Diagrams into Java code, 2002.

M. Bordin and T. Vardaneda, Automated Model-Based Generation of Ravenscar-Compliant Source Code, 2005.

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, vol.4322, pp.123-144, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01335054

D. Schmidt, D. Levine, and C. Cleeland, Architectures and patterns for developing highperformance, real-time orb endsystems, 1999.

, Object Management Group. Common object request broker architecture : Core specification, 2004.

. Dslinux,

, Open Source for Critical Applications & Systems (TOPCASED)

J. Hugues, L. Pautet, and F. Kordon, A framework for DRE middleware, an application to DDS, Proceedings of the 9th IEEE International Symposium on Object-oriented Realtime distributed Computing (ISORC'06), 2006.
URL : https://hal.archives-ouvertes.fr/hal-01336642

I. Hamid, E. Najm, B. Zalila, and J. Hugues, A Generative Approach to Building a Framework for Hard Real-Time Applications, 31st IEEE Software Engineering Workshop, 2007.