A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Runtime verification for autonomous spacecraft software
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
doi:10.1109/aero.2005.1559341
fatcat:urmbkvjgf5hatpyxy5pao4xn4q