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

Hindi

अंतर्निहित वास्तविक समय प्रणालियों के लिए मॉडल-आधारित विधियों और उपकरणों में दशकों के प्रगति के बावजूद, अभी भी कोई एकीकृत वातावरण नहीं है जो विकास के पूरे जीवन चक्र का समर्थन करता है। इस दस्तावेज़ में MIMOS-Tools, एक व्यापक उपकरण श्रृंखला प्रस्तुत किया गया है जो विकास के प्रमुख चरणों को कवर करता है, जिसमें मॉडलिंग, सिमुलेशन, औपचारिक सत्यापन, वास्तविक समय की योजना, योजनाकरण और अंत से अंत लाटेशन विश्लेषण शामिल हैं, और heterogeneous बहु-कोर प्लेटफार्मों के लिए कोड उत्पन्न।

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