Abstract: Safety supervision for trains approaching port is an improtant and difficult issue in China port information construction．Realizing full automation of train traveling process tracing plays a very significant role in ensuring safety and high efficiency in supervision in port．A cyber-physical system was designed to deal with the incident when some person climbs the train traveling on the heavy haul railway,and an associated timed automaton model was proposed to describe the real-time behaviors of the system．A random run sequence was simulated by the UppAal tool,and the verfication results show that the system designed in this paper satisfies the critical properties,such as reachability,security,liveness and timing constraints．

Key words: Heavy haul railway,Safety supervision,Timed automaton,UppAal