北京航空航天大学学报 ›› 2012, Vol. ›› Issue (9): 1255-1260.

• 论文 • 上一篇    下一篇

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

王波1, 刘东1, 李艺2   

  1. 1. 装备学院 复杂电子系统仿真国防科技重点实验室, 北京 101416;
    2. 装备学院, 科研部, 北京 101416
  • 收稿日期:2011-09-30 出版日期:2012-09-30 发布日期:2012-09-27
  • 基金资助:
    国家自然科学基金资助项目(60904082)

Formal specification of dynamic fault tree based on sequence failure symbol

Wang Bo1, Liu Dong1, Li Yi2   

  1. 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:2011-09-30 Online:2012-09-30 Published:2012-09-27

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

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.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发