The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

Maarten Bartholomeus; Bas Luttik; Tim A.C. Willemse; Dominik Hansen; Michael Leuschel; Paul Hendriks

The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

Maarten Bartholomeus, Bas Luttik, Tim A.C. Willemse, Dominik Hansen, Michael Leuschel, Paul Hendriks

Formal System Analysis

Research output: Contribution to journal › Article › Academic › peer-review

1 Downloads (Pure)

Abstract

Software has become an essential component in signalling systems. Writing clear, precise and accurate specifications is of course important for these systems.
Can formal methods help in this process? An interesting case is the recent development of the Hybrid Level 3 for ERTMS/ETCS. This paper addresses the specification and demonstration of ERTMS Hybrid Level 3.

Original language	English
Number of pages	4
Journal	IRSE News
Issue number	260
Publication status	Published - 1 Nov 2019

Cite this

@article{d5f86cd48b764fdab2062738c98065a4,

title = "The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3",

abstract = "Software has become an essential component in signalling systems. Writing clear, precise and accurate specifications is of course important for these systems.Can formal methods help in this process? An interesting case is the recent development of the Hybrid Level 3 for ERTMS/ETCS. This paper addresses the specification and demonstration of ERTMS Hybrid Level 3.",

author = "Maarten Bartholomeus and Bas Luttik and Willemse, {Tim A.C.} and Dominik Hansen and Michael Leuschel and Paul Hendriks",

year = "2019",

month = nov,

day = "1",

language = "English",

journal = "IRSE News",

publisher = "Institution of Railway Signal Engineers (IRSE)",

number = "260",

}

TY - JOUR

T1 - The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

AU - Bartholomeus, Maarten

AU - Luttik, Bas

AU - Willemse, Tim A.C.

AU - Hansen, Dominik

AU - Leuschel, Michael

AU - Hendriks, Paul

PY - 2019/11/1

Y1 - 2019/11/1

N2 - Software has become an essential component in signalling systems. Writing clear, precise and accurate specifications is of course important for these systems.Can formal methods help in this process? An interesting case is the recent development of the Hybrid Level 3 for ERTMS/ETCS. This paper addresses the specification and demonstration of ERTMS Hybrid Level 3.

AB - Software has become an essential component in signalling systems. Writing clear, precise and accurate specifications is of course important for these systems.Can formal methods help in this process? An interesting case is the recent development of the Hybrid Level 3 for ERTMS/ETCS. This paper addresses the specification and demonstration of ERTMS Hybrid Level 3.

M3 - Article

JO - IRSE News

JF - IRSE News

IS - 260

ER -

The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

Abstract

Fingerprint

Cite this