elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Semantics of Non-Deterministic Repairable Fault Trees

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

Dies ist die aktuellste Version dieses Eintrags.

[img] PDF
1MB

Kurzfassung

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

elib-URL des Eintrags:https://elib.dlr.de/131219/
Dokumentart:Hochschulschrift (Masterarbeit)
Titel:Semantics of Non-Deterministic Repairable Fault Trees
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Renganathan, Yogeswariyogeswariuit (at) gmail.comNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2019
Referierte Publikation:Nein
Open Access:Ja
Seitenanzahl:83
Status:veröffentlicht
Stichwörter:FDIR, Fault Trees
Institution:Technische Universität Darmstadt
Abteilung:Fachbereich Elektrotechnik und Informationstechnik
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Raumfahrt
HGF - Programmthema:Technik für Raumfahrtsysteme
DLR - Schwerpunkt:Raumfahrt
DLR - Forschungsgebiet:R SY - Technik für Raumfahrtsysteme
DLR - Teilgebiet (Projekt, Vorhaben):R - Model Based Engineering for Failure Detection, Isolation, and Recovery
Standort: Braunschweig
Institute & Einrichtungen:Institut für Simulations- und Softwaretechnik
Institut für Simulations- und Softwaretechnik > Software für Raumfahrtsysteme und interaktive Visualisierung
Hinterlegt von: Müller, Sascha
Hinterlegt am:13 Dez 2019 12:55
Letzte Änderung:13 Dez 2019 12:55

Verfügbare Versionen dieses Eintrags

  • Semantics of Non-Deterministic Repairable Fault Trees. (deposited 13 Dez 2019 12:55) [Gegenwärtig angezeigt]

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.