Autonomy Requirements Engineering for Space Missions

  • Emil Vassev
  • Mike Hinchey

Table of contents

  1. Front Matter
    Pages i-xvii
  2. Emil Vassev, Mike Hinchey
    Pages 1-45
  3. Emil Vassev, Mike Hinchey
    Pages 47-103
  4. Emil Vassev, Mike Hinchey
    Pages 105-172
  5. Emil Vassev, Mike Hinchey
    Pages 173-184
  6. Emil Vassev, Mike Hinchey
    Pages 185-187
  7. Back Matter
    Pages 189-250

About this book


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.


BepiColombo Mission autonomous and self-adaptive systems autonomy requirements requirements engineering unmanned spacecraft

Authors and affiliations

  • Emil Vassev
    • 1
  • Mike Hinchey
    • 2
  1. 1.University of Limerick Lero - The Irish Software Engineering Research CentreLimerickIreland
  2. 2.University of Limerick Lero- The Irish Software Engineering Research CentreLimerickIreland

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-09815-9
  • Online ISBN 978-3-319-09816-6
  • Series Print ISSN 1860-0131
  • Series Online ISSN 2197-6597
  • Buy this book on publisher's site