需求阶段的无线闭塞中心交接危险因素分析

• 作者: 刘金涛 李克平
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 无线闭塞中心 危险因素分析 STAMP 形式化方法 安全性
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 铁道通信信号、信息化
• 页码范围: 74-82
• 页数: 9页
• 分类号: TP301.2|U283
• 字数: 7842字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2018.04.011

摘要

根据ST AM P理论分析需求阶段的RBC交接危险因素,利用分层控制框图对RBC交接过程的控制关系进行描述;使用混成自动机对其中的控制算法、组件状态变化进行建模;给出控制结构中过程模型的形式化定义,并使用对象约束语言OCL对过程模型进行构建.根据需求阶段的控制缺陷分类,利用人工分析和形式化分析相结合的方式,分别对与输入相关、与功能模块相关以及与系统需求规范相关的危险因素进行分析.通过结果对比发现,本文所提基于STAMP理论的方法适用于需求阶段的RBC交接危险因素分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李克平	北京交通大学轨道交通控制与安全国家重点实验室	22	393	9.0	19.0
2	刘金涛	北京交通大学国家轨道交通安全评估研究中心	7	110	6.0	7.0