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


    Access

    Download


    Export, share and cite



    Title :

    Semantics of Non-Deterministic Repairable Fault Trees


    Contributors:

    Publication date :

    2019


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English




    Dynamic fault trees: semantics, analysis and applications

    Volk, Matthias | TIBKAT | 2022

    Free access

    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | German Aerospace Center (DLR) | 2017

    Free access

    Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees

    Müller, Sascha / Noll, Thomas / Gerndt, Andreas | German Aerospace Center (DLR) | 2017

    Free access

    Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees

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


    REPAIRABLE VEHICLE HEADLAMP

    GUTMENSCH MAXIMILIAN / KALTENMESSER LUKAS / KIESLINGER DIETMAR et al. | European Patent Office | 2023

    Free access