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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    V and V of a Spacecraft's Autonomous Planner through Extended Automation


    Contributors:


    Publication date :

    1999-06-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English