Compiling the Mimosa programming language to RTOS tasks
Published: Oct 23, 2025
Last Updated: Oct 23, 2025
Authors:Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
Abstract
This paper introduces a compilation scheme for programs written in the Mimosa programming language, which builds upon the MIMOS model of computation. Mimosa describes embedded systems software as a collection of time-triggered processes which communicate through FIFO queues. We formally describe an adaptation of the Lustre compilation scheme to the semantics of Mimosa and show how the coordination layer can be mapped to real-time operating system primitives.