Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911019997069312 |
|---|---|
| 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 the Mimosa language, a programming language for the design and implementation of asynchronous reactive systems, describing them as a collection of time-triggered processes which communicate through FIFO buffers. Syntactically, Mimosa builds upon the Lustre data-flow language, augmenting it with a new semantics to allow for the expression of side-effectful computations, and extending it with an asynchronous coordination layer which orchestrates the communication between processes. A formal semantics is given to both the process and coordination layer through a textual and graphical rewriting calculus, respectively, and a prototype interpreter for simulation is provided. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_02557 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software Huber, Nikolaus Graf, Susanne Rümmer, Philipp Yi, Wang Programming Languages This paper introduces the Mimosa language, a programming language for the design and implementation of asynchronous reactive systems, describing them as a collection of time-triggered processes which communicate through FIFO buffers. Syntactically, Mimosa builds upon the Lustre data-flow language, augmenting it with a new semantics to allow for the expression of side-effectful computations, and extending it with an asynchronous coordination layer which orchestrates the communication between processes. A formal semantics is given to both the process and coordination layer through a textual and graphical rewriting calculus, respectively, and a prototype interpreter for simulation is provided. |
| title | Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2503.02557 |