Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

Maarten Bartholomeus, Bas Luttik, Tim Willemse

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
1 Downloads (Pure)

Abstract

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.

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings
EditorsFalk Howar, Jiří Barnat
Place of PublicationBerlin
PublisherSpringer
Pages98-114
Number of pages17
ISBN (Electronic)978-3-030-00244-2
ISBN (Print)978-3-030-00243-5
DOIs
Publication statusPublished - 1 Jan 2018
Event23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018 - Maynooth, Ireland
Duration: 3 Sep 20184 Sep 2018

Publication series

NameLecture Notes in Computer Science
Volume11119
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018
CountryIreland
CityMaynooth
Period3/09/184/09/18

Fingerprint Dive into the research topics of 'Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset'. Together they form a unique fingerprint.

  • Prizes

    Best Paper award

    Luttik, S.P. (Bas) (Recipient) & Willemse, Tim A.C. (Recipient), 4 Sep 2018

    Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

    Cite this

    Bartholomeus, M., Luttik, B., & Willemse, T. (2018). Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset. In F. Howar, & J. Barnat (Eds.), Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings (pp. 98-114). (Lecture Notes in Computer Science; Vol. 11119). Springer. https://doi.org/10.1007/978-3-030-00244-2_7