Architecture Analysis & Design Language (AADL), 2004. ,
Generating Distributed High Integrity Applications from their Architectural Description, AdaEurope'07, 2007. ,
Guide for the use of the Ada Ravenscar Profile in high integrity systems, 2003. ,
PolyORB-HI-C User Guide, 2007. ,
The Architecture Analysis & Design Language (AADL) : An Introduction, 2006. ,
Cheddar : a flexible real time scheduling framework, vol.11, 2004. ,
,
, IEEE Transactions on Computers, pp.1175-1185, 1990.
Design of Rules for Transforming UML Sequence Diagrams into Java code, 2002. ,
Automated Model-Based Generation of Ravenscar-Compliant Source Code, 2005. ,
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, vol.4322, pp.123-144, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-01335054
Architectures and patterns for developing highperformance, real-time orb endsystems, 1999. ,
, Object Management Group. Common object request broker architecture : Core specification, 2004.
,
, Open Source for Critical Applications & Systems (TOPCASED)
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
A Generative Approach to Building a Framework for Hard Real-Time Applications, 31st IEEE Software Engineering Workshop, 2007. ,