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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Handling Autonomy Requirements for ESA Systems


    Weitere Titelangaben:

    NASA Monographs Systems,Software


    Beteiligte:
    Vassev, Emil (Autor:in) / Hinchey, Mike (Autor:in)


    Erscheinungsdatum :

    28.08.2014


    Format / Umfang :

    57 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Autonomy requirements for satellite power systems

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


    Space station autonomy requirements

    Anderson, J. L. | NTRS | 1983


    Space station autonomy requirements

    ANDERSON, J. | AIAA | 1983


    Supporting tests of autonomy: Autonomy Requirements Tester (ART)

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


    Verification and Validation of Autonomy Requirements

    Vassev, Emil / Hinchey, Mike | Springer Verlag | 2014