Autonomous systems are systems that can operate without human interference for extended periods of time in changing environments, likely in remote locations. Software is usually an essential part of such systems. However, adaptation of autonomy software is limited by its complexity and the difficulty of verifying and validating it. We describe an approach named runtime verification for testing autonomy software. Runtime verification is a technique for generating test oracles from abstract specifications of expected behavior. We describe its application to the PLASMA planning system, used in the recent Mars exploration rover missions. We furthermore discuss alternative autonomy V&V approaches.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Runtime verification for autonomous spacecraft software


    Beteiligte:
    Goldberg, A. (Autor:in) / Havelund, K. (Autor:in) / McGann, C. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2005


    Format / Umfang :

    10 Seiten, 13 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Runtime Verification for Autonomous Spacecraft Software

    Goldberg, A. / Havelund, K. / McGann, C. et al. | British Library Conference Proceedings | 2005


    Runtime Verification

    Alwyn E Goodloe | NTRS


    A Verification Framework for Runtime Assurance of Autonomous UAS

    Slagel, J Tanner / White, Lauren M. / Dutle, Aaron et al. | IEEE | 2024



    Software for Autonomous Spacecraft Maneuvers

    Bristow, John / Folta, Dave / Hawkins, Al et al. | NTRS | 2004