基于EFSM的CBTC通信协议一致性测试的研究-交通信息工程及控制专业论文.docxVIP

AB AB STRACT ABS’I’RAC’I’： In the Communications-based Train Control(CBTC)system，a safety communication protocol is not only the guarantee of reliable data communication between every sub·system，but also the foundation of the whole system’S safety．A self-contained communication protocol of CBTC system which Can meet the requirements has been designed and passed through safety analysis and verification．To make sure that these devices in network Can communicate with each others correctly,we must perform conformance test on each component according to their specifications．Therefore,the conforman