With the rapidly growing of passenger flow in big city, Communications Based Train Control (CBTC) system is believed to be the chief choice for urban railway transportation system. Interlocking system is a key safety critical application for CBTC, as it provides trains safety routes both in normal condition and under degraded mode. To deal with the logic complexity and high demand for safety, this paper addresses a novel scheme for modeling and realization of CBTC interlocking system. Using SCADE toolset, core function model prototypes are elaborated and software codes are generated automatically. The practical application indicates that this method provides an accurate and complete description for the whole system, and offers a path to gain high quality system implementation.
Specialized Sensors and System Modeling for Safety-critical Application