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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

10 Citations (Scopus)

2 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 language	English
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
Publisher	Springer
Pages	98-114
Number of pages	17
ISBN (Electronic)	978-3-030-00244-2
ISBN (Print)	978-3-030-00243-5
DOIs	https://doi.org/10.1007/978-3-030-00244-2_7
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

Publication series

Name	Lecture Notes in Computer Science
Volume	11119
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018
Country/Territory	Ireland
City	Maynooth
Period	3/09/18 → 4/09/18

Access to Document

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

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

@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 (eds), Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. Lecture Notes in Computer Science, vol. 11119, Springer, Berlin, pp. 98-114, 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, Maynooth, Ireland, 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. ed. / Falk Howar; Jiří Barnat. Berlin: Springer, 2018. p. 98-114 (Lecture Notes in Computer Science; Vol. 11119).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

FMICS Best Paper award

Cite this

Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Prizes

FMICS Best Paper award

Cite this