—The current analytical methods of Dynamic Fault Tree (DFT) are very complex and there is problem of state space explosion. At the same time, the current simulation methods also have several shortcomings which prevent the application of these models, including difficult to construct the model, discommodious to convert between simulation model and DFT model. In order to solve these problems, the formal description of DFT is put forward, which can express the DFT normatively and clearly. Based on the formal model, the DFT element is described by parameters, and then the general simulation model of DFT is constructed by using CPN TOOLS, and this model can largely reduce the workload of model conversion. Finally the case shows that the method is correct and useful.
—Reliability, dynamic fault tree, colored petri nets, formal model, general simulation model.
The authors are with the Department of Management Science, Naval University of Engineering, Wuhan, China (e-mail: email@example.com,
Cite: Chun Huiyang and Lu Yao, "Research of the Formal Model and Simulation Based on CPN of Dynamic Fault Tree," International Journal of Engineering and Technology vol. 8, no. 5, pp. 329-333, 2016.