一种基于模型的功能性危险源分析方法及应用

被引：3

作者：

王海峰

机构：

[1] 北京交通大学电子信息工程学院

来源：

北京理工大学学报 | 2010年 / 30卷 / 07期

关键词：

危险源分析; 模型; 安全关键系统; 计算机联锁;

D O I：

10.15918/j.tbit1001-0645.2010.07.015

中图分类号：

U284.362 [];

学科分类号：

摘要：

为解决安全关键系统开发早期传统危险源分析方法不精确和不完备的问题,提出了一种基于SCADE(safety critical application development environment)模型的功能性危险源分析方法.利用SCADE数据流建立系统功能性体系结构模型和功能故障模型,将两种模型集成起来,同时,基于SCADE实现一种系统危险场景捕捉算法,对集成后的模型进行分析,得到系统的安全关键功能和系统危险源.将此方法应用于铁路信号计算机联锁系统,仿真结果表明,该方法可以提高功能性危险源分析的精确性和完备性.

引用

页码：849 / 853+863 +863

页数：6