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

Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

Müller, Sascha and Noll, Thomas and Gerndt, Andreas (2017) Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees. In: AIAA SPACE 2017 Conference and Exposition. AIAA SPACE and Astronautics Forum and Exposition, Orlando. doi: 10.2514/6.2017-5163.

[img] PDF

Official URL: https://arc.aiaa.org/doi/pdfplus/10.2514/6.2017-5163


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 non-deterministic dynamic fault trees is presented and it is shown how appropriate strategies can be synthesized from them. This is achieved by transforming a non-deterministic dynamic fault tree into a Markov Automaton. From the optimized scheduler of this Markov Automaton, an optimal recovery strategy can then be derived. We also introduce the model of Recovery Automata to represent these strategies.

Item URL in elib:https://elib.dlr.de/122656/
Document Type:Conference or Workshop Item (Other)
Title:Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Müller, SaschaUNSPECIFIEDhttps://orcid.org/0000-0002-1913-1719UNSPECIFIED
Noll, ThomasUNSPECIFIEDhttps://orcid.org/0000-0002-1865-1798UNSPECIFIED
Gerndt, AndreasUNSPECIFIEDhttps://orcid.org/0000-0002-0409-8573UNSPECIFIED
Date:15 September 2017
Journal or Publication Title:AIAA SPACE 2017 Conference and Exposition
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Keywords:FDIR, Formal Methods, Recovery
Event Title:AIAA SPACE and Astronautics Forum and Exposition
Event Location:Orlando
Event Type:international Conference
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
Institut of Simulation and Software Technology > Software for Space Systems and Interactive Visualisation
Deposited By: Müller, Sascha
Deposited On:12 Dec 2018 14:37
Last Modified:11 Jul 2023 15:16

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.