Tell a friend
Print
Mikaelyan, Liana and Müller, Sascha and Gerndt, Andreas and Noll, Thomas (2018) Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees. In: 6th International Workshop on Formal Techniques for Safety-Critical Systems. Springer International Publishing. Formal Techniques for Safety-Critical Systems, 16. November 2018, Gold Coast, Australien. (In Press)
 | There is a more recent version of this item available. |
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
349kB |
|
PDF
1MB |
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, 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. From the optimized scheduler, an optimal recovery strategy can then be derived and represented by a model we call Recovery Automaton. We discuss techniques on how this Recovery Automaton can be further optimized to contain fewer states and transitions and show the effectiveness of our approach on two case studies.
| Item URL in elib: | https://elib.dlr.de/125086/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||
| Title: | Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees | ||||||||||||||||||||
| Authors: |
| ||||||||||||||||||||
| Date: | 2018 | ||||||||||||||||||||
| Journal or Publication Title: | 6th International Workshop on Formal Techniques for Safety-Critical Systems | ||||||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||||||
| Open Access: | Yes | ||||||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||||||
| Publisher: | Springer International Publishing | ||||||||||||||||||||
| Series Name: | Communications in Computer and Information Science | ||||||||||||||||||||
| Status: | In Press | ||||||||||||||||||||
| Keywords: | FDIR, Fault Tree Analysis, Synthesis, Formal Methods | ||||||||||||||||||||
| Event Title: | Formal Techniques for Safety-Critical Systems | ||||||||||||||||||||
| Event Location: | Gold Coast, Australien | ||||||||||||||||||||
| Event Type: | Workshop | ||||||||||||||||||||
| Event Dates: | 16. November 2018 | ||||||||||||||||||||
| 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 | ||||||||||||||||||||
| Deposited By: | Müller, Sascha | ||||||||||||||||||||
| Deposited On: | 24 Jan 2019 10:44 | ||||||||||||||||||||
| Last Modified: | 31 Jul 2019 20:23 |
Available Versions of this Item
- Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees. (deposited 24 Jan 2019 10:44) [Currently Displayed]
Repository Staff Only: item control page
