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