Research Of Communication Protocol Conformance Test Of CBTC System Based On EFSM

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 conformance test of CBTC communication protocol has become the focus of research of communication protocol testing.In this paper, with CBTC communication protocol standards and specifications, lots of conformance testing theories and technologies have been studied, and EFSM modeling and UIO_E algorithm have been applied on the CBTC communication protocol according to its characteristic.In the paper, firstly, CBTC communication protocol specifications were expatiated, including requirement analysis, external interface, related safety defences, and basic principles of CBTC communication protocol. Secondly, CBTC communication protocol model was established using formal modeling method based on EFSM (Extended Finite State Machine) according to the characteristic of CBTC communication protocol. Then, various test sequence generating algorithm of FSM and EFSM model have been described particularly, and a test sequence generating algorithm of CBTC communication protocol have been proposed based on EFSM modelling and UIO_E algorithm. The CBTC communication protocol conformance test sequence has been generated using UIO_E algorithm. At last, a simulation test platform has been established and the CBTC communication protocol conformance test has been performed using test sequence generating according to UIO_E algorithm. Through the analysis of test result, the conformance adjudgement has indicated that the IUT can meet the requirements of CBTC communication protocol specification.