论文部分内容阅读
针对我国城市轨道交通信号系统安全评估需求,提出了一种面向生命周期全过程的信号系统安全论证方法。该方法基于目标结构表示法(GSN)构建的安全论证模型,将安全需求与证实融入到系统完整生命周期中,规范了论证的步骤和方法,统一了安全论证流程。该方法对我国城市轨道交通信号系统的安全评估具有一定的理论价值和实践指导意义。
Aiming at the demand of urban rail transit signal system safety assessment in our country, a method of signal system safety demonstration for the whole life cycle is proposed. The method is based on the security demonstration model constructed by the target structure notation (GSN), which integrates the security requirements and verification into the system’s complete life cycle, standardizes the steps and methods of the demonstration, and unifies the security demonstration flow. This method has certain theoretical value and practical significance for the safety assessment of urban rail transit signal system in our country.