Advanced Search
Volume 38 Issue 9
Sep.  2012
Turn off MathJax
Article Contents
Journal of Beijing University of Aeronautics and Astronautics  > 2012  >  (9): 1255-1260.
Wang Bo, Liu Dong, Li Yiet al. Formal specification of dynamic fault tree based on sequence failure symbol[J]. Journal of Beijing University of Aeronautics and Astronautics, 2012, (9): 1255-1260. (in Chinese)
Citation: Wang Bo, Liu Dong, Li Yiet al. Formal specification of dynamic fault tree based on sequence failure symbol[J]. Journal of Beijing University of Aeronautics and Astronautics, 2012, (9): 1255-1260. (in Chinese)
shu

Formal specification of dynamic fault tree based on sequence failure symbol

  • 1.

    National Key Laboratory of Complex Electronic System Simulation, Academy of Equipment, Beijing 101416, China

  • 2. Department of Scientific Research, Academy of Equipment, Beijing 101416, China

  • Received Date: 30 Sep 2011
  • Publish Date: 30 Sep 2012
    Abstract
  • The formal framework of the sequence failure symbol (SFS) was defined, including definitions, properties, rules and theorems, which is the basis of the formal specification for dynamic fault tree (DFT). Under the formal framework of the SFS, formal specifications methods and automatic conversion algorithms for any form of static fault tree (SFT) and DFT were given. An example demonstrated the effectiveness of the proposed approach. Formal specification helps to build a more rigorous mathematical theoretical system of DFT. Meanwhile, automatic conversion algorithms based on SFS's formal specification are conducive to the realization of effective computer-aided modeling for DFT.

     

    • FullText(HTML)
  • loading
    • References(13)
  • [1]
    Dugan J B,Bavuso S,Boyd M.Dynamic fault tree models for fault tolerant computer systems[J].IEEE Transactions on Reliability,1992,41(3):363-377
    [2]
    Boudali H,Dugan J B.A continuous-time Bayesian network reliability modeling,and analysis framework[J].IEEE Transactions on Reliability,2006,55(1):86-97
    [3]
    Dugan J B,Bavuso S,Boyd M.Fault trees and Markov models for reliability analysis of fault tolerant systems[J].Reliability Engineering and System Safety,1993,39(3):291-307
    [4]
    Codetta R D.The conversion of dynamic fault trees to stochastic Petri nets,as a case of graph transformation[J].Electronic Notes in Theoretical Computer Science,2005,127(2):45-60
    [5]
    Walker M,Papadopoulos Y.Pandora:the time of priority-AND gates//12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2006).Saint-Etienne,France:IFAC,2006:237-242
    [6]
    Walker M,Papadopoulos Y.Qualitative temporal analysis:towards a full implementation of the fault tree handbook[J].Control Engineering Practice,2009,17(10):1115-1125
    [7]
    Merle G.Algebraic modeling of dynamic fault trees,contribution to qualitative and quantitative analysis. Paris:Lurpa,ENS de Cachan,2010
    [8]
    Merle G,Roussel J M,Lesage J J.Algebraic determination of the structure functions of dynamic fault trees[J].Reliability Engineering and System Safety,2011,96(2):267-277
    [9]
    Liu Dong,Xing Weiyan,Zhang Chunyuan,et al.Cut sequence set generation for fault tree analysis//Proceedings of International Conference on Embedded Software and Systems.Daegu,South Korea:, 2007:58-69
    [10]
    Rauzy A B.Sequence algebra,sequence decision diagrams and dynamic fault trees[J].Reliability Engineering and System Safety,2011,96(7):785-792
    [11]
    金星,洪延姬.系统可靠性与可用性分析方法[M].北京:国防工业出版社,2007:101 Jin Xing,Hong Yanji.Methods of system reliability and availability analysis[M].Beijing:National Defense Industry Press,2007:101(in Chinese)
    [12]
    Vesely W E,Stamatelatos M,Dugan J B,et al.Fault tree handbook with aerospace applications[M].Washington DC:NASA Office of Safety and Mission Assurance,2002:157-161
    [13]
    Minato S.Zero-suppressed BDDs for set manipulation in combinatorial problems//Proceedings of 30th Design Automation Conference (DAC'93).Texas:ACM/IEEE,1993:272-277
    • Relative Articles
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(1705) PDF downloads(530) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return