Verification of autonomy requirements needs to show a proof of compliance with the requirements the system can meet, i.e., each self-* objective is proven through performance of a test, analysis, inspection, or demonstration. Validation of autonomy requirements needs to demonstrate that the system pursuing a space mission accomplishes the intended self-* objectives in the intended environment (e.g., outer space or Mercury’s orbit) and under specific constraints, i.e., the system’s behavior meets the expectations defined by the autonomy requirements. However, due to their large state space, non-determinism, and the changing nature, traditional verification and validation of unmanned space systems is not adequate. This chapter reasons on the subject and presents a possible approach to verification and validation of autonomy requirements. The approach called AdaptiV uses the combination of stabilization science, HPC simulations, compositional verification, and traditional verification techniques where a self-adaptive system is linearized into stable and unstable (or adaptive) components verified separately first and then as a whole using compositional verification techniques.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification and Validation of Autonomy Requirements


    Weitere Titelangaben:

    NASA Monographs Systems,Software


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


    Erscheinungsdatum :

    28.08.2014


    Format / Umfang :

    12 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Functional Verification Of the ADM-Aeolus Autonomy Requirements

    Pecover, D. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2010



    Autonomy Verification & Validation Roadmap and Vision 2045

    Guillaume P Brat / Huafeng Yu / Ella Atkins et al. | NTRS | 2023