As the space applications become more complex and timing constraints on control actions are more stringent, the task of integrating and testing NASA's real-time systems (such as X-38 Crew Return Vehicle, and certain International Space Station autonomous systems) has become a great challenge. A testing environment where can preserve consistent temporal behaviors as in the target execution must be established for system-level verification and software quality assurance. Our goal is to develop an analysis suite for validation and verification of real-time systems that are used to perform human- in-the-loop control operations during safety-critical missions. The suite will be able to carry out quantitative approaches of coverage diagnostic and temporal behavior evaluation in order to measure test coverage, to optimize test utilization, and to verify timing correctness.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Real-Time Embedded Software Verification and Validation 2001


    Beteiligte:
    Lee, Yann-Hang (Autor:in)

    Erscheinungsdatum :

    2002-01-01


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    An Advanced System for the Verification and Validation of Real-Time Avionics Software

    Loyall, J. P. / Mathisen, S. A. / Hurley, P. J. et al. | British Library Conference Proceedings | 1992


    Validation of real-time, distributed software

    BOETTCHER, CAROLYN / MUNTZ, ALICE | AIAA | 1989