Autonomy Requirements Engineering for Space Missions

• Main Authors: Vassev, Emil (Author), Hinchey, Mike (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Series: NASA Monographs in Systems and Software Engineering,
• Subjects: Computer science.; Software engineering.; Computers.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Software Engineering.; Models and Principles.; Computing Methodologies.

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...

Table of Contents:

• 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.