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

作者：王海峰危险源分析模型安全关键系统计算机联锁

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社