Towards a Real-Time Systems Compiler

Model driven development gains more and more relevance for the development of hard real-time systems as it eases subsequent certification. Whereas generating the application source code from such models no longer is uncommon thanks to the research of the last years, targeting a specific operating system with an application still is done by hand. This significantly restrains flexibility and reuse within the development of real-time systems, as often assumptions on the underlying operating system are hard-coded within the application. Consequently we come up with a compiler-based approach to automatically map real-time applications coded for a specific operating system to other operating systems offering different abstractions (e.g. time-triggered vs. event-triggered execution). This compiler-based approach is enabled by an operating system independent intermediate representation, which allows to flexibly combine different operating system specific front-and back-ends.