葛晓瑜1,沈国华1,2,黄志球1,2,邓刘梦1,宛伟健1
GE Xiaoyu1,SHEN Guohua1,2,HUANG Zhiqiu1,2,DENG Liumeng1,WAN Weijian1
摘要:
嵌入式实时系统越来越多地应用于交通、航空、核能等安全关键环境。尽管系统设计可能没有任何缺陷,但由于物理组件的磨损或环境的突变而导致的随机故障在运行时仍可能导致系统发生危险。目前基于失效传播模型的危害分析方法要么仅考虑失效传播时间,要么仅考虑失效概率,缺少综合分析失效传播时间及失效概率对危害分析的影响。时间失效传播图TFPGs模型用于建模安全关键系统设计阶段中失效传播过程,该模型包含失效传播时延建模。考虑到失效传播路径的不确定对危害发生的概率影响,提出了一种危害分析方法,用概率时间失效传播图P-TFPGs模型建模失效传播过程,并基于该模型设计了一种分析
危害发生时间与发生概率之间关系的方法;最后,给出了一个案例来说明方法的可行性。