Cargando…

Autonomy Requirements Engineering for Space Missions

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Vassev, Emil (Autor), Hinchey, Mike (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Colección:NASA Monographs in Systems and Software Engineering,
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-319-09816-6
003 DE-He213
005 20220116090527.0
007 cr nn 008mamaa
008 140827s2014 sz | s |||| 0|eng d
020 |a 9783319098166  |9 978-3-319-09816-6 
024 7 |a 10.1007/978-3-319-09816-6  |2 doi 
050 4 |a Q334-342 
050 4 |a TA347.A78 
072 7 |a UYQ  |2 bicssc 
072 7 |a COM004000  |2 bisacsh 
072 7 |a UYQ  |2 thema 
082 0 4 |a 006.3  |2 23 
100 1 |a Vassev, Emil.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Autonomy Requirements Engineering for Space Missions  |h [electronic resource] /  |c by Emil Vassev, Mike Hinchey. 
250 |a 1st ed. 2014. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2014. 
300 |a XVII, 250 p. 38 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a NASA Monographs in Systems and Software Engineering,  |x 2197-6597 
505 0 |a 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. 
520 |a 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. 
650 0 |a Artificial intelligence. 
650 0 |a Software engineering. 
650 0 |a Computer science. 
650 1 4 |a Artificial Intelligence. 
650 2 4 |a Software Engineering. 
650 2 4 |a Models of Computation. 
700 1 |a Hinchey, Mike.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783319098173 
776 0 8 |i Printed edition:  |z 9783319098159 
776 0 8 |i Printed edition:  |z 9783319384030 
830 0 |a NASA Monographs in Systems and Software Engineering,  |x 2197-6597 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-319-09816-6  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)