Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

Maarten Bartholomeus; Bas Luttik; Tim Willemse

doi:10.1007/978-3-030-00244-2_7

Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

Maarten Bartholomeus, Bas Luttik, Tim Willemse

Formal System Analysis

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

10 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-2	Engels
Titel	Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings
Redacteuren	Falk Howar, Jiří Barnat
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	98-114
Aantal pagina's	17
ISBN van elektronische versie	978-3-030-00244-2
ISBN van geprinte versie	978-3-030-00243-5
DOI's	https://doi.org/10.1007/978-3-030-00244-2_7
Status	Gepubliceerd - 1 jan. 2018
Evenement	23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018 - Maynooth, Ierland Duur: 3 sep. 2018 → 4 sep. 2018

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	11119
ISSN van geprinte versie	0302-9743
ISSN van elektronische versie	1611-3349

Congres

Congres	23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018
Land/Regio	Ierland
Stad	Maynooth
Periode	3/09/18 → 4/09/18

Toegang tot document

10.1007/978-3-030-00244-2_7

Andere bestanden en links

Link to publication in Scopus

FMICS Best Paper award
Luttik, S.P. (Bas) (Ontvanger) & Willemse, Tim A.C. (Ontvanger), 4 sep. 2018
Prijs: Anders › Werk, 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

@inproceedings{c685dec76de4448d97338d3dcaabc7a2,

title = "Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset",

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.",

author = "Maarten Bartholomeus and Bas Luttik and Tim Willemse",

year = "2018",

month = jan,

day = "1",

doi = "10.1007/978-3-030-00244-2_7",

language = "English",

isbn = "978-3-030-00243-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "98--114",

editor = "Falk Howar and Ji{\v r}{\'i} Barnat",

booktitle = "Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings",

address = "Germany",

note = "23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018 ; Conference date: 03-09-2018 Through 04-09-2018",

}

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

Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset. / Bartholomeus, Maarten; Luttik, Bas ; Willemse, Tim.
Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. redactie / Falk Howar; Jiří Barnat. Berlin: Springer, 2018. blz. 98-114 (Lecture Notes in Computer Science; Vol. 11119).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

AU - Bartholomeus, Maarten

AU - Luttik, Bas

AU - Willemse, Tim

PY - 2018/1/1

Y1 - 2018/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85053600734&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-00244-2_7

DO - 10.1007/978-3-030-00244-2_7

M3 - Conference contribution

AN - SCOPUS:85053600734

SN - 978-3-030-00243-5

T3 - Lecture Notes in Computer Science

SP - 98

EP - 114

BT - Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings

A2 - Howar, Falk

A2 - Barnat, Jiří

PB - Springer

CY - Berlin

T2 - 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018

Y2 - 3 September 2018 through 4 September 2018

ER -

Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

Samenvatting

Publicatie series

Congres

Toegang tot document

Andere bestanden en links

Vingerafdruk

Prijzen

FMICS Best Paper award

Citeer dit