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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Handling Autonomy Requirements for ESA Systems


    Additional title:

    NASA Monographs Systems,Software


    Contributors:


    Publication date :

    2014-08-28


    Size :

    57 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Autonomy requirements for satellite power systems

    Trumble, T.M. / Wise, J.F. / Gjermundsen, F. | Tema Archive | 1984


    Supporting tests of autonomy: Autonomy Requirements Tester (ART)

    Qaddumi, Carroll Thronesbery Ayman / Merta, Michael / McMahon, Eugene et al. | IEEE | 2018


    Space station autonomy requirements

    ANDERSON, J. | AIAA | 1983


    Autonomy Requirements Engineering for Space Missions

    Vassev, Emil ;Hinchey, Mike | SLUB | 2014


    Requirements and opportunities for satellite autonomy

    Campbell, W. Spencer / Gdanski, Chris | NTRS | 1992