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

• 作者: 唐涛 牛儒
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 轨道交通信号系统 安全论证 GSN 系统开发安全保障
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 54-59
• 页数: 6页
• 分类号: U284|U298|TP273.5
• 字数: 6114字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2014.04.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
5	牛儒	北京交通大学轨道交通控制与安全国家重点实验室	10	142	5.0	10.0