基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
CTCS-3级列控系统是典型的安全苛求系统,其系统评估技术是一项复杂的系统工程。通过将系统需求由非形式化向半形式化模型转换,运用危险及可操作性研究、故障树分析、事件树分析和原因结果分析等安全分析工具,提出适用于CTCS-3级列控系统的风险评估技术,对我国CTCS-3级列控系统评估具有积极作用。
推荐文章
CTCS-3列控系统RBC切换的形式化建模、分析与验证
CTCS-3列控系统
RBC切换
通信协议
形式化建模
Petri网
分析与验证
CTCS-3级列控系统RBC控车场景建模与验证
CTCS-3级系统
RBC控车场景
UML
PHAVer
基于ROPES的CTCS-3级列控系统车载设备的建模
列车控制系统
车载设备
嵌入式系统的快速面向对象开发过程
建模
统一建模语言
CTCS-3级列控系统EMC技术的研究
CTCS-3
设备
系统
电磁兼容测试
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于统一建模语言的CTCS-3级列控系统风险评估的研究
来源期刊 铁道通信信号 学科 交通运输
关键词 列控系统 系统评估 半形式化 风险评估
年,卷(期) 2012,(12) 所属期刊栏目 信号技术
研究方向 页码范围 19-22
页数 4页 分类号 U284.482
字数 2837字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 孙超 中国铁道科学研究院标准计量研究所 16 37 3.0 5.0
2 赵天时 中国铁道科学研究院标准计量研究所 4 9 2.0 3.0
3 黄银霞 中国铁道科学研究院标准计量研究所 7 38 3.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (7)
参考文献  (1)
节点文献
引证文献  (6)
同被引文献  (0)
二级引证文献  (2)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2015(3)
  • 引证文献(1)
  • 二级引证文献(2)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(2)
  • 引证文献(2)
  • 二级引证文献(0)
2019(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
列控系统
系统评估
半形式化
风险评估
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
铁道通信信号
月刊
1000-7458
11-1975/U
大16开
北京市海淀区大柳树路2号
2-403
1957
chi
出版文献量(篇)
8402
总下载数(次)
29
论文1v1指导