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

摘要：

针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法.通过分析触发和被触发类型事件的时序关系,对存在时序关系的事件进行排序,根据时序关系获得系统构件间的所有不可同时到达状态对,对构件间的可同时到达状态建立笛卡尔积,获得系统的所有可同时到达状态对,根据连接表和最小割集获得系统失效的状态可达图,从而有效解决系统失效可达图生成过程中存在的状态空间爆炸问题.应用基于时序关系的系统失效可达图方法生成鱼攻系统失效可达图,实验结果验证了该方法的可行性与稳定性;同时也为表明其能有效地缓解状态空间爆炸问题,为状态事件故障树生成系统可达图提供了一种新的方法.

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

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2018-04-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：169-174