计算机工程与应用2019，Vol.55Issue(18)：256-262,7.DOI:10.3778/j.issn.1002-8331.1807-0056
CTCS-1级列控系统等级转换场景建模与验证
Modeling and Verification of Level Transition Scenario of Train Control System CTCS-1
摘要
Abstract
With the development of key technologies of the CTCS-1 train control system, it is inevitable that the trains carrying CTCS-1 control system will run across to the CTCS-0 level line, and the smooth implementation of the system level transition is the basis for safe cross-line operations. Based on the system function analysis, a multi-resolution func-tion model is established to identify the scenario requirement of level transition. According to the scenario requirement and the exsisting system specifications, the scheme of CTCS-1 system level transition scenario is improved. A UML-based NuSMV modeling and verification method is used to establish the UML model and NuSMV model of level transi-tion scenario. The activity, certainty and other properties of the scenario model are verified, which proves that the improved scenario meets the scenario requirements and the system specifications. The discussion of the CTCS-1 level transition sce-nario can support the revision of the relevant specifications.关键词
CTCS-1级列控系统/等级转换场景/NuSMV模型/模型验证Key words
CTCS-1 train control system/scenario of level transition/NuSMV model/verification分类
交通工程引用本文复制引用
王颖卓,刘中田..CTCS-1级列控系统等级转换场景建模与验证[J].计算机工程与应用,2019,55(18):256-262,7.基金项目
中央高校基本科研业务费专项资金(No.2017JBM009). （No.2017JBM009）
