|
|||||
|
|
| 基于统一建模语言的CTCS-3级列控系统风险评估的研究 | |
| 引用本文： | 赵天时,孙超,黄银霞.基于统一建模语言的CTCS-3级列控系统风险评估的研究[J].铁道通信信号,2012,48(12). |
| 作者姓名： | 赵天时 孙超 黄银霞 |
| 作者单位： | 中国铁道科学研究院标准计量研究所,北京,100081 |
| 基金项目： | 国家科技支撑项目:CTCS-3级列控系统系统评估技术及系统认证 |
| 摘 要： | CTCS-3级列控系统是典型的安全苛求系统,其系统评估技术是一项复杂的系统工程。通过将系统需求由非形式化向半形式化模型转换,运用危险及可操作性研究、故障树分析、事件树分析和原因结果分析等安全分析工具,提出适用于CTCS-3级列控系统的风险评估技术,对我国CTCS-3级列控系统评估具有积极作用。 |
| 关 键 词： | 列控系统 系统评估 半形式化 风险评估 |
| 本文献已被 万方数据 等数据库收录！ | |