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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Andrews, Anneliese (Autor:in) / Elakeili, Salwa (Autor:in) / Gario, Ahmed (Autor:in) / Hagerman, Seana (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2015-03-01


    Format / Umfang :

    2270457 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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