安全论证方法及其在铁路信号开发安全保障中的应用

摘要：

随着我国铁路运行速度的提高和运行间隔的缩短，以及计算机和通信技术在信号系统中的大规模应用，安全问题显得越发重要和复杂。如何针对我国国情，保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线，采用安全论证的方法对系统研发阶段的安全保障进行规划和验证。在此基础上，构建信号系统的论证驱动安全设计框架，以GSN论证语言为基础设计安全论证的软件系统。

关键词：轨道交通信号系统、安全论证、GSN、系统开发安全保障

分类号：U284;U298;TP273.5(铁路通信、信号)

资助基金：国家国际科技合作专项2012DFG81600；北京交通大学基本科研项目2013JBM125，2012JBZ 014；博士点基金青年教师基金项目20130009120034

在线出版日期：2014-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：54-59