基于时序关系的系统失效可达图生成方法  

System Failure Reachability Graph Generation Method Based on Temporal Relation

作　　者：范亚琼[1] 陈海燕[1] FAN Ya-qiong;CHEN Hai-yan(College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China)

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京211106

出　　处：《计算机科学》2017年第12期169-174,共6页Computer Science

基　　金：十三五重点基础科研项目(JCKY2016206B001);江苏省六大人才高峰项目(XXRJ-004);软件新技术与产业化协同创新中心资助

摘　　要：针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法。通过分析触发和被触发类型事件的时序关系,对存在时序关系的事件进行排序,根据时序关系获得系统构件间的所有不可同时到达状态对,对构件间的可同时到达状态建立笛卡尔积,获得系统的所有可同时到达状态对,根据连接表和最小割集获得系统失效的状态可达图,从而有效解决系统失效可达图生成过程中存在的状态空间爆炸问题。应用基于时序关系的系统失效可达图方法生成鱼攻系统失效可达图,实验结果验证了该方法的可行性与稳定性;同时也为表明其能有效地缓解状态空间爆炸问题,为状态事件故障树生成系统可达图提供了一种新的方法。ln view of the state space explosion problem in the process of system reachability diagram for state/event fault tree,a method of system failure reachability diagram based on temporal relation was proposed in this paper.Byanalyzing the relationship between the triggering and the triggered event,the sequence of events are sorted.According to the temporal relation,all the pairs of the unreachable states of the system components can be obtained.Through establishing the Cartesian product of the reachable state of the components,all the reachable states of the system can be obtained.According to the connection table and the minimum cut set,the system can obtain the state reachable graph of the system failure,which effectively solves the problem of state space explosion in the generation process of the system failure map.The system failure reachability graph method based on sequence relation is used to generate the reachability graph of the torpedo attack system.The experiment verfied the feasibility and stability of the method.And the experiment shows that the method can alleviate the problem of state space explosion effectively,and provide a new method for the system to generate the system reachable graphs.

关 键 词：状态事件故障树 时序关系 系统失效可达图 状态空间爆炸 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]