Limitar la búsqueda a ejemplares disponibles

Cubierta del libro
Autor Vassev, Emil. author.

Título Autonomy Requirements Engineering for Space Missions [electronic resource] / by Emil Vassev, Mike Hinchey.

Descripción física XVII, 250 p. 38 illus. online resource.
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Colección NASA Monographs in Systems and Software Engineering, 1860-0131
NASA Monographs in Systems and Software Engineering, 1860-0131
       Mostrar referencias similares
Springer eBooks. Computer Science
       Mostrar referencias similares
Contiene: 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.
Resumen: 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 ARÉ鳠ability to handle autonomy requirements.
Materia Computer science.
Software engineering.
Artificial intelligence.
Computer Science.
       Mostrar referencias similares
Artificial Intelligence (incl. Robotics).
       Mostrar referencias similares
Software Engineering.
       Mostrar referencias similares
Models and Principles.
       Mostrar referencias similares
Computing Methodologies.
       Mostrar referencias similares
Autor secundario Hinchey, Mike., author.
SpringerLink (Online service)
En Springer eBooks
OTRO SOPORTE Printed edition: 9783319098159
ISBN 9783319098166 978-3-319-09816-6
ISBN/ISSN 10.1007/978-3-319-09816-6 doi