Automated Generation of Safety Requirements from Railway Interlocking Tables

Anne Elisabeth Haxthausen

doi:10.1007/978-3-642-34032-1_25

Automated Generation of Safety Requirements from Railway Interlocking Tables

Anne Elisabeth Haxthausen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

1 Downloads (Orbit)

Abstract

This paper describes a tool for extracting formal safety conditions from interlocking tables for railway interlocking systems. The tool has been applied to generate safety conditions for the interlocking system at Stenstrup station in Denmark, and the generated conditions were then checked to hold by the SAL model checker tool.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification andValidation : Applications and Case Studies, Part II
Publisher	Springer
Publication date	2012
Pages	261-275
ISBN (Print)	978-3-642-34031-4
ISBN (Electronic)	978-3-642-34032-1
DOIs	https://doi.org/10.1007/978-3-642-34032-1_25
Publication status	Published - 2012
Event	5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) - Heraclion, Crete, Greece Duration: 15 Oct 2012 → 18 Oct 2012 http://www.cs.uni-potsdam.de/isola/isola2012/

Conference

Conference	5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)
Country/Territory	Greece
City	Heraclion, Crete
Period	15/10/2012 → 18/10/2012
Internet address	http://www.cs.uni-potsdam.de/isola/isola2012/

Series	Lecture Notes in Computer Science
Volume	7610
ISSN	0302-9743

Keywords

Railways
Interlocking systems
Formal methods
Safety
Verification
Model checking
Interlocking tables
Signal control tables

Access to Document

10.1007/978-3-642-34032-1_25

OpenUrl availability

Full text

Cite this

@inproceedings{e606858689f2476495c6738b0ca9f636,

title = "Automated Generation of Safety Requirements from Railway Interlocking Tables",

abstract = "This paper describes a tool for extracting formal safety conditions from interlocking tables for railway interlocking systems. The tool has been applied to generate safety conditions for the interlocking system at Stenstrup station in Denmark, and the generated conditions were then checked to hold by the SAL model checker tool.",

keywords = "Railways, Interlocking systems, Formal methods, Safety, Verification, Model checking, Interlocking tables, Signal control tables",

author = "Haxthausen, \{Anne Elisabeth\}",

year = "2012",

doi = "10.1007/978-3-642-34032-1\_25",

language = "English",

isbn = "978-3-642-34031-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "261--275",

booktitle = "Leveraging Applications of Formal Methods, Verification andValidation",

note = "5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) ; Conference date: 15-10-2012 Through 18-10-2012",

url = "http://www.cs.uni-potsdam.de/isola/isola2012/",

}

Haxthausen, AE 2012, Automated Generation of Safety Requirements from Railway Interlocking Tables. in Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, Lecture Notes in Computer Science, vol. 7610, pp. 261-275, 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Heraclion, Crete, Greece, 15/10/2012. https://doi.org/10.1007/978-3-642-34032-1_25

Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.
Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Automated Generation of Safety Requirements from Railway Interlocking Tables

AU - Haxthausen, Anne Elisabeth

PY - 2012

Y1 - 2012

N2 - This paper describes a tool for extracting formal safety conditions from interlocking tables for railway interlocking systems. The tool has been applied to generate safety conditions for the interlocking system at Stenstrup station in Denmark, and the generated conditions were then checked to hold by the SAL model checker tool.

AB - This paper describes a tool for extracting formal safety conditions from interlocking tables for railway interlocking systems. The tool has been applied to generate safety conditions for the interlocking system at Stenstrup station in Denmark, and the generated conditions were then checked to hold by the SAL model checker tool.

KW - Railways

KW - Interlocking systems

KW - Formal methods

KW - Safety

KW - Verification

KW - Model checking

KW - Interlocking tables

KW - Signal control tables

U2 - 10.1007/978-3-642-34032-1_25

DO - 10.1007/978-3-642-34032-1_25

M3 - Article in proceedings

SN - 978-3-642-34031-4

T3 - Lecture Notes in Computer Science

SP - 261

EP - 275

BT - Leveraging Applications of Formal Methods, Verification andValidation

PB - Springer

T2 - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)

Y2 - 15 October 2012 through 18 October 2012

ER -

Automated Generation of Safety Requirements from Railway Interlocking Tables

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this