Safety monitor for train-centric CBTC system

Safety monitor for train-centric CBTC system

For access to this article, please select a purchase option:

Buy article PDF
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
IET Intelligent Transport Systems — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Train-centric communications-based train control (TcCBTC) system is a new solution for urban transit signalling. Compared to traditional train control systems, the on-board equipment is becoming more powerful and more complex. Due to its safety-critical nature, specialised technologies must be adopted to guarantee the safety of the system. To address the safety verification difficulty of the control logic for the new system, this study presents an innovative topology-based method for guaranteeing the train control safety. First, a railway network is described as a metric space, and then, topological spaces are introduced to express the movement authority and train trajectory. On the basis of the topological description, the safety rules are checked by performing a series computation of topology theorems. Finally, a case study has been carried out on a real metro line in China. The result shows that the proposed method strictly meets the safety verification and achieves excellent performance.


    1. 1)
      • 1. Morar, S.: ‘Evolution of communication based train control worldwide’. IET Professional Development Course on Railway Signalling and Control Systems (RSCS 2010), Birmingham, UK, June 2010, pp. 281289.
    2. 2)
      • 2. IEEE 1474.1: ‘IEEE standard for communications-based train control (CBTC) performance and functional requirements’, 2004.
    3. 3)
      • 3. Gurník, P.: ‘Next generation train control (NGTC): more effective railways through the convergence of main-line and urban train control systems’, Transp. Res. Procedia, 2016, 14, pp. 18551864.
    4. 4)
      • 4. Nakamura, H.: ‘How to deal with revolutions in train control systems’, Engineering, 2016, 2, (3), pp. 380386.
    5. 5)
      • 5. Ruf, A., Matejka, E., Sekaj, I.: ‘Train control system without interlocking a new paradigm in railway control?’. Proc. of the Int. Conf. on Elektro, Rajecke Teplice, Slovakia, May 2014, pp. 490493.
    6. 6)
      • 6. Nakamura, Y.: ‘Overview of the next-generation railway operation system in the Tokyo metropolitan area’. JR East Technical Review, 2011, vol. 19, pp. 36.
    7. 7)
      • 7. Wang, H., Li, K., Liu, H., et al: ‘Trend analysis of development on train control system technologies’, Railw. Signal. Commun., 2016, 52, (8), pp. 14.
    8. 8)
      • 8. Pascal, P., Jacques, P.: ‘Signal control systems innovations and future developments’. Proc. of the Institution of Railway Signal Engineers, London, UK, February 2015, pp. 5666.
    9. 9)
      • 9. Quaglietta, E., Punzo, V.: ‘Supporting the design of railway systems by means of a Sobol variance-based sensitivity analysis’, Transp. Res. C, Emerg. Technol., 2014, 44, pp. 3854.
    10. 10)
      • 10. Oukhellou, L., Côme, E., Bouillaut, L., et al: ‘Combined use of sensor data and structural knowledge processed by Bayesian network: application to a railway diagnosis aid scheme’, Transp. Res. C, Emerg. Technol., 2008, 16, (6), pp. 755767.
    11. 11)
      • 11. Beugin, J., Marais, J.: ‘Simulation-based evaluation of dependability and safety properties of satellite technologies for railway localization’, Transp. Res. C, Emerg. Technol., 2012, 22, pp. 4257.
    12. 12)
      • 12. Li, S., Yang, L., Gao, Z.: ‘Coordinated cruise control for high-speed train movements based on a multi-agent model’, Transp. Res. C, Emerg. Technol., 2015, 56, pp. 281292.
    13. 13)
      • 13. Song, H., Liu, J., Schnieder, E.: ‘Validation, verification and evaluation of a train to train distance measurement system by means of colored petri nets’, Reliab. Eng. Syst. Saf., 2017, 164, pp. 1023.
    14. 14)
      • 14. Schnieder, E., Schnieder, L., Mueller, J.R.: ‘Conceptual foundation of dependable systems modelling’. Dependable Control of Discrete Systems, Bari, Italy, June 2009, pp. 198202.
    15. 15)
      • 15. Clarke, E.M., Wing, J.M.: ‘Formal methods: state of the art and future directions’, ACM Comput. Surv., 1996, 28, (4), pp. 626643.
    16. 16)
      • 16. Woodcock, J., Larsen, P.G., Bicarregui, J., et al: ‘Formal methods: practice and experience’, ACM Comput. Surv., 2009, 41, (4), pp. 136.
    17. 17)
      • 17. CENELEC: ‘EN 50128: railway applications –communications, signalling and processing systems – software for railway control and protection systems’, 2000.
    18. 18)
      • 18. Zingoni, N., Fantechi, A., Tempestini, M.: ‘A story about formal methods adoption by a railway signaling manufacturer’, Lect. Notes Comput. Sci., 2006, 4085, pp. 179189.
    19. 19)
      • 19. Bodeveix, J.P., Filali, M., Lawall, J., et al: ‘Formal methods meet domain specific languages’. Int. Conf. on Integrated Formal Methods, 2005, pp. 187206.
    20. 20)
      • 20. Haxthausen, A.E., Peleska, J., Kinder, S.: ‘A formal approach for the construction and verification of railway control systems’, Form. Asp. Comput., 2011, 23, (2), pp. 191219.
    21. 21)
      • 21. Zimmermann, A., Hommel, G.: ‘Towards modeling and evaluation of ETCS real-time communication and operation’, J. Syst. Softw.– Spec. Issue, Parallel Distrib. Real-time Syst., 2005, 77, (1), pp. 4754.
    22. 22)
      • 22. Barger, P., Schoen, W., Bouali, M.: ‘A study of railway ERTMS safety with colored petri nets’, Reliab. Risk Saf., Theory Appl., 2009, 2, pp. 13031309.
    23. 23)
      • 23. Amraoui, A.E., Mesghouni, K.: ‘Colored petri net model for discrete system communication management on the European rail traffic management system (ERTMS) level 2’. UKSim-AMSS 16th Int. Conf. on Computer Modelling and Simulation, Cambridge, UK, 2014, pp. 248253.
    24. 24)
      • 24. Damm, W., Mikschl, A., Oehlerking, J., et al: ‘Automating verification of cooperation, control, and design in traffic applications’, in Jones, C.B., Liu, Z., Woodcock, J. (Eds.): Formal methods and hybrid real-time systems, Lecture notes in computer science vol 4700, (Springer, Berlin, Heidelberg, 2007).
    25. 25)
      • 25. Ghazel, M.: ‘Formalizing a subset of ERTMS/ETCS specifications for verification purposes’, Transp. Res. C, Emerg. Technol., 2014, 42, pp. 6075.
    26. 26)
      • 26. Wang, H., Liu, S.: ‘Study on model-based safety verification of automatic train protection system’. Asia-Pacific Conf. on Computational Intelligence and Industrial Applications (PACIIA), Wuhan, China, 2009, pp. 467470.
    27. 27)
      • 27. Wang, H., Liu, S.: ‘Modeling communications-based train control system: a case study’. Int. Conf. on Industrial Mechatronics and Automation (ICIMA), Wuhan, China, 2010, pp. 453456.
    28. 28)
      • 28. Morzenti, A., Pradella, M., San Pietro, P., et al: ‘Model-checking TRIO specifications in SPIN’. Int. Symp. of Formal Methods Europe, Pisa, Italy, 2003, pp. 542561.
    29. 29)
      • 29. Mekki, A., Ghazel, M., Toguyeni, A.: ‘Validation of a new functional design of automatic protection systems at level crossings with model-checking techniques’, IEEE Trans. Intell. Transp. Syst., 2012, 13, (2), pp. 714723.
    30. 30)
      • 30. Parnas, D.L.: ‘Really rethinking ‘formal methods’’, Computer, 2010, 43, (1), pp. 2834.
    31. 31)
      • 31. Wang, H., Schmid, F., Chen, L., et al: ‘A topology-based model for railway train control systems’, IEEE Trans. Intell. Transp. Syst., 2013, 14, (2), pp. 819827.
    32. 32)
      • 32. Wang, H., Tang, T., Roberts, C., et al: ‘A novel framework for supporting the design of moving block train control system schemes’, Proc. Inst. Mech. Eng. F-J. Rail Rapid Transit, 2014, 228, (7), pp. 784793.
    33. 33)
      • 33. Wang, H., Xu, T., Yuan, T.: ‘Novel online safety observer for railway interlocking system’, J. Transp. Eng., 2013, 139, (7), pp. 719727.
    34. 34)
      • 34. IEC 61508: ‘Functional safety of electrical/electronic/programmable electronic safety-related systems’, 2010.
    35. 35)
      • 35. Gaal, S.A.: ‘Point set topology’ (Academic Press, USA, 1964).

Related content

This is a required field
Please enter a valid email address