Dynamic fault trees

Static and dynamic fault tree analysis

Fault trees are a common modelling formalism in reliability engineering. They model how failures occur and propagate in a system, and eventually lead to a system failure. Dynamic fault trees extend classical (static) fault trees and support more faithful modelling of spare management, functional dependencies and ordered failures.

Efficient fault tree analysis

We developed several algorithms for DFT analysis based on probabilistic model checking and showed that our approaches perform significantly better than existing approaches (Volk et al., 2018).

Industrial case studies

We showed the practical relevance of DFT analysis in several industrial case studies. Together with BMW AG, we modelled a vehicle guidance systems for autonomous driving (Ghadhab et al., 2019) and found optimal partitionings of functions on hardware. Together with researcher from railway engineering, we investigated the impact of infrastructure failures on the availability of train routes in German railway stations (Weik et al., 2022). Together with Électricité de France, we analysed parts of a nuclear power plant (Khan et al., 2019).



  1. STTT
    Norman Weik, Matthias VolkJoost-Pieter Katoen, and Nils Nießen
    Int. J. Softw. Tools Technol. Transf., 2022


  1. RESS
    Majdi Ghadhab, Sebastian JungesJoost-Pieter Katoen, Matthias Kuntz, and Matthias Volk
    Reliab. Eng. Syst. Saf., 2019
  2. PRDC
    Shahid Khan, Joost-Pieter KatoenMatthias Volk, and Marc Bouissou
    In PRDC, 2019


  1. TII