Volume 9 Number 6 (Jun. 2014)
Home > Archive > 2014 > Volume 9 Number 6 (Jun. 2014) >
JSW 2014 Vol.9(6): 1553-1560 ISSN: 1796-217X
doi: 10.4304/jsw.9.6.1553-1560

Hierarchical Modeling and Verification for Highspeed Train Control Center by Time Automation

Lei Yuan1, Shiying Yang1, Dewang Chen1, Kaicheng Li2

1State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing 100044,China
2National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China

Abstract—Chinese Train Control System level three (CTCS- 3) is a major technical system in Chinese high-speed rail and Train Control System (TCC) is indispensable component in the CTCS-3. Current researches on TCC are mainly based on the simulation, which cannot ensure that all conditions in TCC are tested. This paper presents a hierarchical modeling method and uses time automation (TA) to model the TCC software. We take the design of the active balise telegram editing, a major part in the TCC software, as an example. At first, the process of the active balise telegram editing is analyzed to obtain a hierarchical diagram containing several layers. Then, TA is employed to build one TA model for each layer. Lastly, we use UPPAAL (a model validation tool, developed by Uppsala University and Aalborg University) to construct a network of the TA models to verify the active balise telegram editing. The verification results demonstrate that this modeling method is feasible and the model can meet the functional requirements of the TCC software.

Index Terms—TCC Software, Time Automation, UPPAAL, Hierarchical Modeling


Cite: Lei Yuan, Shiying Yang, Dewang Chen, Kaicheng Li, "Hierarchical Modeling and Verification for Highspeed Train Control Center by Time Automation," Journal of Software vol. 9, no. 6, pp. 1553-1560, 2014.

General Information

ISSN: 1796-217X (Online)
Frequency:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsweditorialoffice@gmail.com
  • Mar 01, 2024 News!

    Vol 19, No 1 has been published with online version    [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Apr 01, 2024 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Apr 01, 2024 News!

    Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP   [Click]

  • Nov 02, 2023 News!

    Vol 18, No 4 has been published with online version   [Click]