Towards A Catalogue of Requirement Patterns for Space Robotic Missions
Mahdi Etumi (University of Manchester), Hazel M. Taylor (University of Manchester), Marie Farrell (University of Manchester)

TL;DR
This paper explores the applicability of reusable requirement specification patterns for space robotic missions, formalising mission requirements and extending the pattern catalog with new patterns validated by expert evaluation.
Contribution
It formalises space mission requirements using existing patterns, introduces five new patterns, and evaluates their effectiveness through expert feedback.
Findings
Existing patterns are applicable to space missions
Five new requirement patterns were developed
Expert evaluation highlighted benefits and limitations
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAI-based Problem Solving and Planning · Modular Robots and Swarm Intelligence · Space Satellite Systems and Control
