Abstract

This paper analyses the function and performance of the software of RBC (Radio Block Center) subsystem in CTCS (Chinese Train Control System) level 3. It describes the formalization of RBC subsystem based on the theory of Timed automata. EQRS timed automata network model is built and based on the simulation and analysis of RBC subsystem, the safety and BoundedLiveness of RBC is validated using UPPAAL validation tool.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call