期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
安全论证方法及其在铁路信号开发安全保障中的应用
被引量：
10
1
作者
牛儒
唐涛
《铁道学报》
EI
CAS
CSCD
北大核心
2014年第4期54-59,共6页
随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的...
随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的方法对系统研发阶段的安全保障进行规划和验证。在此基础上,构建信号系统的论证驱动安全设计框架,以GSN论证语言为基础设计安全论证的软件系统。
展开更多
关键词
轨道交通信号系统
安全论证
系统开发安全保障
GSN(goal
STRUCTURING
notation)
下载PDF
职称材料
题名
安全论证方法及其在铁路信号开发安全保障中的应用
被引量：
10
1
作者
牛儒
唐涛
机构
北京交通大学轨道交通控制与安全国家重点实验室
北京交通大学轨道交通运行控制系统国家工程研究中心
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2014年第4期54-59,共6页
基金
国家国际科技合作专项(2012DFG81600)
北京交通大学基本科研项目(2013JBM125
+1 种基金
2012JBZ 014)
博士点基金青年教师基金项目(20130009120034)
文摘
随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的方法对系统研发阶段的安全保障进行规划和验证。在此基础上,构建信号系统的论证驱动安全设计框架,以GSN论证语言为基础设计安全论证的软件系统。
关键词
轨道交通信号系统
安全论证
系统开发安全保障
GSN(goal
STRUCTURING
notation)
Keywords
GSN
rail
signaling
system
safety
argument
system development
safety
assurance
分类号
U284 [交通运输工程—交通信息工程及控制]
U298 [交通运输工程—道路与铁道工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
安全论证方法及其在铁路信号开发安全保障中的应用
牛儒
唐涛
《铁道学报》
EI
CAS
CSCD
北大核心
2014
10
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
