Redundancy concepts are an integral part of the design of space systems. Deciding when to activate which redundancy and which component should be replaced can be a difficult task. In this paper, we refine a methodology where recovery strategies are synthesized from a model of non-deterministic dynamic fault trees. The synthesis is performed by transforming non-deterministic dynamic fault trees into Markov Automata. From the optimized scheduler, an optimal recovery strategy can then be derived and represented by a model we call Recovery Automaton. We discuss techniques on how this Recovery Automaton can be further optimized to contain fewer states and transitions and show the effectiveness of our approach on two case studies.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees


    Beteiligte:
    Mikaelyan, Liana (Autor:in) / Müller, Sascha (Autor:in) / Gerndt, Andreas (Autor:in) / Noll, Thomas (Autor:in)

    Kongress:

    2018 ; Gold Coast, Australien



    Erscheinungsdatum :

    2019-02-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2017

    Freier Zugriff

    Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees

    Müller, Sascha / Gerndt, Andreas / Noll, Thomas | AIAA | 2017


    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2017

    Freier Zugriff

    Synthesizing FDIR Recovery Strategies

    Müller, Sascha | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2018

    Freier Zugriff

    Usage of Fault Detection Isolation and Recovery (FDIR) in CxP Launch Operations

    Ferrell, B. / Brown, B. / Hall, D. et al. | British Library Conference Proceedings | 2010