中文摘要：

基于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.