Newest papers

MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems

Wang Yi, Chengzi Huang, Behnam Khodabandeloo, Nguyen Duc Anh · 2026 · IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1145/3832783.3834624 · cited by 0 works (OpenAlex) · open-access PDF

German

Trotz jahrzehntelanger Fortschritte bei modelbasierten Methoden und Tools für eingebettete Echtzeit-Systeme gibt es immer noch keine integrierte Umgebung, die den gesamten Entwicklungslebenszyklus unterstützt. Dieses Papier präsentiert MIMOS-Tools, eine umfassende Werkzeugkette, die die Schlüsselphasen der Entwicklung umfasst, einschließlich Modellierung, Simulation, formale Verifizierung, Echtzeit-Planung, Planbarkeit und Ende-zu-Ende-Latenz-Analyse sowie Codegenerierung für heterogene Multicore-Plattformen. Alle Phasen basieren auf einem einheitlichen, kohärenten und deterministischen Berechnungsmodell, dem MIMOS-Modell, für das wir eine formale operative Semantik präsen

Machine translation (Meta M2M100); the English original follows.

Abstract

Despite decades of progress in model-based methods and tools for embedded real-time systems, there is still no integrated environment that supports the entire development lifecycle. This paper presents MIMOS-Tools, a comprehensive toolchain spanning the key phases of development, including modeling, simulation, formal verification, real-time scheduling, schedulability and end-to-end latency analysis, and code generation for heterogeneous multicore platforms. All phases are grounded in a single, coherent, and deterministic model of computation, the MIMOS model, for which we present a formal operational semantics and establish both functional and timing determinism. This semantic foundation ensures that properties verified at the model level are preserved throughout the development process and in the generated implementation.

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Topics: Toolchain, Embedded system, Computer science, Engineering, Work (physics), Reliability (semiconductor)

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange