Title | ||
---|---|---|
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 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. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1007/s10009-020-00562-3 | International Journal on Software Tools for Technology Transfer |
DocType | Volume | Issue |
Journal | 22 | 3 |
ISSN | Citations | PageRank |
1433-2779 | 1 | 0.35 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Butler | 1 | 1768 | 104.74 |
Thai Son Hoang | 2 | 461 | 35.14 |
Alexander Raschke | 3 | 12 | 6.72 |
Klaus Reichl | 4 | 1 | 0.35 |