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

Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees

Müller, Sascha and Noll, Thomas and Gerndt, Andreas (2018) Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees. Journal of Aerospace Information Systems. American Institute of Aeronautics and Astronautics (AIAA). DOI: 10.2514/1.I010669 ISSN 1940-3151

[img] PDF
457kB

Abstract

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 nondeterministic dynamic fault trees is presented. It is shown how appropriate recovery strategies can be synthesized from them. This is achieved by transforming a nondeterministic dynamic fault tree into a Markov automaton. From the optimized scheduler of this Markov automaton, an optimal recovery strategy can then be derived. The model of recovery automata is also introduced to represent these strategies. Finally, how these synthesized strategies can help improve overall system reliability is discussed.

Item URL in elib:https://elib.dlr.de/123787/
Document Type:Article
Title:Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Müller, SaschaSa.Mueller (at) dlr.dehttps://orcid.org/0000-0002-1913-1719
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:19 November 2018
Journal or Publication Title:Journal of Aerospace Information Systems
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:Yes
DOI :10.2514/1.I010669
Publisher:American Institute of Aeronautics and Astronautics (AIAA)
ISSN:1940-3151
Status:Published
Keywords:FDIR, Formal Methods, Recovery
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):Model Based Engineering for Failure Detection, Isolation, and Recovery
Location: Braunschweig
Institutes and Institutions:Institut of Simulation and Software Technology
Deposited By: Müller, Sascha
Deposited On:12 Dec 2018 16:29
Last Modified:31 Jul 2019 20:21

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.