[論文レビュー] Using the DiaSpec design language and compiler to develop robotics systems

Damien Cassou, Serge Stinckwich+1 more|arXiv (Cornell University)|Sep 13, 2011

Modular Robots and Swarm Intelligence参考文献 8被引用数 9

ひとこと要約

本論文では、センス/コンピュート/コントロール（SCC）アーキテクチャパターンに従ってアプリケーションを構造化することで、ロボティクスシステムの開発に、ドメイン固有言語（DSL）であるDiaSpecとそのコンパイラを活用することを提案する。本手法は、設計制約を課した制限付きのJavaフレームワークを生成し、実装をガイドすることで、複雑さを低減し、再利用性を向上させる。その有効性は、ROS連携のロボティクス事例を通じて検証されており、動的適応における利点と制限が明らかにされた。

ABSTRACT

A Sense/Compute/Control (SCC) application is one that interacts with the physical environment. Such applications are pervasive in domains such as building automation, assisted living, and autonomic computing. Developing an SCC application is complex because: (1) the implementation must address both the interaction with the environment and the application logic; (2) any evolution in the environment must be reflected in the implementation of the application; (3) correctness is essential, as effects on the physical environment can have irreversible consequences. The SCC architectural pattern and the DiaSpec domain-specific design language propose a framework to guide the design of such applications. From a design description in DiaSpec, the DiaSpec compiler is capable of generating a programming framework that guides the developer in implementing the design and that provides runtime support. In this paper, we report on an experiment using DiaSpec (both the design language and compiler) to develop a standard robotics application. We discuss the benefits and problems of using DiaSpec in a robotics setting and present some changes that would make DiaSpec a better framework in this setting.

研究の動機と目的

• センス/コンピュート/コントロール（SCC）アーキテクチャパターンに基づいたロボティクスアプリケーション開発に、ドメイン固有設計言語（DSL）であるDiaSpecを用いることの妥当性を調査すること。
• 特にコンポonent再利用、複雑さの低減、実行時サポートの観点から、DiaSpecをロボティクス文脈に適用する際の利点と課題を評価すること。
• ロボティクスシステムにおける動的適応のサポートに関して、DiaSpecの現在の限界を特定し、より高い実行時柔軟性を実現するための拡張を提案すること。
• ROSミドルウェアを用いた事例を通じて、DiaSpecの実用的応用を示し、コンポonentの分解とフレームワーク生成のガイドラインを提示すること。

提案手法

• DiaSpecのコンポonent型を用いて、ロボティクスアプリケーションを4層（センサ、コンテキストオペレータ、コントロールオペレータ、アクチュエータ）に分解する。
• ロボットの機能（例：センシング、アクチュエーション）とROSミドルウェアのサービスを、エンティティクラス内のセンサーソースおよびアクチュエータアクションにマッピングする。
• アプリケーション要件に基づいて高レベルのコンテキストオペレータを特定し、センサデータを消費する低レベルコンポonentに再帰的に分解する。
• DiaSpecコンパイラを用いて、設計制約を課した、カスタマイズされた制限付きのJavaプログラミングフレームワークを生成する。
• ROSを下位ミドルウェアとして統合し、実際のロボティクス環境における通信とデプロイメントを支援する。
• 標準的なロボティクスアプリケーションを対象とした事例研究を通じて、開発効率と動的適応性における限界を分析する。

実験結果

リサーチクエスチョン

• RQ1 DiaSpecは、SCCアーキテクチャパターンを用いたロボティクスアプリケーションの構造的分解をどの程度効果的に支援できるか？
• RQ2 DiaSpecによって生成されたフレームワークは、コードの整理、再利用性、開発者ガイドラインの観点で、どのような主な利点をもたらすか？
• RQ3 ロボティクスシステムにおける実行時動的再構成のサポートに関して、DiaSpecにどのような限界が見られるか？
• RQ4 DiaSpecとROSの統合は、開発ワークフローとシステムの保守性にどのような影響を与えるか？
• RQ5 進化するロボティクスアプリケーションにおける動的リソース制約への適応性を高めるために、DiaSpecにどのような変更を加えるべきか？

主な発見

• DiaSpecは、SCCパターンに整合した細粒度の再利用可能なコンポonent分解を可能にし、設計制約を課した生成フレームワークによって、実装の複雑さを顕著に低減する。
• DiaSpecによって生成されたJavaフレームワークは、実装を設計制約に従わせる制限を設けることで、開発者を効果的にガイドし、正しさと保守性を向上させる。
• 既存のDiaSpecコンポonentが利用可能な場合、コンポonent再利用が顕著に向上し、開発作業の負荷が軽減され、一貫性が向上する。
• 本アプローチにより、アプリケーション論理と実行時サポートの明確な分離が実現され、ロボティクスシステムの進化と保守が容易になる。
• 主な限界として、ロボティクスにおける障害や環境変化への対応に不可欠な、実行時動的再構成のネイティブサポートがDiaSpecに欠如していることが判明した。
• 著者らは、動的可変性とリソース適応的動作をサポートするためのDiaSpecの拡張の必要性を指摘し、これはロボティクスソフトウェア工学分野における今後の重要な方向性であると提案している。