Adaptive Stress Testing (AST) has shown promise in identifying errant corner cases in complex software used in aerospace applications including Flight Management Systems (FMS). The strength of AST is performing test-based validation and verification of complex aerospace software-intensive systems at scale in simulated operational environments. Simulating and capturing the realistic operational complexities in integrated verification environments may expose flaws in the software prior to field deployment, whereas the software may perform just fine to traditional requirements-based unit and component-level testing. AST can be used to test code components or the entire system. Individual components may behave safely, but together can result in complex interactions and emergent failures, so it is important to test at the integrated system level. Motivated by the observed benefits at the prototype proof-of-concept scale, this paper considers how AST may be integrated into a production workflow and used to generate objective evidence in a process that delivers certified aerospace software. The research includes evaluation of alignment with both RTCA DO-178C and Overarching Properties (OP). The paper addresses questions such as "where should AST fit in the software development lifecycle, what aspects of AST do not fit, and what objectives does it satisfy?" The paper concludes that AST is useful at locating errors in complex airborne application software and in doing so provides benefits to manufacturers and end users. Furthermore, AST appears to align with in both DO-178C-based and Overarching Properties-based certification approaches.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Certification Considerations for Adaptive Stress Testing of Airborne Software




    Publication date :

    2021-10-03


    Size :

    1993081 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Certification Considerations for Adaptive Stress Testing of Airborne Software

    M. Durling / H. Herencia-Zapana / B. Meng et al. | NTIS | 2021


    Certification Considerations for Adaptive Stress Testing of Airborne Software

    Michael Durling / Herber Herencia-Zapana / Baoluo Meng et al. | NTRS


    Software considerations in airborne systems and equipment certification

    RTCA, Inc., SC 205, Software Considerations | TIBKAT | 2011


    Software considerations in airborne systems and equipment certification

    Radio Technical Commission for Aeronautics, Special Committee | TIBKAT | 1992