复杂场景下列控系统功能一致性分析  

Consistency Analysis of Train Control System under Complex Scenario

作　　者：任鹏程[1] 唐涛[1] 吕继东[2] 王海峰[2] 

机构地区：[1]北京交通大学轨道交通与安全国家重点实验室 [2]北京交通大学轨道交通运行控制系统国家工程研究中心

出　　处：《铁道通信信号》2016年第2期7-10,共4页Railway Signalling & Communication

基　　金：国家自然科学基金资助项目(61304185;U1434209);国家重点基础研究发展计划(979)(批准号:2014CB340700);中央高校基本科研业务费专项资金资助(2014/BM022)

摘　　要：基于Simulink&Stateflow建立了高速铁路列控系统运营场景的仿真模型,首先根据C2和C3行车许可运营场景的控制时序流,分析了单一场景功能的正确性;其次,结合等级转换场景,验证了C2和C3行车许可运营场景在语用层次上的一致性;再次,结合模式转换场景,验证了C2和C3行车许可运营场景在语义层次的不一致性,发现了列控系统运营场景规范中一个导致列车无法正常行车的漏洞;最后,通过对列控系统运营场景功能逻辑的修改,保证了列车运行的正确性。In this paper,we establish a model of high-speed railway train control system based on Simulink Stateflow.Firstly,we analyze the validity of single scenarios according to the time sequence of Movement Authority at the level of C2 and C3 respectively;Secondly,we verify the consistency of C2 and C3 Movement Authority in combination with level transitional scenario from pragmatic perspectives.Furthermore,we also confirm the inconsistency of C2 and C3 Movement Authority in combination with mode transitional scenario from semantic perspectives and seek out a loophole that would result in abnormal train operation in the specification of train operation scenarios of the train control system.Finally,we assure the validity of train operation through modifying the operation scenarios function logic of the train control system.

关 键 词：列控系统 运营场景 建模 

分 类 号：U284.48[交通运输工程—交通信息工程及控制]