[論文レビュー] Dealing with Run-Time Variability in Service Robotics: Towards a DSL for Non-Functional Properties

Juan F. Inglés-Romero, Alex Lotz+2 more|arXiv (Cornell University)|Jan 1, 2012

Advanced Software Engineering Methodologies参考文献 21被引用数 24

ひとこと要約

本論文は、サービスロボティクスにおける実行時可変性をモデル化するためのドメイン固有言語（VML）を提案する。主に安全性、効率性、エネルギー消費といった非機能的特性に焦点を当てており、設計時において構成可能なパラメータ（可変ポイント）と適応ルールを指定可能にし、実行時に制約解決を用いて動的に解釈することで、事前にすべてのシナリオを列挙しないまま、オープンエンドな環境下でもタスク実行の質を著しく向上させる。

ABSTRACT

Service robots act in open-ended, natural environments. Therefore, due to combinatorial explosion of potential situations, it is not possible to foresee all eventualities in advance during robot design. In addition, due to limited resources on a mobile robot, it is not feasible to plan any action on demand. Hence, it is necessary to provide a mechanism to express variability at design-time that can be efficiently resolved on the robot at run-time based on the then available information. In this paper, we introduce a DSL to express run- time variability focused on the execution quality of the robot (in terms of non-functional properties like safety and task efficiency) under changing situations and limited resources. We underpin the applicability of our approach by an example integrated into an overall robotics architecture.

研究の動機と目的

• オープンエンドで予測不能な環境で動作するサービスロボットにおける実行時可変性を管理する課題に対処すること。
• 可変性の指定を即時の構成から分離することで、設計時の複雑性を低減し、事前に定義されたシナリオの組み合わせ爆発を回避すること。
• 安全性、エネルギー使用量、タスク効率性といった非機能的特性に基づいて、文脈に応じた動的で適応可能なロボット行動を可能にすること。
• 形式化されたモデリング言語を通じて、タスク計画とサービス品質最適化の責任の分離を実現すること。

提案手法

• 可変性モデリング言語（VML）は、型、変数、文脈、可変ポイント、適応ルールを指定するためのEBNF文法を用いて定義される。
• 非機能的特性（例：安全性、エネルギー、パフォーマンス）は、可変ポイントの関数としてモデル化され、数学的表現と単位を用いて値が表現される。
• 適応ルールは、インヴァリアントと含意を用いて、現在の文脈とシステム状態に基づいて可変ポイントのバインディングを制約する。
• VMLモデルは実行時に制約ソルバーが処理できるように、MiniZinc（制約モデリング言語）に変換される。
• このアプローチはレイヤードロボティクスアーキテクチャに統合されており、制約ソルバーがロボットのシーケンシング層と連携して可変ポイントを動的にバインドする。
• 実世界のコーヒーデリバリーのシナリオが、速度を可変ポイントとして最適化する例として提示され、安全性、エネルギー、配達時間の制約の下で最適化が行われた。

実験結果

リサーチクエスチョン

• RQ1 実行時可変性を、事前にすべてのシナリオを列挙しないで、動的適応を可能にする設計時モデル化は、どのように実現できるか？
• RQ2 非機能的特性のトレードオフ（例：安全性 vs. 効率性）を効率的に実行時解決可能にするために、必要な形式的言語構文は何か？
• RQ3 タスク実行とサービス品質最適化の責任分離を、モジュラで保守可能なかたちで実現するにはどうすればよいか？
• RQ4 可変性向けDSLが、オープンエンドなロボット環境におけるシステムの頑健性とパフォーマンスをどの程度向上できるか？

主な発見

• VML言語は、安全性、エネルギー消費、タスク効率性といった非機能的特性の複雑で文脈依存の適応戦略を表現可能であることを示した。
• 可変ポイントのバインディングを実行時へ延期することで、設計時の複雑性を低減しつつ、予測不能な環境下でも高いシステムの頑健性を維持できた。
• VMLとMiniZinc、および制約ソルバーの統合により、動的制約下での最適構成の効率的かつリアルタイムな解決が可能になった。
• コーヒーデリバリーの事例研究において、ロボットはバッテリー残量、距離、希望のコーヒー温度に基づき、速度を動的に選択し、スピード、安全性、エネルギー使用量のバランスを達成した。
• 実世界のロボットシステム（ロボット・ケイト）での実装により、あらかじめすべてのシナリオを列挙しないで非機能的特性の最適化が達成可能であることが実証された。
• 構造化されたモデリングにより拡張性と検証性が向上し、単位の指定と正規化によりモデルの明確さと正しさが向上した。