Submitted: November 2021


Fault Trees are an important formalism in reliability studies and are used in a wide array of application areas to ascertain the risk of a potential failure within a given time frame. Dynamic Fault Trees extend the expressiveness of Fault Trees by allowing the modeling of dependencies between systems. However, Dynamic Fault Trees can not be evaluated efficiently yet and are thus limited to the modeling of smaller systems then what would be required for many industrial applications. To combat this problem, SD Fault Trees were introduced. SD Fault Trees allow a combination of dynamic and static components and leverage this for a more efficient analysis. In this thesis, we will present the necessary theoretical groundwork to implement the evaluation process of SD Fault Trees, and will extend the original framework of SD Fault Trees with MUTEX Gates. Furthermore, we then present a possible implementation approach using the Momba framework, and we will then evaluate the efficiency of our implementation on modified benchmark Fault Trees.