基于HUML的列控系统形式化建模与参数分析方法

• 作者: 程瑞军 程雨 赵晓宇 马小平
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 高速铁路列控系统 UML扩展机制 混成自动机 移动闭塞控制系统 控制参数分析
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 80-87
• 页数: 8页
• 分类号: U238|U284.482
• 字数: 7293字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2016.11.012

摘要

针对高速列车控制系统的混成特性，提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用 UML2．0及其扩展机制对列控系统的混成行为进行建模。定义由 HUML模型到 HYTECH 模型的转换规则，将 HUML模型转换为线性混成自动机模型；将列控系统安全性需求加入到 HYTECH 模型，建立安全HYTECH模；利用模型检验工具 HYTECH对安全 HYTECH模型进行自动分析。根据所提出的基于 UML概要文件建模方法，以移动闭塞系统中的追踪模型为例，建立后行列车的控制器 HUML模型；通过计算安全 HY-TECH模型的可达集得到未知控制参数的取值范围；验证结果表明基于 HUML的列控系统建模和分析方法的有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程雨	中国铁道科学研究院基础设施检测研究所	3	21	2.0	3.0
2	程瑞军	北京交通大学轨道交通控制与安全国家重点实验室	3	14	2.0	3.0
3	赵晓宇	中国铁道科学研究院研究生部	4	15	2.0	3.0
4	马小平	北京交通大学轨道交通控制与安全国家重点实验室	4	16	2.0	4.0