• Dec 21, 2018 News!Vol.11, No. 1 has been published with online version.   [Click]
  • Aug 06, 2018 News! Vol.9, No.1- Vol.9, No.4 has been indexed by EI(Inspec)!   [Click]
  • Sep 30, 2018 News!Vol.10, No. 1-No. 6 has been indexed by Crossref.
General Information
Prof. T. Hikmet Karakoc
Anadolu University, Faculty of Aeronautics and Astronautics, Turkey

IJET 2016 Vol.8(5): 329-333 ISSN: 1793-8236
DOI: 10.7763/IJET.2016.V8.907

Research of the Formal Model and Simulation Based on CPN of Dynamic Fault Tree

Chun Huiyang and Lu Yao
Abstract—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.

Index Terms—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: yangch@nudt.edu.cn, yaolu0927@163.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.

Copyright © 2008-2017. International Journal of Engineering and Technology. All rights reserved. 
E-mail: ijet@vip.163.com