Wang Yi, Chengzi Huang, Behnam Khodabandeloo, Duc Anh Nguyen · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27826 · open-access PDF
組み込まれたリアルタイムシステムのモデルベースの方法とツールの数十年にわたる進歩にもかかわらず、開発ライフサイクル全体をサポートする統合された環境はまだありません。この論文では、モデリング、シミュレーション、公式検証、リアルタイムスケジュール、スケジュール性およびエンド-to-エンド遅延分析、および異質な複数のコアプラットフォームのためのコード生成を含む主要な開発段階をカバーする包括的なツールチェーンであるMIMOS-Toolsを紹介しています。
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