Versenden
Drucken
Renganathan, Yogeswari (2019) Semantics of Non-Deterministic Repairable Fault Trees. Masterarbeit, Technische Universität Darmstadt.
Dies ist die aktuellste Version dieses Eintrags.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
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: |
| ||||||||
| 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
