Synthesizing Recovery Strategies from Fault Trees

What is it about?

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.

Featured Image

Why is it important?

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.