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.
Runtime verification for autonomous spacecraft software
IEEE Aerospace Conference, 2005 ; 507-516
2005
10 Seiten, 13 Quellen
Conference paper
English
Runtime Verification for Autonomous Spacecraft Software
British Library Conference Proceedings | 2005
|NTRS
|Software for Autonomous Spacecraft Maneuvers
NTRS | 2004
|Software for Autonomous Spacecraft Navigation
Online Contents | 1997
Software Architecture for Autonomous Spacecraft
NTRS | 1997
|