Hybrid Online Model-Based Testing for Communication-Based Train Control Systems

Yuemiao Wang, Lei Chen, David Kirkwood, Peng Fu, jidong lv, Clive Roberts

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)
323 Downloads (Pure)


Communication-Based Train Control (CBTC) systems have been increasingly implemented on metro systems because of their characteristics, which result in safety and capacity improvements for metro operations. Automatic testing methods such as Model-Based Testing (MBT) have been applied to solve some particularly simple and ideal case studies. To bring automation to HIL testing, the authors apply MBT to HIL testing and present a novel hybrid online MBT testing platform that combines formal modelling methods with simulation. The theoretical methodology of the hybrid MBT, the platform architecture, and the testing results produced by the platform are described with a case study of a system under test (SUT) of a real Vehicle On-Board Controller (VOBC).
Original languageEnglish
Pages (from-to)35-47
Number of pages13
JournalIEEE Intelligent Transportation Systems Magazine
Issue number3
Early online date8 Jun 2018
Publication statusPublished - 25 Jul 2018


Dive into the research topics of 'Hybrid Online Model-Based Testing for Communication-Based Train Control Systems'. Together they form a unique fingerprint.

Cite this