Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees
Sascha Müller, Andreas Gerndt, Thomas Noll · AIAA SPACE and Astronautics Forum and Exposition · 2017
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.