您的位置: 专家智库 > >

国家科技支撑计划(2009BAG12A08-04)

作品数:1 被引量:1H指数:1
相关作者:孙超黄银霞赵天时更多>>
相关机构:中国铁道科学研究院标准计量研究所更多>>
发文基金:国家科技支撑计划更多>>
相关领域:交通运输工程更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇交通运输工程

主题

  • 1篇形式化
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇列控系统
  • 1篇建模语言
  • 1篇风险评估
  • 1篇CTCS-3...

机构

  • 1篇中国铁道科学...

作者

  • 1篇赵天时
  • 1篇黄银霞
  • 1篇孙超

传媒

  • 1篇铁道通信信号

年份

  • 1篇2012
1 条 记 录,以下是 1-1
排序方式:
基于统一建模语言的CTCS-3级列控系统风险评估的研究被引量:1
2012年
CTCS-3级列控系统是典型的安全苛求系统,其系统评估技术是一项复杂的系统工程。通过将系统需求由非形式化向半形式化模型转换,运用危险及可操作性研究、故障树分析、事件树分析和原因结果分析等安全分析工具,提出适用于CTCS-3级列控系统的风险评估技术,对我国CTCS-3级列控系统评估具有积极作用。
赵天时孙超黄银霞
关键词:列控系统风险评估
共1页<1>
聚类工具0