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

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 hardware-in-the-loop (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).


  • English

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 01678524
  • Record Type: Publication
  • Files: TRIS
  • Created Date: Aug 23 2018 5:25PM