Contemporary software-intensive systems, such as modern spacecraft and unmanned exploration platforms (e.g., ExoMars) generally exhibit a number of autonomic features resulting in complex behavior and complex interactions with the operational environment, often leading to a need for self-adaptation. To properly develop such systems, it is very important to properly handle the autonomy requirements. This chapter discusses the notion of autonomy in the context of ESA Missions, and outlines aspects of requirements engineering along with specification models and formal methods for aerospace. The chapter goes in-depth about special generic autonomy requirements for space missions along with controller architectures for robotic systems controlling such missions. In detail are discussed formal methods and approaches that cope with both generic autonomy requirements and controller architectures, and as such can lay the foundations of a new Autonomy Requirements Engineering Model dedicated to autonomic features of space missions.
Handling Autonomy Requirements for ESA Systems
NASA Monographs Systems,Software
28.08.2014
57 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Autonomy requirements for satellite power systems
Tema Archiv | 1984
|Space station autonomy requirements
NTRS | 1983
|Space station autonomy requirements
AIAA | 1983
|Verification and Validation of Autonomy Requirements
Springer Verlag | 2014
|