Müller, Sascha and Jordon, Adeline and Gerndt, Andreas and Noll, Thomas (2021) A Modular Approach to Non-deterministic Dynamic Fault Trees. In: 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021. International Conference on Computer Safety, Reliability, and Security, 2021-09-07 - 2021-09-10, York. doi: 10.1007/978-3-030-83903-1_16. ISBN 978-3-030-83903-1. ISSN 0302-9743.
![]() |
PDF
366kB |
Official URL: https://link.springer.com/chapter/10.1007/978-3-030-83903-1_16
Abstract
Dynamic Fault Trees (DFTs) are powerful tools for deriving fault-tolerant system designs. However, deterministic approaches to DFTs suffer from semantic struggles with problems such as spare races. In this paper, we discuss the added complexity in the state-space representation of a non-deterministic DFT model and propose a modularized approach for synthesizing recovery automata. Finally, we give an implementation and evaluate it on the Fault tree FOResT (FFORT) benchmark. The results show that non-deterministic semantics with modularization can scale for literature case studies.
Item URL in elib: | https://elib.dlr.de/145636/ | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||
Title: | A Modular Approach to Non-deterministic Dynamic Fault Trees | ||||||||||||||||||||
Authors: |
| ||||||||||||||||||||
Date: | 25 August 2021 | ||||||||||||||||||||
Journal or Publication Title: | 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021 | ||||||||||||||||||||
Refereed publication: | Yes | ||||||||||||||||||||
Open Access: | Yes | ||||||||||||||||||||
Gold Open Access: | No | ||||||||||||||||||||
In SCOPUS: | Yes | ||||||||||||||||||||
In ISI Web of Science: | Yes | ||||||||||||||||||||
DOI: | 10.1007/978-3-030-83903-1_16 | ||||||||||||||||||||
Series Name: | Lecture Notes in Computer Science | ||||||||||||||||||||
ISSN: | 0302-9743 | ||||||||||||||||||||
ISBN: | 978-3-030-83903-1 | ||||||||||||||||||||
Status: | Published | ||||||||||||||||||||
Keywords: | FDIR Reliability engineering Fault Tree Analysis Synthesis Formal methods | ||||||||||||||||||||
Event Title: | International Conference on Computer Safety, Reliability, and Security | ||||||||||||||||||||
Event Location: | York | ||||||||||||||||||||
Event Type: | international Conference | ||||||||||||||||||||
Event Start Date: | 7 September 2021 | ||||||||||||||||||||
Event End Date: | 10 September 2021 | ||||||||||||||||||||
HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||||||
HGF - Program: | Space | ||||||||||||||||||||
HGF - Program Themes: | Space System Technology | ||||||||||||||||||||
DLR - Research area: | Raumfahrt | ||||||||||||||||||||
DLR - Program: | R SY - Space System Technology | ||||||||||||||||||||
DLR - Research theme (Project): | R - Model Based Engineering for Failure Detection, Isolation, and Recovery | ||||||||||||||||||||
Location: | Braunschweig | ||||||||||||||||||||
Institutes and Institutions: | Institute of Software Technology Institute of Software Technology > Software for Space Systems and Interactive Visualisation | ||||||||||||||||||||
Deposited By: | Müller, Sascha | ||||||||||||||||||||
Deposited On: | 07 Dec 2021 08:31 | ||||||||||||||||||||
Last Modified: | 24 Apr 2024 20:44 |
Repository Staff Only: item control page