Compiling the Mimosa programming language to RTOS tasks
Nikolaus Huber, Susanne Graf, Philipp R\"ummer, Wang Yi
TL;DR
This paper presents a compilation approach for Mimosa, an embedded systems programming language, translating its time-triggered processes into RTOS tasks using a formal Lustre-based scheme.
Contribution
It introduces a formal compilation scheme for Mimosa that maps its processes to RTOS primitives, extending Lustre compilation methods to this language.
Findings
Formal description of Mimosa's semantics
Mapping Mimosa processes to RTOS primitives
Extension of Lustre compilation scheme
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsReal-Time Systems Scheduling · Embedded Systems Design Techniques · Distributed systems and fault tolerance