[論文レビュー] From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems

Jan Oliver Ringert, Bernhard Rumpe⋆+1 more|arXiv (Cornell University)|Aug 25, 2014

Advanced Software Engineering Methodologies参考文献 19被引用数 26

ひとこと要約

本論文は、情報物理システム（CPS）をモデル化するための、コンポーネント・アーキテクチャとI/Oオートマトンを統合したMontiArcAutomatonというモデリング言語を対象とするコード生成フレームワークを提示する。4つのジェネレータを用いて、形式的解析、グラフィカル編集、JavaおよびPythonプラットフォームへのデプロイを可能にし、再利用可能でプラットフォームに依存しないモデルを用いたエンドツーエンドのモデル駆動開発の実現可能性を示している。

ABSTRACT

Software development for Cyber-Physical Systems (CPS) is a sophisticated activity as these systems are inherently complex. The engineering of CPS requires composition and interaction of diverse distributed software modules. Describing both, a systems architecture and behavior in integrated models, yields many advantages to cope with this complexity: the models are platform independent, can be decomposed to be developed independently by experts of the respective fields, are highly reusable and may be subjected to formal analysis. In this paper, we introduce a code generation framework for the MontiArcAutomaton modeling language. CPS are modeled as Component & Connector architectures with embedded I/O! automata. During development, these models can be analyzed using formal methods, graphically edited, and deployed to various platforms. For this, we present four code generators based on the MontiCore code generation framework, that implement the transformation from MontiArcAutomaton models to Mona (formal analysis), EMF Ecore (graphical editing), and Java and Python (deployment. Based on these prototypes, we discuss their commonalities and differences as well as language and application specific challenges focusing on code generator development.

研究の動機と目的

• アーキテクチャと動作の統合的モデリングを通じて、情報物理システム（CPS）の開発における複雑性に対処する。
• コンポーネント・アーキテクチャとI/Oオートマトンを統合することで、プラットフォームに依存しない、形式的に解析可能で再利用可能なシステムモデルを実現する。
• 高レベルのモデルをJavaおよびPythonでの実行可能実装に変換するコード生成パイプラインを開発する。
• Monaツールを用いた形式的検証とグラフィカル編集を通じて、モデルの進化を支援する。
• 設計、解析、デプロイを統合する、CPSにおけるモデル駆動開発の統一されたフレームワークを構築する。

提案手法

• コンポーネント・アーキテクチャとI/Oオートマトンを統合した、ドメイン固有言語であるMontiArcAutomatonを用いてCPSをモデル化する。
• MontiCoreコード生成フレームワークを活用し、MontiArcAutomatonモデルからターゲットアーティファクトへの変換ルールを定義する。
• 4つのコードジェネレータを実装する：Mona用（形式的解析）、EMF Ecore用（グラフィカル編集）、およびJavaおよびPython用（デプロイ）。
• コード生成中にアーキテクチャ的および動作的意味論を保持することで、モデルの整合性とプラットフォーム独立性を確保する。
• プロトタイプ実装とジェネレータ設計パターンの比較分析を通じて、フレームワークを検証する。
• 早期段階の開発段階で正しさやライブネスなどのシステム特性を形式的手法で解析することで、モデルの信頼性を向上させる。

実験結果

リサーチクエスチョン

• RQ1 埋め込まれたI/Oオートマトンを有するコンポーネント・アーキテクチャは、情報物理システムにおける構造と動作の両方をどのようにモデル化できるか？
• RQ2 統合されたアーキテクチャ的および動作的モデルから実行可能コードを生成する際の主な課題は何か？
• RQ3 単一のモデル駆動開発パイプライン内で、形式的解析、グラフィカル編集、デプロイをどのように支援できるか？
• RQ4 異なるターゲットプラットフォーム（例：Java、Python、Mona、EMF Ecore）向けにコードジェネレータを実装する際の共通点と相違点は何か？
• RQ5 モデル駆動開発は、CPS開発における再利用性、保守性、正しさをどの程度向上できるか？

主な発見

• 提示されたフレームワークは、MontiArcAutomatonモデルをJavaおよびPython用の実行可能コードに成功して変換し、実プラットフォームへのデプロイを可能にした。
• Monaジェネレータにより、安全性和やライブネスなどのシステム特性の形式的検証が可能となり、早期段階での形式的解析の実現可能性が示された。
• EMF Ecoreジェネレータにより、グラフィカル編集とモデルの永続化が可能となり、反復的開発およびツール連携を支援した。
• 4つのコードジェネレータは共通のモデル抽象化を共有しているが、ターゲット言語の意味論とプラットフォーム制約の違いにより、実装の複雑さに顕著な差が生じた。
• 形式的手法とコード生成の統合により、モデルの信頼性が向上し、アーキテクチャ的欠陥の早期検出が可能になった。
• このアプローチにより、開発フェーズ全体にわたるモデルの再利用が可能となり、プラットフォームに依存しないモデル化を通じて、ドメイン専門家間の協働を支援した。