Supporting Railway Innovations with Formal Modelling and Verification

Bas Luttik

doi:10.1007/978-3-031-15008-1_2

Supporting Railway Innovations with Formal Modelling and Verification

Bas Luttik

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

4 Downloads (Pure)

Samenvatting

It is a continuing challenge for European railway infrastructure managers to increase the capacity of the dense European railway network and to achieve cost reductions at the same time. Innovations developed to that effect rely heavily on digital technology. To cope with the ensued complexity, railway infrastructure managers are starting to appreciate more and more the use of formal modelling and verification techniques to support the development of these digital innovations. In my presentation I will discuss our contributions to two ongoing innovations in the railway domain: EULYNX and ERTMS/ETCS Hybrid Level 3.

Originele taal-2	Engels
Titel	Formal Methods for Industrial Critical Systems
Subtitel	27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
Redacteuren	Jan Friso Groote, Marieke Huisman
Plaats van productie	Cham
Uitgeverij	Springer
Pagina's	8-11
Aantal pagina's	4
ISBN van elektronische versie	978-3-031-15008-1
ISBN van geprinte versie	978-3-031-15007-4
DOI's	https://doi.org/10.1007/978-3-031-15008-1_2
Status	Gepubliceerd - 5 sep. 2022
Evenement	27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022 - Warsaw, Polen Duur: 14 sep. 2022 → 15 sep. 2022

Publicatie series

Naam	Lecture Notes in Computer Science (LNCS)
Volume	13487
ISSN van geprinte versie	0302-9743
ISSN van elektronische versie	1611-3349

Congres

Congres	27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022
Land/Regio	Polen
Stad	Warsaw
Periode	14/09/22 → 15/09/22

Bibliografische nota

Funding Information:
Acknowledgements. The contributions to EULYNX have been made in collaboration with Mark Bouwman from Eindhoven University of Technology and Arend Rensink, Mariëlle Stoelinga and Djurre van der Wal from the University of Twente; the research was funded by ProRail and DB Netz. The contributions to ERTMS/ETCS Hybrid Level 3 have been made in collaboration with Maarten Bartholomeus from ProRail and Rick Erkens and Tim Willemse from Eindhoven University of Technology; the research was partially funded by ProRail. The vision presented here does not necessarily reflect the strategy of DB Netz or ProRail.

Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Financiering

Acknowledgements. The contributions to EULYNX have been made in collaboration with Mark Bouwman from Eindhoven University of Technology and Arend Rensink, Mariëlle Stoelinga and Djurre van der Wal from the University of Twente; the research was funded by ProRail and DB Netz. The contributions to ERTMS/ETCS Hybrid Level 3 have been made in collaboration with Maarten Bartholomeus from ProRail and Rick Erkens and Tim Willemse from Eindhoven University of Technology; the research was partially funded by ProRail. The vision presented here does not necessarily reflect the strategy of DB Netz or ProRail.

Toegang tot document

10.1007/978-3-031-15008-1_2

pdfDefinitieve gepubliceerde versie, 133 KBLicentie: TAVERNE

Andere bestanden en links

Link naar publicatie in Scopus

Citeer dit

Luttik, B. (2022). Supporting Railway Innovations with Formal Modelling and Verification. In J. F. Groote, & M. Huisman (editors), Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (blz. 8-11). (Lecture Notes in Computer Science (LNCS); Vol. 13487). Springer. https://doi.org/10.1007/978-3-031-15008-1_2

@inproceedings{86f3ccfbdc404e08960eb3c5b0e902cb,

title = "Supporting Railway Innovations with Formal Modelling and Verification",

abstract = "It is a continuing challenge for European railway infrastructure managers to increase the capacity of the dense European railway network and to achieve cost reductions at the same time. Innovations developed to that effect rely heavily on digital technology. To cope with the ensued complexity, railway infrastructure managers are starting to appreciate more and more the use of formal modelling and verification techniques to support the development of these digital innovations. In my presentation I will discuss our contributions to two ongoing innovations in the railway domain: EULYNX and ERTMS/ETCS Hybrid Level 3.",

author = "Bas Luttik",

note = "Funding Information: Acknowledgements. The contributions to EULYNX have been made in collaboration with Mark Bouwman from Eindhoven University of Technology and Arend Rensink, Mari{\"e}lle Stoelinga and Djurre van der Wal from the University of Twente; the research was funded by ProRail and DB Netz. The contributions to ERTMS/ETCS Hybrid Level 3 have been made in collaboration with Maarten Bartholomeus from ProRail and Rick Erkens and Tim Willemse from Eindhoven University of Technology; the research was partially funded by ProRail. The vision presented here does not necessarily reflect the strategy of DB Netz or ProRail. Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022 ; Conference date: 14-09-2022 Through 15-09-2022",

year = "2022",

month = sep,

day = "5",

doi = "10.1007/978-3-031-15008-1\_2",

language = "English",

isbn = "978-3-031-15007-4",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "8--11",

editor = "Groote, \{Jan Friso\} and Marieke Huisman",

booktitle = "Formal Methods for Industrial Critical Systems",

address = "Germany",

}

Luttik, B 2022, Supporting Railway Innovations with Formal Modelling and Verification. in JF Groote & M Huisman (reds.), Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13487, Springer, Cham, blz. 8-11, 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, Warsaw, Polen, 14/09/22. https://doi.org/10.1007/978-3-031-15008-1_2

Supporting Railway Innovations with Formal Modelling and Verification. / Luttik, Bas.
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. reds. / Jan Friso Groote; Marieke Huisman. Cham: Springer, 2022. blz. 8-11 (Lecture Notes in Computer Science (LNCS); Vol. 13487).

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

TY - GEN

T1 - Supporting Railway Innovations with Formal Modelling and Verification

AU - Luttik, Bas

N1 - Funding Information: Acknowledgements. The contributions to EULYNX have been made in collaboration with Mark Bouwman from Eindhoven University of Technology and Arend Rensink, Mariëlle Stoelinga and Djurre van der Wal from the University of Twente; the research was funded by ProRail and DB Netz. The contributions to ERTMS/ETCS Hybrid Level 3 have been made in collaboration with Maarten Bartholomeus from ProRail and Rick Erkens and Tim Willemse from Eindhoven University of Technology; the research was partially funded by ProRail. The vision presented here does not necessarily reflect the strategy of DB Netz or ProRail. Publisher Copyright: © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

PY - 2022/9/5

Y1 - 2022/9/5

N2 - It is a continuing challenge for European railway infrastructure managers to increase the capacity of the dense European railway network and to achieve cost reductions at the same time. Innovations developed to that effect rely heavily on digital technology. To cope with the ensued complexity, railway infrastructure managers are starting to appreciate more and more the use of formal modelling and verification techniques to support the development of these digital innovations. In my presentation I will discuss our contributions to two ongoing innovations in the railway domain: EULYNX and ERTMS/ETCS Hybrid Level 3.

AB - It is a continuing challenge for European railway infrastructure managers to increase the capacity of the dense European railway network and to achieve cost reductions at the same time. Innovations developed to that effect rely heavily on digital technology. To cope with the ensued complexity, railway infrastructure managers are starting to appreciate more and more the use of formal modelling and verification techniques to support the development of these digital innovations. In my presentation I will discuss our contributions to two ongoing innovations in the railway domain: EULYNX and ERTMS/ETCS Hybrid Level 3.

UR - https://www.scopus.com/pages/publications/85138003895

U2 - 10.1007/978-3-031-15008-1_2

DO - 10.1007/978-3-031-15008-1_2

M3 - Conference contribution

AN - SCOPUS:85138003895

SN - 978-3-031-15007-4

T3 - Lecture Notes in Computer Science (LNCS)

SP - 8

EP - 11

BT - Formal Methods for Industrial Critical Systems

A2 - Groote, Jan Friso

A2 - Huisman, Marieke

PB - Springer

CY - Cham

T2 - 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022

Y2 - 14 September 2022 through 15 September 2022

ER -

Luttik B. Supporting Railway Innovations with Formal Modelling and Verification. In Groote JF, Huisman M, redacteurs, Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Cham: Springer. 2022. blz. 8-11. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/978-3-031-15008-1_2