The complex and demanding railway transportation sector requires computer hardware and software that is secure, durable and offers high performance. Many of the currently evolving technologies in the ...

The train control system is the heart of Chinese high-speed railways, which is a core technology to ensure safe operation as well as high throughput of trains (see Figure 1). The correctness of the ...