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

Semantics of Non-Deterministic Repairable Fault Trees

Renganathan, Yogeswari (2019) Semantics of Non-Deterministic Repairable Fault Trees. Master's, Technische Universität Darmstadt.

This is the latest version of this item.

[img] 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:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Renganathan, YogeswariUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
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

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.