Abstract: As an important part of the train control system, the temporary speed restriction system is a safety-critical one that meets fail-safe criteria. Based on the technical specification on temporary speed restriction and the theory of timed automata, this paper analyzed the composition and structure of the temporary speed restriction system, extracted its function and performance constraints for modeling and simulating its data interaction behaviors by using UPPAAL tool to verify its real-time performance, offering reference for further improving the design and development of the temporary speed restriction system.