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, a model of non-deterministic dynamic fault trees is presented and it is shown how appropriate strategies can be synthesized from them. This is achieved by transforming a non-deterministic dynamic fault tree into a Markov Automaton. From the optimized scheduler of this Markov Automaton, an optimal recovery strategy can then be derived. We also introduce the model of Recovery Automata to represent these strategies.


    Access

    Download


    Export, share and cite



    Title :

    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees


    Contributors:

    Conference:



    Publication date :

    2017-09-15


    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 / Gerndt, Andreas / Noll, Thomas | AIAA | 2017


    Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees (AIAA 2017-5163)

    Müller, Sascha / Gerndt, Andreas / Noll, Thomas | British Library Conference Proceedings | 2017


    Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees

    Mikaelyan, Liana / Müller, Sascha / Gerndt, Andreas et al. | German Aerospace Center (DLR) | 2019

    Free access

    Synthesizing FDIR Recovery Strategies

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

    Free access