Tell a friend
Print
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.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
443kB |
Official URL: https://arc.aiaa.org/doi/pdfplus/10.2514/6.2017-5163
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 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 | ||||||||||||
| Authors: |
| ||||||||||||
| 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 SCOPUS: | No | ||||||||||||
| In ISI Web of Science: | No | ||||||||||||
| Status: | Published | ||||||||||||
| 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: | 31 Jul 2019 20:20 |
Repository Staff Only: item control page
