• Mar 26, 2024 News!Vol.16, No. 1 has been published with online version.   [Click]
  • Jan 02, 2024 News!All papers in IJET will be publihsed article by article staring from 2024.
  • Nov 03, 2023 News!News | Vol.15, No. 4 has been published with online version.   [Click]
General Information
    • ISSN: 1793-8236 (Online)
    • Abbreviated Title Int. J. Eng. Technol.
    • Frequency:  Quarterly 
    • DOI: 10.7763/IJET
    • Managing Editor: Ms. Jennifer Zeng
    • Abstracting/ Indexing: Inspec (IET), CNKI Google Scholar, EBSCO, ProQuest, Crossref, Ulrich Periodicals Directory, Chemical Abstracts Services (CAS), etc.
    • E-mail: ijet_Editor@126.com
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-2024. International Journal of Engineering and Technology. All rights reserved. 
E-mail: ijet_Editor@126.com