Automatic framework generation for hard real-time applications

The communication and tasking infrastructure of a real-time application makes up a significant portion of any modern embedded control system. Traditionally, the tasking and communication constructs are provided by a fullfledged real-time operating system. We present an approach to automatically generate a robust framework for an application from its architectural description. This framework sits atop a Ravenscar-compliant runtime as opposed to a standard real-time operating system. We also present an extension of our approach to support code generation for high-integrity distributed applications. Keywords Ada

• Type: Journal
• Year: 2008
• Where: ISSE
• Authors: Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues
• Keywords: Code Generation, Fullfledged Real-time Operating, ISSE 2008, Real-time Operating System, Security Privacy