需求阶段的无线闭塞中心交接危险因素分析 |
| |
引用本文: | 刘金涛,李克平.需求阶段的无线闭塞中心交接危险因素分析[J].铁道学报,2018(4). |
| |
作者姓名: | 刘金涛 李克平 |
| |
作者单位: | 北京交通大学国家轨道交通安全评估研究中心;北京交通大学轨道交通控制与安全国家重点实验室 |
| |
摘 要: | 根据STAMP理论分析需求阶段的RBC交接危险因素,利用分层控制框图对RBC交接过程的控制关系进行描述;使用混成自动机对其中的控制算法、组件状态变化进行建模;给出控制结构中过程模型的形式化定义,并使用对象约束语言OCL对过程模型进行构建。根据需求阶段的控制缺陷分类,利用人工分析和形式化分析相结合的方式,分别对与输入相关、与功能模块相关以及与系统需求规范相关的危险因素进行分析。通过结果对比发现,本文所提基于STAMP理论的方法适用于需求阶段的RBC交接危险因素分析。
|
本文献已被 CNKI 等数据库收录! |
|