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.


    Access

    Download


    Export, share and cite



    Title :

    Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees


    Contributors:

    Conference:

    2018 ; Gold Coast, Australien



    Publication date :

    2019-02-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | German Aerospace Center (DLR) | 2017

    Free access

    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | German Aerospace Center (DLR) | 2017

    Free access

    Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees

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


    Synthesizing FDIR Recovery Strategies

    Müller, Sascha | German Aerospace Center (DLR) | 2018

    Free access

    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