Runtime verification for autonomous spacecraft software

A. Goldberg, K. Havelund, C. McGann
2005 2005 IEEE Aerospace Conference  
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
more » ... ications 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.
doi:10.1109/aero.2005.1559341 fatcat:urmbkvjgf5hatpyxy5pao4xn4q