一种基于时序关系的系统失效生成图方法

摘要

本发明公开了一种基于时序关系的系统失效生成图方法，该方法首先通过识别系统中组件内部触发或被触发类型事件的时序行为对其进行排序，获得系统内部组件间不可同时到达的状态；其次，排除不可达状态对，对组件间的可同时到达状态建立笛卡尔积，获得系统的所有可达状态对，最后，根据连接表和最小割集获得系统失效生成图。本发明基于时序关系的系统失效生成图方法，有效解决了系统失效生成图生成过程中存在的状态空间爆炸问题，为状态事件故障树生成系统可达图提供了一种新的方法。