|
|||||
|
|
| 安全论证方法及其在铁路信号开发安全保障中的应用 | |
| 引用本文： | 牛儒,唐涛.安全论证方法及其在铁路信号开发安全保障中的应用[J].铁道学报,2014(4):54-59. |
| 作者姓名： | 牛儒 唐涛 |
| 作者单位： | 北京交通大学轨道交通控制与安全国家重点实验室;北京交通大学轨道交通运行控制系统国家工程研究中心 |
| 基金项目： | 国家国际科技合作专项(2012DFG81600);北京交通大学基本科研项目(2013JBM125,2012JBZ 014);博士点基金青年教师基金项目(20130009120034) |
| 摘 要： | 随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的方法对系统研发阶段的安全保障进行规划和验证。在此基础上,构建信号系统的论证驱动安全设计框架,以GSN论证语言为基础设计安全论证的软件系统。 |
| 关 键 词： | 轨道交通信号系统 安全论证 GSN 系统开发安全保障 |
| 本文献已被 CNKI 等数据库收录！ | |