Skip to main content
SpringerLink
Log in

The Hybrid ERTMS/ETCS Level 3 Case Study

  • Conference paper
  • First Online:
Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10817))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://ertms.net.

  2. 2.

    http://en.wikipedia.org/wiki/European_Rail_Traffic_Management_System.

  3. 3.

    http://ec.europa.eu/transport/modes/rail/ertms/what-is-ertms/levels_and_modes_en.

  4. 4.

    Train integrity means the train is complete and has not been accidentally split.

References

  1. EEIG ERTMS Users Group, Brussels, Belgium. Hybrid ERTMS/ETCS Level 3: Principles, July 2017. Ref. 16E042 Version 1A

    Google Scholar 

  2. ERA, UNISIG, EEIG ERTMS Users Group. Glossary of Terms and Abbreviations: ERTMS/ETCS, 3.3.0 edition, May 2016. http://www.era.europa.eu/Document-Register/Documents/SUBSET-023%20v330.pdf

  3. Furness, N., van Houten, H., Arenas, L., Bartholomeus, M.: ERTMS level 3: the game-changer. IRSE News View 232, April 2017

    Google Scholar 

Download references

Acknowledgements

The organisers would like to thank the EEIG ERTMS Users Group (EUG) for the Principles on “Hybrid ERTMS/ETCS Level 3” document [1] released on 14/07/2017.

Author information

Authors and Affiliations

  1. ECS, University of Southampton, Southampton, UK

    Thai Son Hoang & Michael Butler

  2. Thales Austria GmbH, Vienna, Austria

    Klaus Reichl

Authors
  1. Thai Son Hoang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Butler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Klaus Reichl
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michael Butler .

Editor information

Editors and Affiliations

  1. University of Southampton, Southampton, United Kingdom

    Michael Butler

  2. Universität Ulm, Ulm, Germany

    Alexander Raschke

  3. University of Southampton, Southampton, United Kingdom

    Thai Son Hoang

  4. Thales Austria GmbH, Vienna, Austria

    Klaus Reichl

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hoang, T.S., Butler, M., Reichl, K. (2018). The Hybrid ERTMS/ETCS Level 3 Case Study. In: Butler, M., Raschke, A., Hoang, T., Reichl, K. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018. Lecture Notes in Computer Science(), vol 10817. Springer, Cham. https://doi.org/10.1007/978-3-319-91271-4_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91271-4_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91270-7

  • Online ISBN: 978-3-319-91271-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation