LEADER 04156nam  22007455  450 
001 9910298985303321
005 20200702114133.0
010   $a9783319098166
010   $a3319098160
024 7 $a10.1007/978-3-319-09816-6
035   $a(CKB)3710000000227182
035   $a(EBL)1802549
035   $a(SSID)ssj0001338429
035   $a(PQKBManifestationID)11780361
035   $a(PQKBTitleCode)TC0001338429
035   $a(PQKBWorkID)11337593
035   $a(PQKB)10558891
035   $a(MiAaPQ)EBC1802549
035   $a(DE-He213)978-3-319-09816-6
035   $a(PPN)18062752X
035   $a(EXLCZ)993710000000227182
100   $a20140827d2014      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aAutonomy Requirements Engineering for Space Missions /$fby Emil Vassev, Mike Hinchey
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (260 p.)
225 1 $aNASA Monographs in Systems and Software Engineering,$x1860-0131
300   $aDescription based upon print version of record.
311 08$a9781322138107 
311 08$a1322138109 
311 08$a9783319098159 
311 08$a3319098152 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aForeword -- 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.
330   $aAdvanced 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.
410  0$aNASA Monographs in Systems and Software Engineering,$x1860-0131
606   $aArtificial intelligence
606   $aSoftware engineering
606   $aComputers
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aArtificial intelligence.
615  0$aSoftware engineering.
615  0$aComputers.
615 14$aArtificial Intelligence.
615 24$aSoftware Engineering.
615 24$aModels and Principles.
615 24$aArtificial Intelligence.
676   $a629.1
700   $aVassev$b Emil$4aut$4http://id.loc.gov/vocabulary/relators/aut$0905497
702   $aHinchey$b Mike$4aut$4http://id.loc.gov/vocabulary/relators/aut
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910298985303321
996   $aAutonomy Requirements Engineering for Space Missions$92025288
997   $aUNINA