Graphical Modelling of Dynamic Fault Trees

title:Graphical Modelling of Dynamic Fault Trees
keywords:modelling, fault trees, GUI
contact:D. Guck MSc & dr. M.I.A. Stoelinga & E.J.J. Ruijters MSc
to be started:any time


Description

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.