The hybrid ERTMS/ETCS level 3 case study

Hoang, Thai Son, Butler, Michael and Reichl, Klaus (2018) The hybrid ERTMS/ETCS level 3 case study. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings. vol. 10817 LNCS, Springer. pp. 251-261 . (doi:10.1007/978-3-319-91271-4_17).

Record type: Conference or Workshop Item (Paper)

Abstract

This document presents a description of the European Rail Traffic Management System (ERTMS) case study. ERTMS is a system of standards for management and interoperation of signalling for railways by the European Union (EU). The case study focuses on the ERTMS Level 3 Hybrid principle, which accommodates different types of trains including ERTMS trains equiped with the Train Integrity Monitoring System (TIMS), ERTMS trains without TIMS, and non-ERTMS trains.

Text

The hybrid ERTMS/ETCS level 3 case study - Accepted Manuscript

Available under License University of Southampton Accepted Manuscript Licence.

Download (273kB)

More information

Accepted/In Press date: 3 April 2018

e-pub ahead of print date: 8 May 2018

Published date: 8 June 2018

Venue - Dates: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018, , Southampton, United Kingdom, 2018-06-05 - 2018-06-08

Keywords: ERTMS, ETCS, Level 3 Hybrid

Learn more about Cyber Physical Systems research