nach oben

International Journal on Software Tools for Technology Transfer

Erschienen in:

31.03.2020 | Introduction

Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3

verfasst von: Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl

Erschienen in: International Journal on Software Tools for Technology Transfer | Ausgabe 3/2020

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Nächster Artikel The ABZ-2018 case study with Event-B

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

http://ertms.net.

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

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

Abrial, J.-R.: The ABZ-2018 case study with Event-B. Softw. Tools Technol. Transf. (2020). In this issue

Arcaini, P., Kofron, J., Jezek, P.: Validation of the Hybrid ERTMS/ETCS Level 3 using SPIN. Softw. Tools Technol. Transf. (2020). In this issue

Bartholomeus, M., Luttik, B., Willemse, T., Hansen, D., Leuschel, M., Hendriks, P.: The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3. IRSE News, 260, Nov (2019)

Butler, M.J., Raschke, A., Hoang, T.S., Reichl, K. (eds.): Abstract state machines, alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, 5–8 June 2018, Proceedings. vol. 10817 of Lecture Notes in Computer Science. Springer (2018)

Cunha, A., Macedo, N.: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. Softw. Tools Technol. Transf. (2020). In this issue

Dghaym, D., Dalvandi, M., Poppleton, M., Snook, C.: Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. Softw. Tools Technol. Transf. (2020). In this issue

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

EEIG ERTMS Users Group, Brussels, Belgium. Hybrid ERTMS/ETCS Level 3: Principles, July 2018. Ref. 16E042 Version 1C, http://irse.info/kb5q6

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

10.

Fotso, S.J.T., Frappier, M., Laleau, R., Mammar, A.: Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Softw. Tools Technol. Transf. (2020). In this issue

11.

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

12.

Hansen, D., Leuschel, M., Körner, P., Krings, S., Naulin, T., Nayeri, N., Schneider, D., Skowron, F.: Validation and real-life demonstration of ETCS Hybrid Level 3 Principles using a formal B Model. Softw. Tools Technol. Transf. (2020). In this issue

13.

Mammar, A., Frappier, M., Fotso, S.J.T., Laleau, R.: A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. Softw. Tools Technol. Transf. (2020). In this issue

Titel: Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3
verfasst von: Michael Butler
Thai Son Hoang
Alexander Raschke
Klaus Reichl
Publikationsdatum: 31.03.2020
Verlag: Springer Berlin Heidelberg
Erschienen in: International Journal on Software Tools for Technology Transfer / Ausgabe 3/2020
Print ISSN: 1433-2779
Elektronische ISSN: 1433-2787
DOI: https://doi.org/10.1007/s10009-020-00562-3

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 3/2020

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum

The ABZ-2018 case study with Event-B

A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard

Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B