基于UML和CPN的列控系统等级转换建模与分析.PDFVIP

———————————————————————————————————————————————— 基于UML 和CPN 的列控系统等级转换建模与分析 作者 宋丽梅，朱爱红 机构 兰州交通大学 自动化与电气工程学院 基金项目 国家自然科学基金资助项目 预排期卷 《计算机应用研究》2019 年第36 卷第1 期 摘要 针对列控系统的安全性和实时性要求，基于CTCS-3 级列控系统需求规范中等级转换场景建 立C2 级向C3 级转换的UML(统一建模语言)模型和有色Petri 网(CPN)模型，分析了影响列车 安全运行和行车效率的因素，即转换时长和转换成功率，验证了该建模方法的有效性。验证 结果表明，UML 和 CPN 模型相结合的方法适合于列控系统需求规范的验证。搭建的等级转 换模型能够满足系统实时性要求。在保证切换成功率的前提下，列车运行速度与切换时间成 反比，速度越高，切换时间越短；列车速度越高，对系统实时性要求也越高。 关键词 中国列车控制系统；等级转换；统一建模语言；有色Petri 网；建模 作者简介 宋丽梅（1990- ），甘肃白银人，硕士研究生，主要研究方向为交通信息工程与控制 （985505396@）；朱爱红（1969-），河南西平人，副教授，主要研究方向为轨道交通 信号及控制． 中图分类号 TP393 访问地址 /article/02-2019-01-018.html 发布日期 2018 年1 月10 日 引用格式 宋丽梅, 朱爱红. 基于UML 和CPN 的列控系统等级转换建模与分析[J/OL]. 2019, 36(1). [2018- 01-10]. /article/02-2019-01-018.html. 36 1 Vol. 36 No. 1 第 卷第 期 计算机应用研究 优先出版 Application Research of Computers Online Publication 基于UML 和CPN 的列控系统等级转换建模与分析 * 宋丽梅，朱爱红 (兰州交通大学 自动化与电气工程学院, 兰州 730070) CTCS-3 C2 C3 摘 要：针对列控系统的安全性和实时性要求，基于 级列控系统需求规范中等级转换场景建立 级向 级 UML( ) Petri (CPN) 转换的 统一建模语言模型和有色 网 模型，分析了影响列车安全运行和行车效率的因素，即转换时长 和转换成功率，验证了该建模方法的有效性。验证结果表明，UML 和CPN 模型相结合的方法适合于列控系统需求规 范的验证。搭建的等级转换模型能够满足系统实时性要求。在保证切换成功率的前提下，列车运行速度与切换时间成 反比，速度越高，切换时间越短；列车速度越高，对系统实时性要求也越高。 关键词：中国列车控制系统；等级转换；统一建模语言；有色Petri 网；建模 中图分类号：TP393