|title:||Graphical Modelling of Dynamic Fault Trees|
|keywords:||modelling, fault trees, GUI|
Mariëlle Stoelinga ,
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.