Protocol Conformance Test Research Of Communication Based Train Control System

In the Communication Based Train Control (CBTC) system, communication protocol is not only the foundation of the whole system's safety, but also the guarantee of data communicate reliably between subsystems. To make sure that these devices in network can communicate with each others reliably and correctly, we must execute conformance test according to their specifications. Therefore, conformance test of CBTC communication protocol has become the research focus of the communication protocol testing.In this paper, On the basis of research CBTC communication protocol specifications and standards, lots of conformance testing technologies and theories have been studied, the Extended UniqueInput/Output Sequences ( UIO_E ) algorithm and the Extended Finite State Machine(EFSM) model have been applied on the CBTC communication protocol according to its characteristic.In this paper, firstly, the basic principle of CBTC communication protocol were expatiated. Secondly, the CBTC communication protocol model was built according to the characteristic of CBTC communication protocol and the method based on EFSM, Then, test sequence generating algorithm of FSM and EFSM model have been described particularly, and a test sequence generating algorithm for CBTC communication protocol have been proposed based on UIO_E algorithm and EFSM model. Using UIO_E algorithm, CBTC communication protocol conformance test sequence has been generated. At last, a simulation platform has been established according to the conformance test sequence. Through the analysis of the result, the conformance adjudgement has indicated that the Implementation Under Test (IUT) can meet the requirements of CBTC communication protocol specification.