論文の概要: MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems

• arxiv url: http://arxiv.org/abs/2610.27826v1
• Date: Tue, 20 Oct 2026 08:17:02 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-21 21:58:47.716134
• Title: MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems
• Title（参考訳）: MIMOSツール:組込みシステムのモデルベース設計のための統合ツールチェーン
• Abstract要約: 本稿では、モデリング、シミュレーション、形式検証、リアルタイムスケジューリング、スケジューリング可能性とエンドツーエンドのレイテンシ分析、異種マルチコアプラットフォームのためのコード生成など、開発の主要なフェーズにまたがる包括的なツールチェーンを提案する。 ツールチェーンの際立った特徴は、決定論的だけでなく、モジュラーで構成的な設計もサポートすることである。
• 参考スコア（独自算出の注目度）: 5.080690406806313
• License: http://creativecommons.org/licenses/by/4.0/
• 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. A distinguishing feature of MIMOS-Tools is its support for not only deterministic but also modular, compositional design. Unlike synchronous design environments such as SCADE and Simulink, which rely on a global base clock and offline static scheduling, MIMOS-Tools supports time-triggered asynchronous communication together with flexible real-time scheduling of computation. This removes the tight global coupling of the synchronous paradigm: components can be added, modified, or updated without recomputing a system-wide schedule, enabling scalable and incremental design and dynamic updates throughout the system lifecycle. However, MIMOS-Tools also supports Simulink models when the deadlines of tasks are set to zero to emulate the zero-time semantics of synchronous design. The toolchain is available at uu-mimos.github.io.
• Abstract（参考訳）: 組み込みリアルタイムシステムのためのモデルベースのメソッドやツールが何十年にもわたって進歩してきたが、開発ライフサイクル全体をサポートする統合された環境はいまだに存在しない。 本稿では、モデリング、シミュレーション、形式検証、リアルタイムスケジューリング、スケジューリング可能性とエンドツーエンドのレイテンシ分析、異種マルチコアプラットフォームのためのコード生成など、開発の主要なフェーズにまたがる包括的なツールチェーンMIMOS-Toolsを提案する。 全ての位相は、1つのコヒーレントで決定論的な計算モデル、MIMOSモデルに基礎を置いており、そこでは形式的な操作意味論を示し、機能的およびタイミング決定論の両方を確立する。 このセマンティック基盤は、モデルレベルで検証されたプロパティが開発プロセスと生成された実装を通して保持されることを保証する。 MIMOS-Toolsの際立った特徴は、決定論的だけでなく、モジュラーで構成的な設計もサポートすることである。 グローバルなベースクロックとオフラインの静的スケジューリングに依存するSCADEやSimulinkのような同期設計環境とは異なり、MIMOS-Toolsは時間トリガーの非同期通信とフレキシブルなリアルタイムスケジューリングをサポートする。 コンポーネントの追加、修正、更新は、システム全体のスケジュールを再計算することなく可能で、システムライフサイクル全体を通じてスケーラブルでインクリメンタルな設計と動的更新を可能にします。 しかし、MIMOS-Toolsは同期設計のゼロタイムセマンティクスをエミュレートするためにタスクの期限がゼロに設定された場合、Simulinkモデルもサポートする。 このツールチェーンはu-mimos.github.ioで入手できる。

関連論文リスト

• StreamPI: Streaming Multimodal Temporal Modeling for Vision-Language-Action Models [84.17128030384099]
  StreamPIはストリーミングマルチモーダル時間モデリングフレームワークである。 追加パラメータを導入することなく、単一フレームのVLAに時間的推論能力を持たせる。 メモリ依存および正確な認識シナリオにまたがる実ロボットタスクの実験とシミュレーションベンチマークのLIBEROは、StreamPIが様々なタスクでpi0.5より優れていることを示した。
  論文  参考訳（メタデータ） (2026-08-26T17:33:19Z)
• Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models [62.62160094849002]
  RADIANTは、MDEとMulti-Agent Large Language Modelを組み合わせたエンジニアリング方法論である。 工学的なフェーズにまたがる異種モデルを自動的に生成する。 正確かつ自動的な変更インパクト分析を提供する。
  論文  参考訳（メタデータ） (2026-07-18T08:50:55Z)
• STAGformer: A Spatio-temporal Agent Graph Transformer for Micro Mobility Demand Forecasting [0.0]
  本稿では,線形計算複雑性を伴う効率的なグローバルモデリングを実現するS時間エージェント変換器STAGformerを提案する。 モデルは2段階のエージェントアテンション機構を導入し、学習可能な空間的および時間的エージェントトークンの小さなセットがグローバル情報を集約し、それを個々のステーションやタイムステップにブロードキャストする。 2つの実世界のデータセットの実験により、STAGformerは複数の予測地平線を越えて常に最先端のベースラインを上回っていることが示された。
  論文  参考訳（メタデータ） (2026-07-07T08:15:20Z)
• Advancing Omnimodal Embodied Agents from Isolated Skills to Everyday Physical Autonomy [79.09714980186278]
  非構造化環境で永続的なエンボディエージェントを構築するには、異種ツールの統一的なオーケストレーションが必要である。 我々は,多モーダルなセマンティックプランナを統合したフレームワークであるOmniActを紹介した。 すべての複雑性レベルにわたって、エンドツーエンドの成功において一貫した改善が達成されます。
  論文  参考訳（メタデータ） (2026-06-25T16:36:35Z)
• RED: Adaptive Real-Time DAG Scheduling for Robotic Inference under Environmental Dynamics [9.319504475739588]
  リソース制約のあるロボットプラットフォーム上でのマルチタスクディープニューラルネットワークワークロードのためのリアルタイムスケジューリングフレームワークREDを提案する。 スループット、納期満足度、干渉に対する堅牢性、適応性、実行時のオーバーヘッドにおいて、既存のメソッドよりも一貫して向上していることを示す。 我々はNVIDIA JetsonファミリプラットフォームとApple MシリーズMacBookにREDを実装し、実際のロボットシナリオを表すナビゲーション指向のワークロードで評価する。
  論文  参考訳（メタデータ） (2026-05-21T20:44:39Z)
• Towards Efficient Agents: A Co-Design of Inference Architecture and System [66.59916327634639]
  本稿では,エージェントアクセラレーションのための統合フレームワークであるAgentInferを提案する。 問題をAgentCollab、AgentSched、AgentSAM、AgentCompressの4つの相乗的コンポーネントに分解する。 BrowseComp-zhとDeepDiverベンチマークの実験では、これらの手法の相乗的コラボレーションを通じて、AgentInferは非効率なトークン消費を50%以上削減することを示した。
  論文  参考訳（メタデータ） (2025-12-20T12:06:13Z)
• TSkel-Mamba: Temporal Dynamic Modeling via State Space Model for Human Skeleton-based Action Recognition [59.99922360648663]
  TSkel-Mambaは、空間力学と時間力学の両方を効果的に捉えるハイブリッドトランスフォーマー-Mambaフレームワークである。 MTIモジュールはマルチスケールのCycle演算子を使用して、チャネル間の時間的相互作用をキャプチャする。
  論文  参考訳（メタデータ） (2025-12-12T11:55:16Z)
• Adapting LLMs to Time Series Forecasting via Temporal Heterogeneity Modeling and Semantic Alignment [32.41581846555808]
  大規模言語モデル(LLM)は、最近、自然言語処理における印象的な能力を実証した。 時間的アライメントのモデル化と意味的アライメントの強化によりLLMに基づく予測を強化する統合フレームワークであるTALONを提案する。 7つの実世界のベンチマークの実験では、TALONはすべてのデータセットで優れたパフォーマンスを達成している。
  論文  参考訳（メタデータ） (2025-08-10T06:06:19Z)
• Mamba or Transformer for Time Series Forecasting? Mixture of Universals (MoU) Is All You Need [28.301119776877822]
  時系列予測には、正確な予測のために短期と長期の依存関係のバランスが必要である。 変換器は長期依存のモデリングに優れているが、2次計算コストで批判されている。 Mambaは、ほぼ直線的な代替手段を提供するが、潜在的な情報損失のため、時系列の長期予測では効果が低いと報告されている。
  論文  参考訳（メタデータ） (2024-08-28T17:59:27Z)
• Device Scheduling and Update Aggregation Policies for Asynchronous Federated Learning [72.78668894576515]
  Federated Learning (FL)は、新しく登場した分散機械学習(ML)フレームワークである。 本稿では,FLシステムにおけるトラグラー問題を排除するために,周期的なアグリゲーションを伴う非同期FLフレームワークを提案する。
  論文  参考訳（メタデータ） (2021-07-23T18:57:08Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。