Volume 4, Number 1, 107-122, DOI: 10.1007/s11334-008-0044-5

Automatic framework generation for hard real-time applications

Irfan Hamid, Bechir Zalila, Elie Najm and Jérôme Hugues

From the issue entitled "Special Issue on selected papers from SEW-31"

View Related Documents

Abstract

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 full-fledged 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 - Ravenscar - AADL - Real-time - Code generation - Model transformation

Fulltext Preview

Image of the first page of the fulltext document