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, 2017-09-12 - 2017-09-14, Orlando. doi: 10.2514/6.2017-5163.
![[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 | ||||||||||||||||
| DOI: | 10.2514/6.2017-5163 | ||||||||||||||||
| Status: | Published | ||||||||||||||||
| Keywords: | FDIR, Formal Methods, Recovery | ||||||||||||||||
| Event Title: | AIAA SPACE and Astronautics Forum and Exposition | ||||||||||||||||
| Event Location: | Orlando | ||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||
| Event Start Date: | 12 September 2017 | ||||||||||||||||
| Event End Date: | 14 September 2017 | ||||||||||||||||
| 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 Jun 2024 12:56 |
Repository Staff Only: item control page
