The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

Maarten Bartholomeus, Bas Luttik, Tim A.C. Willemse, Dominik Hansen, Michael Leuschel, Paul Hendriks

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

Abstract

Software has become an essential component in signalling systems. Writing clear, precise and accurate specifications is of course important for these systems.
Can formal methods help in this process? An interesting case is the recent development of the Hybrid Level 3 for ERTMS/ETCS. This paper addresses the specification and demonstration of ERTMS Hybrid Level 3.
Original languageEnglish
Number of pages4
JournalIRSE News
Issue number260
Publication statusPublished - 1 Nov 2019

Fingerprint Dive into the research topics of 'The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3'. Together they form a unique fingerprint.

  • Cite this