Tell a friend
Print
Müller, Sascha and Jordon, Adeline and Gerndt, Andreas and Noll, Thomas (2021) A Modular Approach to Non-deterministic Dynamic Fault Trees. In: Computer Safety, Reliability, and Security. International Conference on Computer Safety, Reliability, and Security, 07.-10. Sept. 2021, York. doi: 10.1007/978-3-030-83903-1_16.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR bis 25 August 2022
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: | Computer Safety, Reliability, and Security | |||||||||||||||
| Refereed publication: | Yes | |||||||||||||||
| Open Access: | No | |||||||||||||||
| Gold Open Access: | No | |||||||||||||||
| In SCOPUS: | No | |||||||||||||||
| In ISI Web of Science: | Yes | |||||||||||||||
| DOI : | 10.1007/978-3-030-83903-1_16 | |||||||||||||||
| 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 Dates: | 07.-10. Sept. 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 for Software Technology Institute for Software Technology > Software for Space Systems and Interactive Visualisation | |||||||||||||||
| Deposited By: | Müller, Sascha | |||||||||||||||
| Deposited On: | 07 Dec 2021 08:31 | |||||||||||||||
| Last Modified: | 16 Dec 2021 08:30 |
Repository Staff Only: item control page
