eduAdaptive 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 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 exposeflaws in the softwareprior to field deployment, whereas the software may perform just fine to traditional requirements-basedunit and component level testing.AST can be used to test the whole 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 benefitsat 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 processthat delivers certified aerospace software.The research includes evaluation of alignment with both DO-178C and Overarching Properties(OP). The paper addresses questions such as “where should AST fit in the Plan for Software Aspects of Certification (PSAC) and Software Verification Plan (SVP), what aspects of AST do not fit, and what objectives does it satisfy?” The paper concludes that AST is in fact useful at locating errors in complex airborne application software and in doing so provides benefits to suppliers and end users. Furthermore, AST appears appropriate to add value in both DO-178Cbased and Overarching Properties based certification approaches.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Certification Considerations for Adaptive Stress Testing of Airborne Software


    Beteiligte:
    M. Durling (Autor:in) / H. Herencia-Zapana (Autor:in) / B. Meng (Autor:in) / M. Meiners (Autor:in) / J. Hochwarth (Autor:in) / N. Visser (Autor:in) / R. Lee (Autor:in) / R. Moss (Autor:in) / V. T. Valapil (Autor:in)

    Erscheinungsdatum :

    2021


    Format / Umfang :

    9 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Certification Considerations for Adaptive Stress Testing of Airborne Software

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


    Certification Considerations for Adaptive Stress Testing of Airborne Software

    Durling, Michael / Herencia-Zapana, Heber / Meng, Baoluo et al. | IEEE | 2021


    Software considerations in airborne systems and equipment certification

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


    Software considerations in airborne systems and equipment certification

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