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).
- Record URL:
-
Availability:
- Find a library where document is available. Order URL: http://worldcat.org/issn/19391390
-
Supplemental Notes:
- Copyright © 2018, IEEE.
-
Authors:
- Wang, Y
- Chen, L
- Kirkwood, D
- Fu, P
- Lv, J
- Roberts, C
- Publication Date: 2018
Language
- English
Media Info
- Media Type: Web
- Features: References;
- Pagination: pp 35-47
-
Serial:
- IEEE Intelligent Transportation Systems Magazine
- Volume: 10
- Issue Number: 3
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- ISSN: 1939-1390
- Serial URL: http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645
Subject/Index Terms
- TRT Terms: Automatic controllers; Communication systems; Hardware in the loop simulation; Positive train control; Simulation; Testing
- Identifier Terms: Communications Based Train Control
- Uncontrolled Terms: Model-based design
- Subject Areas: Data and Information Technology; Operations and Traffic Management; Railroads; Vehicles and Equipment;
Filing Info
- Accession Number: 01678524
- Record Type: Publication
- Files: TRIS
- Created Date: Aug 23 2018 5:25PM