面向生命周期全过程的城市轨道交通信号系统安全论证方法研究

针对我国城市轨道交通信号系统安全评估需求,提出了一种面向生命周期全过程的信号系统安全论证方法。该方法基于目标结构表示法(GSN)构建的安全论证模型,将安全需求与证实融入到系统完整生命周期中,规范了论证的步骤和方法,统一了安全论证流程。该方法对我国城市轨道交通信号系统的安全评估具有一定的理论价值和实践指导意义。