Paper in Science of Computer Programming

The paper Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees by Sascha Müller, Liana Mikaelyan, Andreas Gerndt (DLR German Aerospace Center, Braunschweig) and Thomas Noll has been accepted for publication by the Science of Computer Programming Journal. It investigates the synthesis of efficient recovery strategies for Failure Detection, Isolation and Recovery (FDIR) for space systems by means of dynamic fault trees and Markov automata.