计算机应用技术论文一种基于模型的功能性危险源分析方法及应用.docVIP

计算机应用技术论文：一种基于模型的功能性危险源分析方法及应用 摘要:为解决安全关键系统开发早期传统危险源分析方法不精确和不完备的问题，提出了一种基于SCADE(safety critical application development environment)模型的功能性危险源分析方法．利用SCADE数据流建立系统功能性体系结构模型和功能故障模型，将两种模型集成起来，同时，基于SCADE实现一种系统危险场景捕捉算法，对集成后的模型进行分析，得到系统的安全关键功能和系统危险源．将此方法应用于铁路信号计算机联锁系统，仿真结果表明，该方法可以提高功能性危险源分析的精确性和完备性． 关键词:危险源分析;模型;安全关键系统;计算机联锁 功能性危险源分析(functional hazard analysis，FuHA)［1］是安全关键系统安全分析的重要环节．传统的分析方法依赖于系统安全工程师，利用人工的方式进行，分析的结果完全取决于分析人员的个人经验，没有严格的统一标准．传统的FuHA分析的根本弊端在于缺少严格和精确的系统功能描述和系统故障模式表达，分析过程不是严格的数学推演过程．计算机联锁系统(computer based interlockingsystem，CBI)是铁路应用领域中的安全关键系统，它对安全性有着极为苛刻的要求．CBI系统的功能是根据列车的位置检测，控制铁路车站范围内信