[論文レビュー] Integrating AADL and FMI to Extend Virtual Integration Capability

Jérôme Hugues, Jean-Marie Gauthier+1 more|arXiv (Cornell University)|Feb 15, 2018

Real-Time Systems Scheduling被引用数 4

ひとこと要約

本論文は、システムアーキテクチャモデリングにAADLを、物理的コンponentのシミュレーションにFMIを組み合わせる統合フレームワークを提示しており、サイバーフィジカルシステムの高精度な仮想統合を可能にしている。このアプローチにより、物理的プロトタイピングの前段階で、AADLで定義された埋め込みプラットフォームとFMIでモデル化された物理的要素を共同シミュレーションすることで、複雑なシステムの早期検証が可能となる。事例研究を通じて、動作の一貫性と相互運用性が測定可能であることが示された。

ABSTRACT

Virtual Integration Capability is paramount to perform early validation of Cyber Physical Systems. The objective is to guide the systems engineer so as to ensure that the system under design meets multiple criteria through high-fidelity simulation. In this paper, we present an integration scheme that leverages the FMI (Functional Mock-Up interface) standard and the AADL architecture description language. Their combination allows for validation of systems combining embedded platform captured by the AADL, and FMI components that represent physical elements, either mechanical parts, or the environment. We present one approach, and demonstrator case studies.

研究の動機と目的

• 物理的プロトタイピングの前段階で、サイバーフィジカルシステム（CPS）設計における早期検証の課題に対処すること。
• 分離されたモデリング手法の限界を克服するため、アーキテクチャモデリング（AADL）と物理的コンponentのシミュレーション（FMI）を統合すること。
• 埋め込みソフトウェアおよびハードウェア（AADL）と機械的または環境的モデル（FMI）の共同シミュレーションを可能にすることで、マルチドメインのシステム検証を支援すること。
• 標準化され、相互運用性のあるフレームワークを提供することで、複雑なCPSプロジェクトにおけるシステムレベルの検証を向上させ、開発リスクを低減すること。
• 実世界の事例研究を通じて、統合の実現可能性と有効性を実証すること。

提案手法

• システムのソフトウェアおよびハードウェアアーキテクチャ（コンポーネント、データフロー、実行プラットフォームを含む）をAADL（アーキテクチャ分析および設計言語）でモデリングする。
• FMI準拠のモデルコンポーネント（関数的モックアップユニット）を統合し、機械的システムや環境ダイナミクスなどの物理的要素を表現する。
• AADLモデルとFMI FMUが共通のシミュレーションエンジンを通じてリアルタイムでデータを交換できる共同シミュレーション環境を構築する。
• シミュレーション中に意味的および時間的整合性を保証するため、AADLコンポーネントとFMI FMU間のマッピングおよびインターフェースプロトコルを定義する。
• 標準FMIおよびAADL実行セマンティクスに準拠した、モデル交換および共同シミュレーションをサポートするプロトタイプツールチェインを実装する。
• 埋め込み制御システムと物理的サブシステムが相互作用する事例研究を通じて統合を検証し、正しいデータ交換および動的挙動を確認する。

実験結果

リサーチクエスチョン

• RQ1 AADLとFMIをどのように効果的に統合することで、サイバーフィジカルシステムの仮想統合を支援できるか？
• RQ2 共同シミュレーション環境において、AADLベースのシステムモデルとFMIベースの物理的モデルを同期化する際の主な課題は何か？
• RQ3 この統合により、ソフトウェア、ハードウェア、物理的コンponentの各分野におけるシステム挙動の早期検証はどの程度可能になるか？
• RQ4 提案されたフレームワークは、異種のモデリングドメイン間で相互運用性とデータの一貫性をどのように確保するか？
• RQ5 統合されたAADL-FMIシミュレーション環境の実用的限界および性能特性は何か？

主な発見

• AADLとFMIの統合により、アーキテクチャモデリングと高精度な物理的シミュレーションを組み合わせることで、サイバーフィジカルシステムのエンド・ツー・エンドの仮想統合が可能になった。
• 共同シミュレーションフレームワークは、実行時における一貫したデータ交換および時間的整合性を示しながら、AADLコンポーネントとFMI FMUを効果的に同期化した。
• 事例研究では、物理的プロトタイピングの前段階で制御論理や物理的ダイナミクスを含むシステム挙動の早期検証が可能であることが示された。
• フレームワークは、異なるドメイン間でモデルの忠実性と相互運用性を維持しており、複雑なシステム開発における統合リスクを低減した。
• デモンストレータは、AADL-FMI統合が実世界の埋め込みおよびメカトロニクスシステム設計に実用的かつ効果的であることを確認した。
• このアプローチにより、既存のAADLおよびFMIモデルの再利用が可能となり、コンポーネント指向開発が促進され、設計反復サイクルが短縮された。