期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
安全论证方法及其在铁路信号开发安全保障中的应用 预览 被引量:6
1
作者 牛儒 唐涛 《铁道学报》 EI CSCD 北大核心 2014年第4期54-59,共6页
随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论... 随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的方法对系统研发阶段的安全保障进行规划和验证。在此基础上,构建信号系统的论证驱动安全设计框架,以GSN论证语言为基础设计安全论证的软件系统。 展开更多
关键词 轨道交通信号系统 安全论证 系统开发安全保障 GSN(goal STRUCTURING notation)
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈