In the aerospace domain, defects in mitigating failures can have very high costs. This makes it imperative to have systematic testing approaches for making sure that failure mitigations work properly. This paper describes a model-based testing approach that targets mitigations of system failures. It includes models of the system, of possible failures, and required mitigations. It uses all three to construct a mitigation test suite. We apply the approach to a Launch vehicle.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Testing proper mitigation in safety-critical systems: An aerospace Launch application


    Contributors:


    Publication date :

    2015-03-01


    Size :

    2270457 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Testing of safety-critical systems: An aerospace launch application

    Gario, Ahmed / Andrews, Anneliese / Hagerman, Seana | IEEE | 2014


    EMC Testing and EMI Mitigation for Safety Critical Aerospace Systems

    Majid, Irfan / Perez, Reinaldo J | NTRS | 2021


    Security testing of an aerospace launch system

    Hagerman, Seana / Andrews, Anneliese / Elakeili, Salwa et al. | IEEE | 2015


    Dependability validation, evaluation and testing of safety-critical aerospace systems

    Carreira, J. / Costa, D. / Eurospace | British Library Conference Proceedings | 1999


    Post liftoff security testing of an aerospace launch system

    Hagerman, Seana / Andrews, Anneliese | IEEE | 2016