This paper gives out a new train automatic control system, which is based on train communication, and proposes a high assurance method to construct the system from current system. In current automatic train control (ATC) system, the central logic device detects position of each train and calculates permissible speed of each blocking section. Therefore, the central logic device controls speed of all trains. On the contrary, in the new system proposed in this paper, there is no central logical device and, train can communicate each other. The train detects the position and calculates the permissible speed itself according to the received position information of the preceding train. In the traditional method of changing an old system to a new one, test must be done off-line.While the integration technique proposed in this paper achieves on-line properties, and high assurance can be satisfied.