Aerospace systems are subject to many stringent performance requirements that must be verified with low residual risk to the customer. This report investigates the improvements in verification planning and requirements validation made possible by using conditional approaches vice classical statistical procedures. The example used in this report to illustrate the results of these investigations is a proposed mission assurance requirement with its concomitant maximum acceptable verification risk for the NASA Constellation Program Orion Launch Abort System (LAS). This report demonstrates the following improvements possible through use of conditional approaches: 1) verification plans are more achievable and feasible than those developed using classical statistical methods; 2) historical surrogate data can be used to validate proposed performance requirements; and, 3) historical surrogate data may be incorporated in verification planning to produce even less costly and more reasonable verification plans. The procedures presented in this report may produce similar improvements and cost savings in validation and verification for any performance requirement for any aerospace system.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Improved verification for aerospace systems


    Contributors:


    Publication date :

    2009-03-01


    Size :

    667733 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Improved verification for aerospace systems

    Powell, M.A. | Tema Archive | 2009


    Formal Verification of Safety-Critical Aerospace Systems

    Paul, Saswata / Cruz, Elkin / Dutta, Airin et al. | IEEE | 2023


    Aerospace Nickel-cadmium Cell Verification

    Manzo, Michelle A. / Strawn, D. Michael / Hall, Stephen W. | NTRS | 2001