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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Runtime verification for autonomous spacecraft software


    Contributors:
    Goldberg, A. (author) / Havelund, K. (author) / McGann, C. (author)

    Published in:

    Publication date :

    2005


    Size :

    10 Seiten, 13 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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


    Software for Autonomous Spacecraft Maneuvers

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