Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3
| Autor: | Alexander Raschke, Michael Butler, Klaus Reichl, Thai Son Hoang |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Computer science
Level of detail (writing) 020207 software engineering 02 engineering and technology Formal methods Interoperation Theory of computation 0202 electrical engineering electronic engineering information engineering Systems engineering Special section Train European rail traffic management system Software Information Systems |
| Zdroj: | International Journal on Software Tools for Technology Transfer. 22:249-255 |
| ISSN: | 1433-2787 1433-2779 |
| DOI: | 10.1007/s10009-020-00562-3 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink