Wang Yi, Chengzi Huang, Behnam Khodabandeloo, Duc Anh Nguyen · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27826 · open-access PDF
Apesar de décadas de progresso em métodos e ferramentas baseados em modelos para sistemas embutidos em tempo real, ainda não existe um ambiente integrado que suporte todo o ciclo de vida do desenvolvimento. Este artigo apresenta MIMOS-Tools, uma cadeia de ferramentas abrangente que abrange as principais fases de desenvolvimento, incluindo modelagem, simulação, verificação formal, agendamento em tempo real, agendabilidade e análise de latência de ponta a ponta, e geração 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