elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

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.

[img] 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:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Müller, SaschaSa.Mueller (at) dlr.dehttps://orcid.org/0000-0002-1913-1719NICHT SPEZIFIZIERT
Noll, Thomasnoll (at) cs.rwth-aachen.dehttps://orcid.org/0000-0002-1865-1798NICHT SPEZIFIZIERT
Gerndt, AndreasAndreas.Gerndt (at) dlr.dehttps://orcid.org/0000-0002-0409-8573NICHT SPEZIFIZIERT
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

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.