一种基于模型的功能性危险源分析方法及应用
A Case Study on Model Based Functional Hazard Analysis
-
摘要: 为解决安全关键系统开发早期传统危险源分析方法不精确和不完备的问题,提出了一种基于SCADE (safety critical application development environment)模型的功能性危险源分析方法. 利用SCADE数据流建立系统功能性体系结构模型和功能故障模型,将两种模型集成起来,同时,基于SCADE 实现一种系统危险场景捕捉算法,对集成后的模型进行分析,得到系统的安全关键功能和系统危险源. 将此方法应用于铁路信号计算机联锁系统,仿真结果表明,该方法可以提高功能性危险源分析的精Abstract: In early stage of safety critical system development, traditional hazard analysis is inaccurate and incomplete. To overcome the shortcomings, a SCADE (safety critical application development environment) model-based approach to functional hazard analysis (FuHA) is proposed. The SCADE data flow was used to construct system functional architecture model and function fault model, and then that two models were integrated into one model. Based on SCADE, the integrated model was analyzed by the way of implementing a risk scenario capturing algorithm and the system safety critical functions and hazards could be identified. The approach is applied to computer based interlocking system in railway signaling application. The simulation result shows that it can increase the precision and completeness for FuHA.
下载: