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
2014-08-28
57 pages
Article/Chapter (Book)
Electronic Resource
English
Autonomy requirements for satellite power systems
Tema Archive | 1984
|Space station autonomy requirements
AIAA | 1983
|Autonomy Requirements Engineering for Space Missions
SLUB | 2014
|Requirements and opportunities for satellite autonomy
NTRS | 1992
|