Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

Maarten Bartholomeus, Bas Luttik, Tim Willemse

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

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.

Originele taal-2Engels
TitelFormal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings
RedacteurenFalk Howar, Jiří Barnat
Plaats van productieBerlin
UitgeverijSpringer
Pagina's98-114
Aantal pagina's17
ISBN van elektronische versie978-3-030-00244-2
ISBN van geprinte versie978-3-030-00243-5
DOI's
StatusGepubliceerd - 1 jan 2018
Evenement23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018 - Maynooth, Ierland
Duur: 3 sep 20184 sep 2018

Publicatie series

NaamLecture Notes in Computer Science
Volume11119
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018
LandIerland
StadMaynooth
Periode3/09/184/09/18

Vingerafdruk Duik in de onderzoeksthema's van 'Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset'. Samen vormen ze een unieke vingerafdruk.

  • Prijzen

    Best Paper award

    Luttik, S.P. (Bas) (Ontvanger) & Willemse, Tim A.C. (Ontvanger), 4 sep 2018

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

    Citeer dit

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