Compiling the Mimosa programming language to RTOS tasks

2025-10-23

AI Summary

Mimosa language programs lack reliable, predictable compilation methods for embedded real-time systems. Method: This paper proposes a systematic compilation framework based on the MIMOS computational model: Mimosa programs are formally modeled as sets of time-triggered processes; deterministic communication is achieved via FIFO queues; and, for the first time, the Lustre compilation framework is adapted to Mimosa semantics to enable end-to-end mapping from high-level declarative specifications to RTOS tasks. Contribution/Results: The key innovation is a formalized mapping mechanism from the coordination layer to RTOS primitives—including task creation, timers, and queues—ensuring schedulability analyzability and execution predictability. Experimental evaluation on representative RTOS platforms confirms correctness and feasibility, demonstrating significant improvements in task response determinism and system schedulability.

Technology Category

• Planning, Routing, and Scheduling: Optimization of Spatio-temporal Systems
• Cognitive Modeling & Cognitive Systems: Computational Creativity
• Constraint Satisfaction and Optimization: Satisfiability Modulo Theories

Application Category

• Systems and Infrastructure for Web, Mobile and WoT: Data management and stream processing for Web, mobile and wireless applications
• User Modeling, Personalization and Recommendation: User modeling and simulation for interactive and conversational systems
• Economics, Online Markets and Human Computation: Cost models of using LLMs in production systems

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.

Problem

• Compiling Mimosa language programs to RTOS tasks
• Mapping time-triggered processes to real-time OS primitives
• Adapting Lustre compilation scheme for embedded systems

Innovation

• Compiles Mimosa language to RTOS tasks
• Uses time-triggered processes with FIFO communication
• Adapts Lustre compilation scheme for embedded systems