This paper proposes an approach for testing of safety critical systems. It is based on a behavioral and a fault model. The two models are analyzed for compatibility and necessary changes are identified to make them compatible. Then transformation rules are used to transform the fault model into the same model type as the behavioral model. Integration rules define how to combine them. This approach results in an integrated model which then can be used to generate tests using a variety of testing criteria. The paper illustrates this general framework using a CEFSM for the behavioral model and a Fault Tree for the fault model. We apply the approach to an Aerospace launch application.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Testing of safety-critical systems: An aerospace launch application


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

    Erschienen in:

    Erscheinungsdatum :

    2014-03-01


    Format / Umfang :

    737938 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



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

    Andrews, Anneliese / Elakeili, Salwa / Gario, Ahmed et al. | IEEE | 2015


    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


    EMC Testing and EMI Mitigation for Safety Critical Aerospace Systems

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


    Post liftoff security testing of an aerospace launch system

    Hagerman, Seana / Andrews, Anneliese | IEEE | 2016