Research on conformance testing for the safety communication protocol of high-speed railway control system based on TTCN-3

The train running control system is a system to ensure the safety of the train, and its data transmission depends on the high-capacity transmission system. The railway signal safety protocol-I, which is made by Ministry of Railways, is used in the safety data transmission of the train running control system and has a significant function to ensure the safety of the whole system. But because of the inconsistency of the protocol implement, it is very important to carry on a conformance testing to the protocol implement. This paper builds the corresponding test system based on the standard testing notation TTCN-3, and elaborates the conformance testing process, then analyzes the feasibility of the conformance testing for high-speed railway protocol based on TTCN-3.