Runtime Verification and Field-based Testing for ROS-based Robotic Systems

要約

ロボット システムは普及しており、製造、医療、宇宙探査など、ますます多くの分野で採用されています。
この目的を達成するために、エンジニアリング ソフトウェアは、保守可能で再利用可能なロボット システムを構築するための重要な分野として浮上しています。
ロボット ソフトウェア エンジニアリングの研究分野はますます注目を集めており、基本的な目標として自律性を促進しています。
しかし、シミュレーションでは現実世界の現象をエミュレートするソリューションを現実的に提供できないため、ロボット開発者は依然としてこの目標を達成するという課題に直面しています。
ロボットは、予測不可能で制御不可能な環境でも動作する必要があるため、ソフトウェアに実装された安全で信頼できる自己適応機能が必要です。
この課題に対処するための一般的な手法は、実行時検証、フィールドベースのテスト、およびフェールセーフ ソリューションを可能にする緩和手法です。
ただし、実行時検証とフィールドベースのテストを可能にし、促進するための ROS ベースのシステムを設計するための明確なガイダンスは存在しません。
このペーパーは、開発者や品質保証 (QA) チームが現場でロボットを開発、検証、テストするのに役立つガイドラインを提供することで、このギャップを埋めることを目的としています。
これらのガイドラインは、現実世界のシナリオでロボット システムをテストする際の課題と要件に対処するために慎重に調整されています。
私たちは、(i) ロボット システムのランタイム検証とフィールドベースのテストに取り組む研究に関する文献レビューを実施し、(ii) ROS ベースのアプリケーション リポジトリをマイニングし、(iii) 55 件の回答がある 2 つのアンケートを通じて適用性、明確さ、有用性を検証しました。
全体。
私たちは 20 のガイドラインを提供しています。そのうち 8 つは開発者用、12 はロボット ソフトウェア エンジニアリングの研究者および実践者向けに策定された QA チーム用です。
最後に、ROS ベースのシステムの実行時検証とフィールドベースのテストにおける未解決の課題にガイドラインをマッピングし、この分野での有望な研究の方向性を概説します。

要約(オリジナル)

Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end, engineering software has emerged as a crucial discipline for building maintainable and reusable robotic systems. The robotics software engineering research field has received increasing attention, fostering autonomy as a fundamental goal. However, robotics developers are still challenged to achieve this goal because simulation cannot realistically deliver solutions to emulate real-world phenomena. Robots also need to operate in unpredictable and uncontrollable environments, which require safe and trustworthy self-adaptation capabilities implemented in software. Typical techniques to address the challenges are runtime verification, field-based testing, and mitigation techniques that enable fail-safe solutions. However, no clear guidance exists for architecting ROS-based systems to enable and facilitate runtime verification and field-based testing. This paper aims to fill this gap by providing guidelines to help developers and quality assurance (QA) teams develop, verify, or test their robots in the field. These guidelines are carefully tailored to address the challenges and requirements of testing robotics systems in real-world scenarios. We conducted (i) a literature review on studies addressing runtime verification and field-based testing for robotic systems, (ii) mined ROS-based applications repositories, and (iii) validated the applicability, clarity, and usefulness via two questionnaires with 55 answers overall. We contribute 20 guidelines: 8 for developers and 12 for QA teams formulated for researchers and practitioners in robotic software engineering. Finally, we map our guidelines to open challenges in runtime verification and field-based testing for ROS-based systems, and we outline promising research directions in the field.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google