Compiling the Mimosa programming language to RTOS tasks
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909865267429376 |
|---|---|
| author | Huber, Nikolaus Graf, Susanne Rümmer, Philipp Yi, Wang |
| author_facet | Huber, Nikolaus Graf, Susanne Rümmer, Philipp Yi, Wang |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_20547 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Compiling the Mimosa programming language to RTOS tasks Huber, Nikolaus Graf, Susanne Rümmer, Philipp Yi, Wang Programming Languages 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. |
| title | Compiling the Mimosa programming language to RTOS tasks |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2510.20547 |