10.3969/j.issn.1001-8360.2016.11.012
基于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