DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Synthesizing and optimizing FDIR recovery strategies from fault trees

Müller, Sascha and Mikaelyan, Liana and Noll, Thomas and Gerndt, Andreas (2020) Synthesizing and optimizing FDIR recovery strategies from fault trees. Science of Computer Programming, 196. Elsevier. doi: 10.1016/j.scico.2020.102478. ISSN 0167-6423.

[img] PDF - Published version

Official URL: https://www.sciencedirect.com/science/article/pii/S0167642320300885


Redundancy concepts are major design drivers in fault-tolerant space systems. It can be a difficult task to decide when to activate which redundancy, and which component should be replaced. 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 that represent all possible choices between recovery actions. From the corresponding scheduler, optimized for maximum expected long-term reachability of failure states, a recovery strategy, optimal with respect to mean time to failure, can then be derived and represented by a model we call recovery automaton. We discuss techniques for reducing the state space of this recovery automaton, and analyze their soundness and completeness. We show that they do not generally guarantee recovery automata with the minimal number of states and derive a class where this guarantee holds. Implementation details for our approach are given and its effectiveness is verified on the basis of three case studies.

Item URL in elib:https://elib.dlr.de/135027/
Document Type:Article
Title:Synthesizing and optimizing FDIR recovery strategies from fault trees
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Müller, SaschaUNSPECIFIEDhttps://orcid.org/0000-0002-1913-1719UNSPECIFIED
Mikaelyan, LianaUNSPECIFIEDhttps://orcid.org/0000-0002-2788-3777UNSPECIFIED
Noll, ThomasUNSPECIFIEDhttps://orcid.org/0000-0002-1865-1798UNSPECIFIED
Gerndt, AndreasUNSPECIFIEDhttps://orcid.org/0000-0002-0409-8573UNSPECIFIED
Date:13 May 2020
Journal or Publication Title:Science of Computer Programming
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:Yes
Series Name:Elsevier,Special issue on Formal Techniques for Safety-Critical Systems 2018 (FTSCS’18)
Keywords:FDIR Fault Tree Analysis Synthesis Formal methods
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space System Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Space System Technology
DLR - Research theme (Project):R - Model Based Engineering for Failure Detection, Isolation, and Recovery
Location: Braunschweig
Institutes and Institutions:Institut of Simulation and Software Technology > Software for Space Systems and Interactive Visualisation
Deposited By: Müller, Sascha
Deposited On:09 Oct 2020 11:52
Last Modified:23 Oct 2023 14:27

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.