ERTMS Hybrid Level 3 is a recent proposal for a train control system specification that serves to increase the capacity of the railway network by allowing multiple trains with an integrity monitoring system and a GSM-R connection to the trackside on a single section. In this paper we model the principles of ERTMS Hybrid Level 3 in the mCRL2 process algebra and perform an analysis with its associated toolset. Our analysis has resulted in suggestions for improvement of the principles that will be taken into account in the next version of the specification.
|Title of host publication||Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings|
|Editors||Falk Howar, Jiří Barnat|
|Place of Publication||Berlin|
|Number of pages||17|
|Publication status||Published - 1 Jan 2018|
|Event||23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018 - Maynooth, Ireland|
Duration: 3 Sept 2018 → 4 Sept 2018
|Name||Lecture Notes in Computer Science|
|Conference||23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018|
|Period||3/09/18 → 4/09/18|
FingerprintDive into the research topics of 'Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset'. Together they form a unique fingerprint.
FMICS Best Paper award
Luttik, S.P. (Bas) (Recipient) & Willemse, Tim A.C. (Recipient), 4 Sept 2018
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific