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
01.06.1999
Aufsatz (Konferenz)
Keine Angabe
Englisch