• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

计算机工程与科学

• 软件工程 • 上一篇    下一篇

一种基于失效传播模型的危害分析方法

葛晓瑜1,沈国华1,2,黄志球1,2,邓刘梦1,宛伟健1   

  1. (1.南京航空航天大学计算机科学与技术学院,江苏 南京 211106;
    2.软件新技术与产业化协同创新中心,江苏 南京 210016)
  • 收稿日期:2018-08-13 修回日期:2018-11-30 出版日期:2019-06-25 发布日期:2019-06-25
  • 基金资助:

    国家自然科学基金(61502231,61272083);国家重点研发计划(2016YFB1000802);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20171606)

A hazard analysis method based
on failure propagation model

GE Xiaoyu1,SHEN Guohua1,2,HUANG Zhiqiu1,2,DENG Liumeng1,WAN Weijian1   

  1. (1.College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106;
    2.Collaborative Innovation Center of Novel Software Technology and Industrialization,Nanjing 211106,China)
  • Received:2018-08-13 Revised:2018-11-30 Online:2019-06-25 Published:2019-06-25

摘要:

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

关键词: 实时系统, 危害分析, 失效传播, 传播时延

Abstract:

Embedded realtime systems are extensively used in safetycritical environments, such as transportation, aerospace  and nuclear power systems. Although system design may not have any defects, random failures due to wear of physical components or sudden changes in the environment can  cause system hazards during operation. Currently, the hazard analysis methods based on failure propagation model either only consider failure propagation time or just failure probability, and do not comprehensively analyze the impact of the failure propagation time and the failure probability on the hazard analysis. Timed failure propagation graphs (TFPGs) are usually used to model the failure propagation process in the design phase of a safetycritical system, which includes failure propagation delay modeling. Considering the effect of the uncertainty of failure propagation path on the probability of the hazard occurrence, we propose a hazard analysis method, which uses the probabilisticTFPGs to model the failure propagation process. We also design an analysis algorithm to obtain the correlation between occurrence time and occurrence probability. Finally, a case is given to demonstrate the feasibility of the proposed approach.
 

Key words: real-time system, hazard analysis, failure propagation, propagation delay