Versenden
Drucken
Mikaelyan, Liana und Müller, Sascha und Gerndt, Andreas und 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. (im Druck)
 | Es ist eine neuere Version dieses Eintrags verfügbar. |
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
349kB |
|
PDF
1MB |
Kurzfassung
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.
| elib-URL des Eintrags: | https://elib.dlr.de/125086/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||
| Titel: | Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees | ||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||
| Datum: | 2018 | ||||||||||||||||||||
| Erschienen in: | 6th International Workshop on Formal Techniques for Safety-Critical Systems | ||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||
| Open Access: | Ja | ||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||
| Verlag: | Springer International Publishing | ||||||||||||||||||||
| Name der Reihe: | Communications in Computer and Information Science | ||||||||||||||||||||
| Status: | im Druck | ||||||||||||||||||||
| Stichwörter: | FDIR, Fault Tree Analysis, Synthesis, Formal Methods | ||||||||||||||||||||
| Veranstaltungstitel: | Formal Techniques for Safety-Critical Systems | ||||||||||||||||||||
| Veranstaltungsort: | Gold Coast, Australien | ||||||||||||||||||||
| Veranstaltungsart: | Workshop | ||||||||||||||||||||
| Veranstaltungsdatum: | 16. November 2018 | ||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Model Based Engineering for Failure Detection, Isolation, and Recovery | ||||||||||||||||||||
| Standort: | Braunschweig | ||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Simulations- und Softwaretechnik | ||||||||||||||||||||
| Hinterlegt von: | Müller, Sascha | ||||||||||||||||||||
| Hinterlegt am: | 24 Jan 2019 10:44 | ||||||||||||||||||||
| Letzte Änderung: | 31 Jul 2019 20:23 |
Verfügbare Versionen dieses Eintrags
- Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees. (deposited 24 Jan 2019 10:44) [Gegenwärtig angezeigt]
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
