Room 206 (2nd floor, badged access)
26 June 2025 - 14h00
Mimosa: A Language Design for Modern Embedded Systems
by Nikolaus Huber from Uppsala University
invited by Susanne GRAF
26 June 2025 - 14h00
Mimosa: A Language Design for Modern Embedded Systems
by Nikolaus Huber from Uppsala University
invited by Susanne GRAF
Abstract: Embedded systems have evolved beyond simple, single microcontroller applications and are nowadays deployed on increasingly complex platforms, often including multi- and many-core processors and even custom accelerators. While the synchronous paradigm is frequently used to ensure real-time behaviour in simpler systems, it becomes difficult to maintain this abstraction as hardware complexity increases. At the same time, shifting usage requirements and the drive to reduce electronic waste demand more reusable systems that can be updated even after deployment.
To address some of these challenges, we have introduced the MIMOS model of computation. Building on the well-established concept of Kahn process networks — which guarantees functional determinism — MIMOS adds a novel execution and communication semantics between process nodes to also enable deterministic real-time behaviour.
The main focus of this talk is on Mimosa, our design of a programming language built upon the MIMOS model. We will present the language's key features and explain specific semantic design decisions. Furthermore, we demonstrate a compilation routine which allows us to run Mimosa programs on top of off-the-shelf real-time operating systems.
