Integration of automatic train control system

In current automatic train control system, the central ATC logic device produces position of each train and calculates permissible speed of each blocking section. Therefore the central logic device controls speed of all trains. On the other hand, in the new system proposed by this paper, there is no logical central device and train can run completely autonomously. In the changing period of current ATC to the new system, we integrate these two heterogeneous systems. For getting the assurance high, the test is very important. Comparing with the conventional method, this paper proposes a high assurance method.