Autonomy Requirements Engineering for Space Missions

Autonomy Requirements Engineering for Space Missions
Author :
Publisher : Springer
Total Pages : 260
Release :
ISBN-10 : 9783319098166
ISBN-13 : 3319098160
Rating : 4/5 (66 Downloads)

Book Synopsis Autonomy Requirements Engineering for Space Missions by : Emil Vassev

Download or read book Autonomy Requirements Engineering for Space Missions written by Emil Vassev and published by Springer. This book was released on 2014-08-27 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Autonomy Requirements Engineering for Space Missions Related Books

Autonomy Requirements Engineering for Space Missions
Language: en
Pages: 260
Authors: Emil Vassev
Categories: Computers
Type: BOOK - Published: 2014-08-27 - Publisher: Springer

DOWNLOAD EBOOK

Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Language: en
Pages: 295
Authors: Walt Truszkowski
Categories: Technology & Engineering
Type: BOOK - Published: 2009-11-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for futur
Advances in Control System Technology for Aerospace Applications
Language: en
Pages: 180
Authors: Eric Feron
Categories: Technology & Engineering
Type: BOOK - Published: 2015-09-16 - Publisher: Springer

DOWNLOAD EBOOK

This book is devoted to Control System Technology applied to aerospace and covers the four disciplines Cognitive Engineering, Computer Science, Operations Resea
Spacecraft Autonomous Navigation Technologies Based on Multi-source Information Fusion
Language: en
Pages: 352
Authors: Dayi Wang
Categories: Technology & Engineering
Type: BOOK - Published: 2020-07-31 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book introduces readers to the fundamentals of estimation and dynamical system theory, and their applications in the field of multi-source information fuse
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Language: en
Pages: 974
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2016-10-05 - Publisher: Springer

DOWNLOAD EBOOK

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,