• NASA is sponsoring a multiple-area multi-year program for verification and validation of flight critical systems. • Objective — Provide advanced analytical, architectural, and testing capabilities to enable sound assurance of safety-critical properties


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Verification and validation of flight critical systems (VVFCS)


    Beteiligte:
    Hall, Brendan (Autor:in) / Driscoll, Kevin (Autor:in) / Schweiker, Kevin (Autor:in)


    Erscheinungsdatum :

    01.10.2012


    Format / Umfang :

    1555311 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Verification and validation of distributed flight critical systems

    Hall, Brendan / Driscoll, Kevin / Schweiker, Kevin | IEEE | 2012


    Verification and Validation for Flight-Critical Systems (VVFCS)

    Graves, Sharon S. / Jacobsen, Robert A. | NTRS | 2010


    Run-Time Verification and Validation for Safety-Critical Flight Control Systems

    Schierman, John / Ward, David / Dutoi, Brian et al. | AIAA | 2008


    Run-Time Verification and Validation for Safety-Critical Flight Control Systems

    Schierman, J. / Ward, D. / Aiello, A. et al. | British Library Conference Proceedings | 2008