The Hybrid ERTMS/ETCS Level 3 Case Study

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.

Document

Reference

% BibTex
@InProceedings{10.1007/978-3-319-91271-4_17,
author="Hoang, Thai Son
and Butler, Michael
and Reichl, Klaus",
editor="Butler, Michael
and Raschke, Alexander
and Hoang, Thai Son
and Reichl, Klaus",
title="The Hybrid ERTMS/ETCS Level 3 Case Study",
booktitle="Abstract State Machines, Alloy, B, TLA, VDM, and Z",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="251--261",
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.",
isbn="978-3-319-91271-4"
}