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

Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees

Mikaelyan, Liana und Müller, Sascha und Gerndt, Andreas und Noll, Thomas (2019) 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, 2018-11-16, Gold Coast, Australien. doi: 10.1007/978-3-030-12988-0_3.

[img] PDF
349kB
[img] PDF
1MB

Offizielle URL: https://www.springer.com/de/book/9783030129873

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/126675/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Mikaelyan, LianaLiana.Mikaelyan (at) dlr.dehttps://orcid.org/0000-0002-2788-3777NICHT SPEZIFIZIERT
Müller, SaschaSa.Mueller (at) dlr.dehttps://orcid.org/0000-0002-1913-1719NICHT SPEZIFIZIERT
Gerndt, AndreasAndreas.Gerndt (at) dlr.dehttps://orcid.org/0000-0002-0409-8573NICHT SPEZIFIZIERT
Noll, Thomasnoll (at) cs.rwth-aachen.dehttps://orcid.org/0000-0002-1865-1798NICHT SPEZIFIZIERT
Datum:Februar 2019
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
DOI:10.1007/978-3-030-12988-0_3
Verlag:Springer International Publishing
Name der Reihe:Communications in Computer and Information Science
Status:veröffentlicht
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
Institut für Simulations- und Softwaretechnik > Software für Raumfahrtsysteme und interaktive Visualisierung
Hinterlegt von: Müller, Sascha
Hinterlegt am:20 Mai 2019 08:26
Letzte Änderung:24 Apr 2024 20:30

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.