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

Research output: Contribution to journalArticlepeer-review

Authors

External organisations

  • Beijing Jiaotong Univ

Abstract

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).

Details

Original languageEnglish
Pages (from-to)35-47
Number of pages13
JournalIEEE Intelligent Transportation Systems Magazine
Volume10
Issue number3
Early online date8 Jun 2018
Publication statusPublished - 25 Jul 2018