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

论文摘要

针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML（统一建模语言）模型和有色Petri网（CPN）模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方法的有效性。验证结果表明,UML和CPN模型相结合的方法适合于列控系统需求规范的验证。搭建的等级转换模型能够满足系统实时性要求。在保证切换成功率的前提下,列车运行速度与切换时间成反比,速度越高,切换时间越短;列车速度越高,对系统实时性要求也越高。

论文目录

• 1 C2-C3等级转换过程
• 2 C2向C3等级转换UML模型构建
•   2.1 UML消息顺序图模型
•   2.2 UML顺序状态图模型
• 3 模型的仿真及验证
•   3.1 有色Petri网
•   3.2 C2级→C3级转换的CPN顶层模型
•   3.3 C2级→C3级转换的CPN子页模型
• 4 模型仿真与分析
• 5 结束语

文章来源

类型: 期刊论文

作者: 朱爱红,宋丽梅

关键词: 中国列车控制系统,等级转换,统一建模语言,有色网,建模

来源: 计算机应用研究 2019年01期

年度: 2019

分类: 信息科技,工程科技Ⅱ辑

专业: 铁路运输

单位: 兰州交通大学自动化与电气工程学院

基金: 国家自然科学基金资助项目(61661027)

分类号: U284.48

DOI: 10.19734/j.issn.1001-3695.2017.07.0670

页码: 140-143+162

总页数: 5

文件大小: 1134K

下载量: 182