留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于顺序失效符的动态故障树形式规约

王波 刘东 李艺

王波, 刘东, 李艺等 . 基于顺序失效符的动态故障树形式规约[J]. 北京航空航天大学学报, 2012, (9): 1255-1260.
引用本文: 王波, 刘东, 李艺等 . 基于顺序失效符的动态故障树形式规约[J]. 北京航空航天大学学报, 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)

基于顺序失效符的动态故障树形式规约

基金项目: 国家自然科学基金资助项目(60904082)
详细信息
  • 中图分类号: TP202.1

Formal specification of dynamic fault tree based on sequence failure symbol

  • 摘要: 首先定义了顺序失效符(SFS,Sequence Failure Symbol)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,Dynamic Fault Tree)形式规约的基础.然后给出了任意形式的静态故障树(SFT,Static Fault Tree)和DFT在SFS形式化框架下的形式规约方式和自动转换算法.最后,通过示例验证了方法的有效性.形式规约构建了DFT在数学层面上更加严密的理论体系,同时,基于SFS的形式规约自动转换算法有助于DFT计算机辅助建模的实现.

     

  • [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
  • 加载中
计量
  • 文章访问数:  1589
  • HTML全文浏览量:  130
  • PDF下载量:  527
  • 被引次数: 0
出版历程
  • 收稿日期:  2011-09-30
  • 网络出版日期:  2012-09-30

目录

    /

    返回文章
    返回
    常见问答