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

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

Modeling and formal analysis of level transition in train control system based on UML and CPN

According to the security and real-time performance of the train control system, the unified modeling language(UML) and the colored Petri net (CPN) model of C2 to C3 transition are established based on the level transition scenario of the CTCS-3 level control system requirement specification. This paper analyzes the influence factors of the safty of train operation and traffic efficiency, that is, the time spent in the transition and the success rate of the level transition, this paper verifies the validity of this modeling method. The results show that the combination of UML and CPN model is suitable for the specification of the requirements of the control system. The hierarchical conversion model can meet the real-time requirements of the system. In order to ensure the success rate of switching, the train running speed is inversely proportional to the switching time, the higher the speed, the shorter the switching time; the higher the train speed, the higher the real-time performance of the system.