elib
DLR-Header
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
873kB

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

Abstract

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
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Müller, Saschasa.mueller (at) dlr.dehttps://orcid.org/0000-0002-1913-1719
Mikaelyan, LianaLiana.Mikaelyan (at) dlr.dehttps://orcid.org/0000-0002-2788-3777
Noll, Thomasnoll (at) cs.rwth-aachen.dehttps://orcid.org/0000-0002-1865-1798
Gerndt, AndreasAndreas.Gerndt (at) dlr.dehttps://orcid.org/0000-0002-0409-8573
Date:13 May 2020
Journal or Publication Title:Science of Computer Programming
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:Yes
Volume:196
DOI :10.1016/j.scico.2020.102478
Publisher:Elsevier
Series Name:Elsevier,Special issue on Formal Techniques for Safety-Critical Systems 2018 (FTSCS’18)
ISSN:0167-6423
Status:Published
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:17 Dec 2020 08:52

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.