The NASA Independent Verification and Validation (IV&V) Facility objective is to identify potential defects in flight software using independent analysis techniques. This paper describes the tailored IV&V techniques that have been developed in support of critical interactions on the Mars Science Laboratory (MSL) project, scheduled to launch in November, 2011. The IV&V techniques for interface analysis use independently developed sequence diagrams of critical scenarios. The results from these analyses have had a positive impact on the requirements flow down, consistency amongst MSL requirements and identification of missing requirements. The results of these analyses and the positive impact to the MSL project are provided.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Independent Verification and Validation (IV and V) - Adding Mission Assurance to NASA Flight Software


    Contributors:

    Conference:

    2011 IEEE Aerospace Conference ; 2011 ; Big Sky, MT, United States


    Publication date :

    2011-03-05


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English