We have introduced and used significant automation during the verification and validation (V&V) of a spacecraft's autonomous planner. This paper describes the problem we faced, the solution we employed, and the applicability of our approach in a general V&V setting.
V and V of a Spacecraft's Autonomous Planner through Extended Automation
1999-06-01
Aufsatz (Konferenz)
Keine Angabe
Englisch