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, 2017-09-12 - 2017-09-14, Orlando. doi: 10.2514/6.2017-5163.
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/122656/ | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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 | ||||||||||||||||
DOI: | 10.2514/6.2017-5163 | ||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||
Stichwörter: | FDIR, Formal Methods, Recovery | ||||||||||||||||
Veranstaltungstitel: | AIAA SPACE and Astronautics Forum and Exposition | ||||||||||||||||
Veranstaltungsort: | Orlando | ||||||||||||||||
Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
Veranstaltungsbeginn: | 12 September 2017 | ||||||||||||||||
Veranstaltungsende: | 14 September 2017 | ||||||||||||||||
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: | 12 Dez 2018 14:37 | ||||||||||||||||
Letzte Änderung: | 11 Jun 2024 12:56 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags