Wang Yi, Chengzi Huang, Behnam Khodabandeloo, Duc Anh Nguyen · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27826 · open-access PDF
A pesar de décadas de progreso en los métodos y herramientas basados en modelos para los sistemas embedded en tiempo real, todavía no existe un entorno integrado que soporte todo el ciclo de vida del desarrollo. Este documento presenta MIMOS-Tools, una cadena de herramientas completa que abarca las fases clave del desarrollo, incluyendo modelado, simulación, verificación formal, programación en tiempo real, planificación y análisis de latencia de fin a fin, y generación de código para plataformas heterogéneas multicore.
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 ope
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
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