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

摘要：

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

关键词：高速铁路列控系统、UML扩展机制、混成自动机、移动闭塞控制系统、控制参数分析

所属期刊栏目：38

分类号：U238;U284.482(特种铁路)

资助基金：国家高技术研究发展计划2011AA11A102

在线出版日期：2016-12-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：80-87