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
尽管在嵌入式实时系统的基于模型的方法和工具方面取得了几十年的进步,但仍然没有一个支持整个开发生命周期的集成环境。本文介绍了MIMOS-Tools,一个涵盖开发关键阶段的综合工具链,包括建模,模拟,正式验证,实时规划,可定时性和终端延迟分析,以及对异质多核平台的代码生成。所有阶段都建立在一个单一的、一致的和决定性的计算模型中,即MIMOS模型,为此我们提出了正式的操作语义,并建立了功能和时间定义。
Machine translation (Meta M2M100); the English original follows.
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)
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.27826, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange