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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Savarino, Shirley (Autor:in) / Krasner, Sanford (Autor:in) / Huy, Frank (Autor:in)

    Kongress:

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


    Erscheinungsdatum :

    2011-03-05


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch