宇宙ロボットミッションのための要求パターンカタログに向けて
Towards A Catalogue of Requirement Patterns for Space Robotic Missions
宇宙ミッションの要求をFRETで形式化し、既存の仕様パターンの適用可能性を検証するとともに、新たに5つの要求仕様パターンを提案した。
詳しい要約
1. どんなもの？
2. 先行研究と比べてどこがすごい？
3. 技術・手法の肝は？
4. どうやって有効だと検証した？
5. 議論はある？
6. 次に読むべき論文は？
※ AIが要旨から生成した要約です。正確性は原文をご確認ください。
著者: Mahdi Etumi, Hazel M. Taylor, Marie Farrell
分類: cs.LO, cs.FL, cs.RO, cs.SE
原文アブストラクト
In the development of safety and mission-critical systems, including autonomous space robotic missions, complex behaviour is captured during the requirements elicitation phase. Requirements are typically expressed using natural language which is ambiguous and not amenable to formal verification methods that can provide robust guarantees of system behaviour. To support the definition of formal requirements, specification patterns provide reusable, logic-based templates. A suite of robotic specification patterns, along with their formalisation in NASA's Formal Requirements Elicitation Tool (FRET) already exists. These pre-existing requirement patterns are domain agnostic and, in this paper we explore their applicability for space missions. To achieve this we carried out a literature review of existing space missions and formalised their requirements using FRET, contributing a corpus of space mission requirements. We categorised these requirements using pre-existing specification patterns which demonstrated their applicability in space missions. However, not all of the requirements that we formalised corresponded to an existing pattern so we have contributed 5 new requirement specification patterns as well as several variants of the existing and new patterns. We also conducted an expert evaluation of the new patterns, highlighting their benefits and limitations.
関連論文
- CHERI月面マイクロローバーの分離・展開システムの設計と実験的検証宇宙ロボティクス
- 宇宙科学のためのAI：軌道実験室・惑星フィールドワーク・身体性自律宇宙ロボティクス
- 小型月面探査ローバーHAKUTOの熱制御設計と実装宇宙ロボティクス
- 宇宙自律ロボティクスの基盤モデル：アーキテクチャ・物理適応・検証宇宙ロボティクス
- 宇宙機点検のための照明を考慮した能動的知覚宇宙ロボティクス
- 月面居住に向けた膨張式モジュールのロボット支援展開と保守：実地実証宇宙ロボティクス
