Autonomy Requirements Engineering for Space Missions
1st Edition
Published on 27. August 2014
XVII, 250 pages
978-3-319-09816-6 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Product notice
Reflowable
Illustrations
XVII, 250 p. 38 illus.
File size
4,58 MB
ISBN-13
978-3-319-09816-6 (9783319098166)
DOI
10.1007/978-3-319-09816-6
Schweitzer Classification
Other editions
Additional editions
Emil Vassev | Mike Hinchey
Autonomy Requirements Engineering for Space Missions
Book
09/2014
Springer
€106.99
Shipment within 10-15 days
Content
Foreword.- Preface.- Acknowledgements.- Software Engineering for Aerospace- State of the Art.- Handling Autonomy Requirements for ESA Systems.- Autonomy Requirements Engineering.- Verification and Validation of Autonomy Requirements.- Requirements for Cognitive Capabilities of UAS.- ASSL Specification of Voyager Image-Processing Behaviour.- BepiColumbo Autonomy Requirements Specification with KnowLang.- Glossary.- Index.
