• 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


    Access

    Download


    Export, share and cite



    Title :

    Verification and validation of flight critical systems (VVFCS)


    Contributors:


    Publication date :

    2012-10-01


    Size :

    1555311 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    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