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

摘要

基于Simulink&Stateflow建立了高速铁路列控系统运营场景的仿真模型,首先根据C2和C3行车许可运营场景的控制时序流,分析了单一场景功能的正确性;其次,结合等级转换场景,验证了C2和C3行车许可运营场景在语用层次上的一致性;再次,结合模式转换场景,验证了C2和C3行车许可运营场景在语义层次的不一致性,发现了列控系统运营场景规范中一个导致列车无法正常行车的漏洞;最后,通过对列控系统运营场景功能逻辑的修改,保证了列车运行的正确性.