DFTCalc by FMT

DFTCalc calculates the failure probability of a Dynamic Fault Tree (DFT) by making use of the compositional semantics of I/O-IMCs. In this process it docks on several state-of- the-art tools and languages: All leaves and gates of the input DFT are expressed by I/O-IMCs with the process algebra language Lotos NT; CADP is used to efficiently compose the individual I/O-IMCs; and the model checker MRMC or IMCA finally calculate the failure probability for a certain point in time. The following paragraph describes how DFTCalc aligns all these tools and formats to orchestrate the analysis of a DFT.
DFTCalc takes as input a DFT in Galileo’s textual format. This intuitive format describes a DFT top-down from its root to the basic components. Each subtree is identified by a name, logically connected with other subtrees by gates, and then refined down to the basic components. On execution, DFTCalc processes a given DFT in various stages and analyzes the system’s reliability. The tool’s output is a quantification of this attribute which is expressed as either the failure probability for a given mission time or the mean time to failure.