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

@inproceedings{Canonico2017AFT,
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},
year={2017}
}
• Published in RSSRail 14 November 2017
• Computer Science
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

### TOWARDS MOBILE AND INTELLIGENT RAILWAY TRANSPORT: A REVIEW OF RECENT ERTMS RELATED RESEARCH

• 2020
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

• Computer Science
FMICS
• 2018
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.

## References

SHOWING 1-10 OF 24 REFERENCES

### LTE for Railways: Impact on Performance of ETCS Railway Signaling

• Computer Science
IEEE Vehicular Technology Magazine
• 2014
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

• Computer Science
2016 9th IFIP Wireless and Mobile Networking Conference (WMNC)
• 2016
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

EURASIP J. Wirel. Commun. Netw.
• 2014
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

IEEE Communications Magazine
• 2015
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

• Computer Science
HiCoNS '13
• 2013
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

• Computer Science
SoutheastCon 2017
• 2017
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

• Computer Science
2015 11th International Conference on Network and Service Management (CNSM)
• 2015
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

IEEE Communications Surveys & Tutorials
• 2013
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

• Computer Science
PLDI 2014
• 2014
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

• Computer Science
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation
• 2013
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.