IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems

2015 IEEE/ACM 1st International Workshop on Complex Faults and Failures in Large Software Systems (COUFLESS)

Author(s): Jie Qian ; Jing Liu ; Xiang Chen ; Junfeng Sun
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2015
Conference Location: Florence, Italy
Conference Date: 23 May 2015
Page(s): 48 - 54
ISBN (Electronic): 978-1-4673-7034-9
DOI: 10.1109/COUFLESS.2015.15
Regular:

Communications Based Train Control (CBTC) is the newest railway system to solve traffic congestion in China's cities. Compared with the traditional signaling systems, CBTC systems are more... View More

Advertisement