[論文レビュー] Modeling Non-Functional Application Domain Constraints for Component-Based Robotics Software Systems

Alex Lotz, Arne Hamann+4 more|arXiv (Cornell University)|Jan 11, 2016

Advanced Software Engineering Methodologies参考文献 11被引用数 4

ひとこと要約

本稿では、実行セマンティクスやデータフロー特性といった非機能的でシステムレベルの制約を明示的に捉えるコンポーネント指向ロボティクスソフトウェアのメタモデルを提案する。これにより、コンポーネント開発者とシステム統合担当者との間で、責任の明確な分離が可能になる。時間的およびデータ駆動のアクティベーションといった必須の抽象化に制限することで、モデルの一貫性を自動的に検証する仕組みを備えることで、内部実装の詳細を暴露することなく、エンドツーエンドの遅延や決定論的動作に対する正確な制御が可能になる。

ABSTRACT

Service robots are complex, heterogeneous, software intensive systems built from components. Recent robotics research trends mainly address isolated capabilities on functional level. Non-functional properties, such as responsiveness or deterministic behavior, are addressed only in isolation (if at all). We argue that handling such non-functional properties on system level is a crucial next step. We claim that precise control over application-specific, dynamic execution and interaction behavior of functional components -- i.e. clear computation and communication semantics on model level without hidden code-defined parts -- is a key ingredient thereto. In this paper, we propose modeling concepts for these semantics, and present a meta-model which (i) enables component developers to implement component functionalities without presuming application-specific, system-level attributes, and (ii) enables system integrators to reason about causal dependencies between components as well as system-level data-flow characteristics. This allows to control data-propagation semantics and system properties such as end-to-end latencies during system integration without breaking component encapsulation.

研究の動機と目的

• コンポーネント指向のロボティクスソフトウェアにおいて、応答性、決定論的動作、エンドツーエンド遅延といった非機能的でシステムレベルの特性に対する体系的なモデリングの欠如に対処する。
• ロボティクスの専門家が、アプリケーション固有のシステムレベルの属性を予め考慮せずに機能的コンポーネントを実装できるようにする。
• アプリケーション分野の専門家が、内部コンポーネントコードにアクセスまたは変更せずに、モデルレベルで因果的依存関係やデータフロー特性を議論できるようにする。
• 役割に特化した相互接続されたメタモデルを通じて、コンポーネント開発者とシステム統合担当者との間に明確な責任の分離を実現する。
• 自動化されたモデル一貫性チェックを通じて、システムレベルの一貫性と適合性を保証しつつ、コンポーネントのカプセル化を維持する。

提案手法

• モデル駆動工学（MDE）を用いた二部構成のメタモデルを提案し、一方は機能的コンポーネント開発、もう一方はシステム統合を担当する。
• 同期実行のセマンティクスを、時間駆動およびデータ駆動のコンポーネントアクティベーションとして定義し、SDF（同期的データフロー）モデルに類似させる。
• 適切な抽象化レベルの役割特化ビューを用いて、機能的開発とシステムレベルの設定を分離する。
• ROS や SmartSoft といった既存のロボティクスフレームワークとの統合を通じて、実用的適用性とツールサポートを確保する。
• 自動化された一貫性チェックを活用し、実行時副作用を伴わせることなく、システムレベルの適合性を検証し、制約を強制する。
• 「選択の自由から解放される」哲学に従い、MARTE や AADL のような過剰に表現力が高く複雑なフレームワークと比較して、使いやすさと相互運用性を向上させるために、モデリング選択肢を最小限の必須概念に制限する。

実験結果

リサーチクエスチョン

• RQ1 内部実装の詳細を暴露せずに、エンドツーエンド遅延や決定論的動作といった非機能的システムレベルの特性をどのようにモデリングできるか？
• RQ2 コンポーネントのカプセル化を保ちつつ、正確なシステム統合を可能にするために、十分なアクティベーションセマンティクスの最小限のセットは何か？
• RQ3 共有されたが役割に特化したモデリングアプローチを通じて、コンポーネント開発者とシステム統合担当者との間に責任の分離をどのように達成できるか？
• RQ4 どの程度までモデル一貫性を自動的に保証できるか。また、これによりシステムレベルの検証と検査がどのように支援されるか？
• RQ5 MARTE や AADL、または oroGen といった既存のアプローチと比較して、提案されたメタモデルは使いやすさ、表現力、実用的統合性においてどのように異なるか？

主な発見

• 提案されたメタモデルは、アプリケーション固有の実行および通信セマンティクスをシステム統合層に限定することで、機能的コンポーネント開発とシステム統合の明確な分離を達成した。
• 時間駆動およびデータ駆動のアクティベーションセマンティクスの使用により、因果的依存関係やデータフロー特性の明示的モデリングが可能となり、同期的データフロー（SDF）モデルに類似する。
• 構造的で追跡可能で解析可能なモデル構造を通じて、エンドツーエンド遅延解析と決定論的動作モデリングをサポートする。
• コンポーネントレベルとシステムレベルのモデル間で自動一貫性チェックを実施でき、コードレベルの調査を必要とせずにシステムレベルの適合性を保証できる。
• ROS および SmartSoft との統合において、モデルが実際に適用され、妥当性が検証された。実用的妥当性とツールチェーンの互換性が示された。
• 「選択の自由から解放される」哲学を採用することで、MARTE や AADL のようなより許容的だが一貫性に欠けるフレームワークと比較して、複雑さが低減され、使いやすさが向上した。