A Generative Approach to Building a Framework for Hard Real-Time Applications

The communication and tasking infrastructure of a real- time application makes up a significant portion of any em- bedded control system. Traditionally, the tasking and com- munication constructs are provided by an RTOS. We present an approach to automatically generate a robust framework for a single-node application from its architectural descrip- tion. This framework sits atop a Ravenscar-compliant run- time as opposed to a standard RTOS. Finally, we present an extension of our approach to support code generation for distributed applications.