title: Graphical Modelling of Dynamic Fault Trees
keywords: modelling, fault trees, GUI
committee: Dennis Guck ,
Mariƫlle Stoelinga ,
Enno Ruijters


The DFTCalc tool chain is a powerful tool for fault tree analysis (FTA) providing (1) efficient fault tree modelling via compact representations; (2) effective analysis, allowing a wide range of dependability properties to be analysed; (3) efficient analysis, by using state-of-the-art stochastic analysis techniques; and (4) a flexible and extensible framework catered for future needs.

The current implementation of DFTCalc requires a text based input for the dynamic fault tree (DFT). This format becomes quite confusing with the growth of the DFT, such that a graphical representation would be prefered.

The task for this project is to implement an extension for DFTCalc, which allows the user to model DFTs with the help of a GUI as well as to visualise already existing DFT descriptions.