@inproceedings{66f17d01a4d34fb4bc0c26b02f18fe09,

title = "DFTSim: A Simulation Tool for Extended Dynamic Fault Trees",

abstract = "We present DFTSim, a simulation tool for dynamic fault trees (DFT). The simulation is carried out by directly sampling the failure distributions attached to the leaves (called basic events) of the tree and propagating the failure times upwards in the tree. Sampling the distributions of the DFT leaves is however not obvious. To sample from the correct distributions, the analytical expression of the failure distributions of all basic events (BE) must be known. These are indeed known for non-spare BEs; but for spare BEs, they become conditional on the failure of other BEs. Hence, the derivation of the analytical expression of the spares{\textquoteright} failure distributions and their sampling is not a trivial task. We evaluate DFTSim by applying it on an extensive benchmark comprised of seven case studies. We compare its results to two other DFT-based reliability tools (namely Galileo and Coral) that, rather than giving simulation-based estimates, compute exact measures. Our simulation-based approach is, in particular for large DFTs, much faster than the existing approaches. In fact, the computation time of the exact solution methods is exponential in the number of DFT leaves, whereas simulation time is linear in the number of leaves. Moreover, DFTSim (and simulation in general) allows to simulate a wide range of distributions and evaluate Markovian as well as non-Markovian models.",

keywords = "METIS-318688, Dynamic Fault Trees, IR-80531, EC Grant Agreement nr.: IST-004527, EWI-15734, EC Grant Agreement nr.: FP7-ICT-2007-1, reliability benchmark, dependability analysis, Simulation, EC Grant Agreement nr.: FP7/214755",

author = "H. Boudali and Andr{\'e} Nijmeijer and A.P. Nijmeijer and Stoelinga, {Mari{\"e}lle Ida Antoinette}",

year = "2009",

month = mar,

language = "Undefined",

isbn = "9781565553262",

publisher = "Association for Computing Machinery (ACM)",

pages = "31",

editor = "G.A. Wainer and C.A. Shaffer and R.M. McGraw and M.J. Chinni",

booktitle = "Proceedings of the 42nd Annual Simulation Symposium (ANSS 2009)",

address = "United States",

note = "null ; Conference date: 22-03-2009 Through 27-03-2009",

}