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

A Modular Approach to Non-deterministic Dynamic Fault Trees

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.

[img] 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:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Müller, SaschaUNSPECIFIEDhttps://orcid.org/0000-0002-1913-1719UNSPECIFIED
Jordon, AdelineUNSPECIFIEDhttps://orcid.org/0000-0003-0796-6775UNSPECIFIED
Gerndt, AndreasUNSPECIFIEDhttps://orcid.org/0000-0002-0409-8573UNSPECIFIED
Noll, ThomasUNSPECIFIEDhttps://orcid.org/0000-0002-1865-1798UNSPECIFIED
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

Browse
Search
Help & Contact
Information
OpenAIRE Validator logo electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.