安全关键软件防危性的分析方法研究
为提高安全关键系统的防危性(safety),本文研究了安全关键软件防危性的分析方法.提出了一种基于归纳(SFMECA)与演绎(SFTA)法相结合的防危性分析方法.实际应用时,首先使用SFMECA进行自底向上的防危性分析,其主要作用在于发现新的失效模式.然后再使用SFTA进行自顶向下的防危性分析,标识出所有可能导致新失效模式发生的组合事件.在SFTA的实施过程中,本文也提出了故障树各分支的防危等级分配原则,有效地防止了分支数爆炸性增长,同时也标识出了系统的真正安全关键之所在.
安全关键 防危性 防危等级 软件故障树分析 软件失效模式 归纳法
杨仕平 熊光泽 陈慧
电子科技大学计算机科学与工程学院(成都)
国内会议
深圳
中文
199-206
2002-10-01（万方平台首次上网日期，不代表论文的发表时间）