Modeling for CBTC car-borne ATP/ATO functions and its applications

CBTC (Communication Based Train Control) car-borne equipment, a part of the communication based train control system, mainly consists of automatic train protection (ATP) functions, automatic train operation (ATO) functions as well as the interface functions with external equipment such as CBTC wayside equipment etc. The CBTC car-borne software implementing ATP/ATO functions is a real-time embedded software requiring a high level of safety and reliability. To satisfy the requirements of the CBTC car-borne software, the model-based design methodology is applied to model CBTC car-borne ATP/ATO functions. In this paper, we illustrate the process modeling the car-borne ATP/ATO functions satisfying requirements. In addition, the developed models are applied to CBTC equipped trains and the test results show that the ATP/ATO functions work well while the trains are running in driverless operation mode.