Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

access icon free Safety monitor for train-centric CBTC system

  • Author(s): Haifeng Wang 1, 2 ; Ning Zhao 3 ; Bin Ning 4 ; Tao Tang 4 ; Ming Chai 1, 2
    • View affiliations
  • Source: Volume 12, Issue 8, October 2018, p. 931 – 938
    DOI:  10.1049/iet-its.2018.5231 , Print ISSN 1751-956X, Online ISSN 1751-9578
© The Institution of Engineering and Technology
Received 02/12/2017, Accepted 07/06/2018, Revised 11/05/2018, Published 06/07/2018

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.

Inspec keywords: railway safety; railway communication; rail traffic control; control engineering computing; telecommunication network topology; telecommunication signalling

Other keywords: train control safety; TcCBTC system; railway network; topological description; train-centric communications-based train control system; train trajectory; urban transit signalling; movement authority; on-board equipment; topological spaces; safety verification difficulty; real metro line; safety monitor; control logic; innovative topology-based method; topology theorems; China; metric space

Subjects: Communications computing; Control applications in radio and radar; Communication network design, planning and routing; Traffic engineering computing; Mobile radio systems; Rail-traffic system control; Control engineering computing

References

    1. 1)
      • 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. 1303–1309.
    2. 2)
      • 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. 191–219.
    3. 3)
      • 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. 467–470.
    4. 4)
      • 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. 47–54.
    5. 5)
      • 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. 10–23.
    6. 6)
      • 16. Woodcock, J., Larsen, P.G., Bicarregui, J., et al: ‘Formal methods: practice and experience’, ACM Comput. Surv., 2009, 41, (4), pp. 1–36.
    7. 7)
      • 14. Schnieder, E., Schnieder, L., Mueller, J.R.: ‘Conceptual foundation of dependable systems modelling’. Dependable Control of Discrete Systems, Bari, Italy, June 2009, pp. 198–202.
    8. 8)
      • 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. 38–54.
    9. 9)
      • 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. 784–793.
    10. 10)
      • 6. Nakamura, Y.: ‘Overview of the next-generation railway operation system in the Tokyo metropolitan area’. JR East Technical Review, 2011, vol. 19, pp. 3–6.
    11. 11)
      • 34. IEC 61508: ‘Functional safety of electrical/electronic/programmable electronic safety-related systems’, 2010.
    12. 12)
      • 15. Clarke, E.M., Wing, J.M.: ‘Formal methods: state of the art and future directions’, ACM Comput. Surv., 1996, 28, (4), pp. 626–643.
    13. 13)
      • 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. 714–723.
    14. 14)
      • 35. Gaal, S.A.: ‘Point set topology’ (Academic Press, USA, 1964).
    15. 15)
      • 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. 179–189.
    16. 16)
      • 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. 542–561.
    17. 17)
      • 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. 248–253.
    18. 18)
      • 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. 1–4.
    19. 19)
      • 25. Ghazel, M.: ‘Formalizing a subset of ERTMS/ETCS specifications for verification purposes’, Transp. Res. C, Emerg. Technol., 2014, 42, pp. 60–75.
    20. 20)
      • 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. 453–456.
    21. 21)
      • 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. 281–292.
    22. 22)
      • 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).
    23. 23)
      • 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. 281–289.
    24. 24)
      • 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. 56–66.
    25. 25)
      • 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. 42–57.
    26. 26)
      • 33. Wang, H., Xu, T., Yuan, T.: ‘Novel online safety observer for railway interlocking system’, J. Transp. Eng., 2013, 139, (7), pp. 719–727.
    27. 27)
      • 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. 819–827.
    28. 28)
      • 2. IEEE 1474.1: ‘IEEE standard for communications-based train control (CBTC) performance and functional requirements’, 2004.
    29. 29)
      • 4. Nakamura, H.: ‘How to deal with revolutions in train control systems’, Engineering, 2016, 2, (3), pp. 380–386.
    30. 30)
      • 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. 490–493.
    31. 31)
      • 19. Bodeveix, J.P., Filali, M., Lawall, J., et al: ‘Formal methods meet domain specific languages’. Int. Conf. on Integrated Formal Methods, 2005, pp. 187–206.
    32. 32)
      • 17. CENELEC: ‘EN 50128: railway applications –communications, signalling and processing systems – software for railway control and protection systems’, 2000.
    33. 33)
      • 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. 755–767.
    34. 34)
      • 30. Parnas, D.L.: ‘Really rethinking ‘formal methods’’, Computer, 2010, 43, (1), pp. 28–34.
    35. 35)
      • 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. 1855–1864.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-its.2018.5231
Loading

Related content

content/journals/10.1049/iet-its.2018.5231
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address