Autonomy Requirements Engineering for Space Missions

✍ Scribed by Emil Vassev, Mike Hinchey (auth.)

• Publisher: Springer International Publishing
• Year: 2014
• Tongue: English
• Leaves: 260
• Series: NASA Monographs in Systems and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible. Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs.

Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today. This book discusses the Autonomy Requirements Engineering (ARE) approach, intended to help software engineers properly elicit, express, verify, and validate autonomy requirements. Moreover, a comprehensive state-of-the-art of software engineering for aerospace is presented to outline the problems handled by ARE along with a proof-of-concept case study on the ESA's BepiColombo Mission demonstrating the ARE’s ability to handle autonomy requirements.

✦ Table of Contents

Front Matter....Pages i-xvii
Software Engineering for Aerospace: State of the Art....Pages 1-45
Handling Autonomy Requirements for ESA Systems....Pages 47-103
Autonomy Requirements Engineering....Pages 105-172
Verification and Validation of Autonomy Requirements....Pages 173-184
Summary and Future Work....Pages 185-187
Back Matter....Pages 189-250

✦ Subjects

Artificial Intelligence (incl. Robotics); Software Engineering; Models and Principles; Computing Methodologies