安全关键软件防危性的分析方法研究

摘要

为提高安全关键系统的防危性(safety),本文研究了安全关键软件防危性的分析方法.提出了一种基于归纳(SFMECA)与演绎(SFTA)法相结合的防危性分析方法.实际应用时,首先使用SFMECA进行自底向上的防危性分析,其主要作用在于发现新的失效模式.然后再使用SFTA进行自顶向下的防危性分析,标识出所有可能导致新失效模式发生的组合事件.在SFTA的实施过程中,本文也提出了故障树各分支的防危等级分配原则,有效地防止了分支数爆炸性增长,同时也标识出了系统的真正安全关键之所在.