A tool supporting evaluation of non-MarkovianFault Trees

Abstract— Fault Trees are widely employed in the industrial practice to support safety and reliability analysis. Various works have improved the classic formulation by replacing fixed proba- bilities of leaf events with Markovian distributions over time. We present operation principles, user interface and implementation architecture of a tool supporting editing and evaluation of Fault Trees where the time of occurrence of leaf events follows a generalized probability density function.