Renganathan, Yogeswari (2019) Semantics of Non-Deterministic Repairable Fault Trees. Master's, Technische Universität Darmstadt.
This is the latest version of this item.
![]() |
PDF
1MB |
Abstract
Fault Tree Analysis is a popular technique used to support the design of critical systems. In a prior work, fault tree semantics have been developed for Non-Deterministic Dynamic FaultTrees that introduces non-determinism to the recovery actions to solve the problem of spare races and improve system reliability. However the existing work only deals with permanent faults. The focus of the thesis work is extending the formalism of NonDeterministic Dynamic Fault Trees to support the notion of repair and develop semantics for Non-Deterministic Repairable Fault Trees to achieve higher availability of system. It includes formalizing the gate semantics and adapting the algorithms for analyzing the fault tree. Furthermore, the thesis work also adapts the minimization algorithms to produce a more compact version of the Recovery Automaton with fewer states
Item URL in elib: | https://elib.dlr.de/131219/ | ||||||||
---|---|---|---|---|---|---|---|---|---|
Document Type: | Thesis (Master's) | ||||||||
Title: | Semantics of Non-Deterministic Repairable Fault Trees | ||||||||
Authors: |
| ||||||||
Date: | 2019 | ||||||||
Refereed publication: | No | ||||||||
Open Access: | Yes | ||||||||
Number of Pages: | 83 | ||||||||
Status: | Published | ||||||||
Keywords: | FDIR, Fault Trees | ||||||||
Institution: | Technische Universität Darmstadt | ||||||||
Department: | Fachbereich Elektrotechnik und Informationstechnik | ||||||||
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: | 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: | 13 Dec 2019 12:55 | ||||||||
Last Modified: | 13 Dec 2019 12:55 |
Available Versions of this Item
- Semantics of Non-Deterministic Repairable Fault Trees. (deposited 13 Dec 2019 12:55) [Currently Displayed]
Repository Staff Only: item control page