Comparing Formal Verification Approaches of Interlocking Systems

A. E. Haxthausen; Hoang Nga Nguyen; M. Roggenbach

doi:10.1007/978-3-319-33951-1_12

Comparing Formal Verification Approaches of Interlocking Systems

A. E. Haxthausen, Hoang Nga Nguyen, M. Roggenbach

Research output: Chapter in Book/Report/Conference proceeding › Chapter

11 Citations (Scopus)

Abstract

The verification of railway interlocking systems is a challenging task, and therefore several research groups have suggested to improve this task by using formal methods, but they use different modelling and verification approaches. To advance this research, there is a need to compare these approaches. As a first step towards this, in this paper we suggest a way to compare different formal approaches for verifying designs of route-based interlocking systems and we demonstrate it on modelling and verification approaches developed within the research groups at DTU/Bremen and at Surrey/Swansea. The focus is on designs that are specified by so-called control tables. The paper can serve as a starting point for further comparative studies.

Original language	English
Title of host publication	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Editors	Thierry Lecomte, Ralf Pinger, Alexander Romanovsky
Place of Publication	Switzerland
Publisher	Springer Verlag
Pages	160-177
Volume	9707
ISBN (Print)	978-3-319-33951-1, 978-3-319-33950-4
DOIs	https://doi.org/10.1007/978-3-319-33951-1_12
Publication status	Published - 15 Jun 2016

Bibliographical note

The full text is not available on the repository.

Access to Document

10.1007/978-3-319-33951-1_12

Cite this

Comparing Formal Verification Approaches of Interlocking Systems. / Haxthausen, A. E.; Nguyen, Hoang Nga; Roggenbach, M.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. ed. / Thierry Lecomte; Ralf Pinger; Alexander Romanovsky. Vol. 9707 Switzerland: Springer Verlag, 2016. p. 160-177.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

@inbook{06bfd87ae45c47b3b4e79ce49ff14374,

title = "Comparing Formal Verification Approaches of Interlocking Systems",

abstract = "The verification of railway interlocking systems is a challenging task, and therefore several research groups have suggested to improve this task by using formal methods, but they use different modelling and verification approaches. To advance this research, there is a need to compare these approaches. As a first step towards this, in this paper we suggest a way to compare different formal approaches for verifying designs of route-based interlocking systems and we demonstrate it on modelling and verification approaches developed within the research groups at DTU/Bremen and at Surrey/Swansea. The focus is on designs that are specified by so-called control tables. The paper can serve as a starting point for further comparative studies.",

author = "Haxthausen, {A. E.} and Nguyen, {Hoang Nga} and M. Roggenbach",

note = "The full text is not available on the repository.",

year = "2016",

month = jun,

day = "15",

doi = "10.1007/978-3-319-33951-1_12",

language = "English",

isbn = "978-3-319-33951-1",

volume = "9707",

pages = "160--177",

editor = "Thierry Lecomte and Ralf Pinger and Alexander Romanovsky",

booktitle = "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification",

publisher = "Springer Verlag",

address = "Austria",

}

TY - CHAP

T1 - Comparing Formal Verification Approaches of Interlocking Systems

AU - Haxthausen, A. E.

AU - Nguyen, Hoang Nga

AU - Roggenbach, M.

N1 - The full text is not available on the repository.

PY - 2016/6/15

Y1 - 2016/6/15

N2 - The verification of railway interlocking systems is a challenging task, and therefore several research groups have suggested to improve this task by using formal methods, but they use different modelling and verification approaches. To advance this research, there is a need to compare these approaches. As a first step towards this, in this paper we suggest a way to compare different formal approaches for verifying designs of route-based interlocking systems and we demonstrate it on modelling and verification approaches developed within the research groups at DTU/Bremen and at Surrey/Swansea. The focus is on designs that are specified by so-called control tables. The paper can serve as a starting point for further comparative studies.

AB - The verification of railway interlocking systems is a challenging task, and therefore several research groups have suggested to improve this task by using formal methods, but they use different modelling and verification approaches. To advance this research, there is a need to compare these approaches. As a first step towards this, in this paper we suggest a way to compare different formal approaches for verifying designs of route-based interlocking systems and we demonstrate it on modelling and verification approaches developed within the research groups at DTU/Bremen and at Surrey/Swansea. The focus is on designs that are specified by so-called control tables. The paper can serve as a starting point for further comparative studies.

U2 - 10.1007/978-3-319-33951-1_12

DO - 10.1007/978-3-319-33951-1_12

M3 - Chapter

SN - 978-3-319-33951-1

SN - 978-3-319-33950-4

VL - 9707

SP - 160

EP - 177

BT - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

A2 - Lecomte, Thierry

A2 - Pinger, Ralf

A2 - Romanovsky, Alexander

PB - Springer Verlag

CY - Switzerland

ER -

Comparing Formal Verification Approaches of Interlocking Systems

Abstract

Bibliographical note

Access to Document

Fingerprint

Cite this