Implementation of a Model-Oriented Approach for Supporting Safe Integration of GNSS-Based Virtual Balises in ERTMS/ETCS Level 3

Moving Block is a railway signaling concept that paves the way for increasing line capacity while reducing maintenance and operating costs. Its implementation relies on autonomous solutions for train localization, mainly based on GNSS technology. However, the introduction of such technological innovations leads to the emergence of new risks. These risks need to be investigated meticulously, and some confidence level needs to be assigned to GNSS-based localization solutions in railways while considering various settings. The contribution of this paper falls within this context by bringing formal approaches into play in order to evaluate performance and safety properties related to the use of GNSS-based virtual balises for train localization. Specifically, the adopted model-based approach consists in translating the relevant behavior of the localization system through configurable timed and probabilistic automata. The elaborated models being parameterizable, various test scenarios, considering a wide range of configurations, can be investigated. Quantitative and qualitative analysis results can be generated on the basis of the authors' models by means of statistical model-checking algorithms implemented in the UPPAAL-SMC modeling and verification tool. A case study is used to illustrate the application of the presented approach, and various numerical analysis results are provided. As the present contribution implements a model-driven approach to perform safety analysis in railways, it is fully in line with the increasing willingness to reduce recourse to on-site tests in the sector. Such tests are indeed costly and time-consuming, thus jeopardizing the introduction of technical innovations in railways.

• Record URL:
  • http://dx.doi.org/10.1109/OJITS.2023.3267142
• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/issn/26877813
• Supplemental Notes:
  • © 2023 The Authors.
• Authors:
  • Himrane, Ouail
  • Beugin, Julie
  • Ghazel, Mohammed
• Publication Date: 2023

Language

• English

Media Info

• Media Type: Web
• Features: Figures; References; Tables;
• Pagination: pp 294-310
• Serial:
  • IEEE Open Journal of Intelligent Transportation Systems
  • Volume: 4
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • ISSN: 2687-7813
• Publication flags:

  Open Access (libre)

Subject/Index Terms

• TRT Terms: Automatic train control; Automatic train location; Computer models; Level 3 driving automation; Moving block control; Railroad safety
• Identifier Terms: Global Navigation Satellite System
• Subject Areas: Data and Information Technology; Railroads; Safety and Human Factors; Vehicles and Equipment;

Filing Info

• Accession Number: 01891319
• Record Type: Publication
• Files: TRIS
• Created Date: Aug 28 2023 9:19AM