基于失效传播模型的危害分析方法研究

发布时间：2024-01-29 11:36

　　嵌入式实时系统越来越多地应用在交通、航空、核能等安全关键的环境中。尽管这类安全关键系统的设计可能没有缺陷,但由于物理组件的磨损或环境的突变而导致的随机故障在系统运行时仍可能导致系统发生危害。为了能够预防或减轻系统危害,有必要了解并识别危害。因此针对这类复杂系统的危害分析已成为近年来软件工程领域的研究热点。然而,一方面,传统的方法在危害分析过程中没有将失效传播时延属性考虑在内,无法全面的识别关键的危害源;另一方面,基于失效传播模型的危害分析方法主要从定性的角度分析危害,不能够定量的计算危害的发生概率。针对上述问题,本文综合考虑失效传播过程中传播时延与失效概率对危害分析的影响,提出了一种基于概率时间失效传播图模型的危害分析方法框架,通过扩展失效概率属性的时间失效传播图模型建模安全关键系统设计阶段中失效传播过程。分别采用演绎法的分析思路进行关键危害源的识别分析和采用归纳法的分析思路进行危害发生概率的定量分析,通过这两个角度系统地分析危害。论文的主要研究内容包括:(1)失效传播模型构建:提出一种支持失效概率和传播时间建模的失效传播图模型;给出了概率时间失效传播图模型的形式化语法和语义,并给出了...

【文章页数】：77 页

【学位级别】：硕士

图1.1一个飞行控制系统的例子由此可见，早期的高层安全性分析、设计能够识别大部分错误，是软件安全性研究的关键，