elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees

Mikaelyan, Liana and Müller, Sascha and Gerndt, Andreas and 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, 16. November 2018, Gold Coast, Australien. DOI: 10.1007/978-3-030-12988-0

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

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

Abstract

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.

Item URL in elib:https://elib.dlr.de/126675/
Document Type:Conference or Workshop Item (Speech)
Title:Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Mikaelyan, LianaLiana.Mikaelyan (at) dlr.dehttps://orcid.org/0000-0002-2788-3777
Müller, SaschaSa.Mueller (at) dlr.dehttps://orcid.org/0000-0002-1913-1719
Gerndt, AndreasAndreas.Gerndt (at) dlr.dehttps://orcid.org/0000-0002-0409-8573
Noll, Thomasnoll (at) cs.rwth-aachen.dehttps://orcid.org/0000-0002-1865-1798
Date:February 2019
Journal or Publication Title:6th International Workshop on Formal Techniques for Safety-Critical Systems
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
DOI :10.1007/978-3-030-12988-0
Publisher:Springer International Publishing
Series Name:Communications in Computer and Information Science
Status:Published
Keywords:FDIR, Fault Tree Analysis, Synthesis, Formal Methods
Event Title:Formal Techniques for Safety-Critical Systems
Event Location:Gold Coast, Australien
Event Type:Workshop
Event Dates:16. November 2018
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):Model Based Engineering for Failure Detection, Isolation, and Recovery
Location: Braunschweig
Institutes and Institutions:Institut of Simulation and Software Technology
Institut of Simulation and Software Technology > Software for Space Systems and Interactive Visualisation
Deposited By: Müller, Sascha
Deposited On:20 May 2019 08:26
Last Modified:31 Jul 2019 20:24

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.