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

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    IV&V: Adding mission assurance to NASA flight software


    Contributors:
    Savarino, S (author) / Krasner, S (author) / Huy, F (author)

    Published in:

    Publication date :

    2011-03-01


    Size :

    1365760 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English