A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS

  title={A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS},
  author={Roberto Canonico and Stefano Marrone and Roberto Nardone and Valeria Vittorini},
ETCS is an European system for high speed trains control and protection within ERTMS, the European standard for rail traffic management system. ERTMS/ETCS implementations use GSM-R for communications. As GSM-R is becoming obsolete, the adoption of more advanced technologies is investigated for next generation trains. New communication systems for railway infrastructures are expected to overcome the limitations of GSM-R, providing enhanced performance and reliability, as well as safety and… 
2 Citations


It would be appropriate to develop a robust and reliable tool for modelling, formalisation, testing and the validation of critical safety systems in the railway industry according to its particular specifications and functionalities, e.g. for ERTMS L3.

Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset

This paper model the principles of ERTMS Hybrid Level 3 in the \(\mathrm {mCRL2}\) process algebra and perform an analysis with its associated toolset, resulting in suggestions for improvement of the principles that will be taken into account in the next version of the specification.



LTE for Railways: Impact on Performance of ETCS Railway Signaling

The characteristics of the LTE railway radio access network in terms of e NodeB (LTE base station) density and eNodeB transmission power are analyzed and a set of computer-based simulation scenarios is evaluated regarding the achieved transfer delay and data integrity of European Train Control System (ETCS) messages.

Software-Defined mobile backhaul for future Train to ground Communication services

It is discussed how the proposed architecture can efficiently handle mobility management and also provide dynamic quality-of-service (QoS) for different services on board and how it can be positioned in 5G where SDN plays an important role.

Reliability evaluation of 5G C/U-plane decoupled architecture for high-speed railway

Theoretical analysis and simulation results demonstrate that URF can exactly highlight the effects of C-plane on the entire transmission process and it is more appropriate to employ URF as the indicator to evaluate the transmission reliability of C/U-plane decoupled architecture.

Providing current and future cellular services to high speed trains

A comparison between these two opposing approaches to provide wireless access on high speed trains, with simulation results for the two approaches when applying different schemes to supply a wireless connection.

Verifiably-safe software-defined networks for CPS

This work proposes a methodology and accompanying tools for specifying and modeling distributed systems such that existing formal verification techniques can be transparently used to analyze critical requirements and properties prior to system implementation and demonstrates this methodology by iteratively modeling and verifying an Openflow learning switch network.

A novel automated SDN architecture and orchestration framework for resilient large-scale networks

This work introduces a novel SDN management and orchestration framework that implements a resilient Next-Generation Path Computation Element (NG-PCE) to compute and deploy resilient protection paths.

Mininet-WiFi: Emulating software-defined wireless networks

Minet-WiFi is introduced as a tool to emulate wireless OpenFlow/SDN scenarios allowing high-fidelity experiments that replicate real networking environments and elaborate on the potential applications of Mininet-Wifi and discuss the benefits and current limitations.

A Survey on the Path Computation Element (PCE) Architecture

This survey presents the state-of-the-art on the Path Computation Element (PCE) architecture for GMPLS-controlled networks carried out by research and standardization community, in which the PCE is shown to achieve a number of evident benefits.

VeriCon: towards verifying controller programs in software-defined networks

VeriCon is the first system for verifying that an SDN program is correct on all admissible topologies and for all possible (infinite) sequences of network events, and is viewed as a first step en route to practical mechanisms for verifying network-wide invariants of SDN programs.

Formal Modeling and Verification of SDN-OpenFlow

The formal model of SDN-OF is described in detail and its correctness is formalized in logical formulas based on the informal specification and the desired properties are verified over the model using VERSA and UPPAAL.