Versenden
Drucken
Müller, Sascha und Noll, Thomas und 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.
 | Es ist eine neuere Version dieses Eintrags verfügbar. |
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
443kB |
Offizielle URL: https://arc.aiaa.org/doi/pdfplus/10.2514/6.2017-5163
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, 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.
| elib-URL des Eintrags: | https://elib.dlr.de/114595/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Anderer) | ||||||||||||||||
| Titel: | Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | 15 September 2017 | ||||||||||||||||
| Erschienen in: | AIAA SPACE 2017 Conference and Exposition | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Ja | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | FDIR, Formal Methods, Recovery | ||||||||||||||||
| Veranstaltungstitel: | AIAA SPACE and Astronautics Forum and Exposition | ||||||||||||||||
| Veranstaltungsort: | Orlando | ||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
| 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 Institut für Simulations- und Softwaretechnik > Software für Raumfahrtsysteme und interaktive Visualisierung | ||||||||||||||||
| Hinterlegt von: | Müller, Sascha | ||||||||||||||||
| Hinterlegt am: | 24 Okt 2017 15:27 | ||||||||||||||||
| Letzte Änderung: | 31 Jul 2019 20:12 |
Verfügbare Versionen dieses Eintrags
- Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees. (deposited 24 Okt 2017 15:27) [Gegenwärtig angezeigt]
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
