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


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Semantics of Non-Deterministic Repairable Fault Trees


    Beteiligte:

    Erscheinungsdatum :

    2019


    Medientyp :

    Hochschulschrift


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Schlagwörter :


    Dynamic fault trees: semantics, analysis and applications

    Volk, Matthias | TIBKAT | 2022

    Freier Zugriff

    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2017

    Freier Zugriff

    Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees

    Müller, Sascha / Gerndt, Andreas / Noll, Thomas | AIAA | 2017


    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2017

    Freier Zugriff

    REPAIRABLE VEHICLE HEADLAMP

    GUTMENSCH MAXIMILIAN / KALTENMESSER LUKAS / KIESLINGER DIETMAR et al. | Europäisches Patentamt | 2023

    Freier Zugriff