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