Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3
This paper introduces the topic of the Special Section on the ERTMS Level 3 Hybrid case study. The European Rail Traffic Management System (ERTMS) is a system of standards for management and interoperation of signalling for railways. The case study focuses on the ERTMS Level 3 Hybrid principles, which accommodates different types of trains, including trains equipped for ERTMS and non-ERTMS trains. The Special Section contains seven contributed articles describing the application of a formal method to the case study and these contributions are outlined. A overview of the assumptions and requirements of the case study are presented at a level of detail sufficient for the reader to follow the contributed articles.
249-255
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Raschke, Alexander
2d2e5b60-107f-4cbe-a870-f87675c09f77
Reichl, Klaus
51d614c8-72dc-4722-8c4a-bbcb26ce7897
1 June 2020
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Raschke, Alexander
2d2e5b60-107f-4cbe-a870-f87675c09f77
Reichl, Klaus
51d614c8-72dc-4722-8c4a-bbcb26ce7897
Butler, Michael, Hoang, Thai Son, Raschke, Alexander and Reichl, Klaus
(2020)
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.
International Journal on Software Tools for Technology Transfer, 22 (3), .
(doi:10.1007/s10009-020-00562-3).
Abstract
This paper introduces the topic of the Special Section on the ERTMS Level 3 Hybrid case study. The European Rail Traffic Management System (ERTMS) is a system of standards for management and interoperation of signalling for railways. The case study focuses on the ERTMS Level 3 Hybrid principles, which accommodates different types of trains, including trains equipped for ERTMS and non-ERTMS trains. The Special Section contains seven contributed articles describing the application of a formal method to the case study and these contributions are outlined. A overview of the assumptions and requirements of the case study are presented at a level of detail sufficient for the reader to follow the contributed articles.
This record has no associated files available for download.
More information
e-pub ahead of print date: 31 March 2020
Published date: 1 June 2020
Additional Information:
Publisher Copyright:
© 2020, Springer-Verlag GmbH Germany, part of Springer Nature.
Identifiers
Local EPrints ID: 439608
URI: http://eprints.soton.ac.uk/id/eprint/439608
ISSN: 1433-2779
PURE UUID: 52e73ef4-5650-4fee-a96a-bea25920151a
Catalogue record
Date deposited: 28 Apr 2020 16:30
Last modified: 17 Mar 2024 03:39
Export record
Altmetrics
Contributors
Author:
Michael Butler
Author:
Thai Son Hoang
Author:
Alexander Raschke
Author:
Klaus Reichl
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics