Automated Generation of Safety Requirements from Railway Interlocking Tables

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

Standard

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).

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

Harvard

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, pp. 261-275. Lecture Notes in Computer Science, vol. 7610, , 10.1007/978-3-642-34032-1_25

APA

Haxthausen, A. E. (2012). Automated Generation of Safety Requirements from Railway Interlocking Tables. In Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. (pp. 261-275). Springer. (Lecture Notes in Computer Science, Vol. 7610). 10.1007/978-3-642-34032-1_25

CBE

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. pp. 261-275. (Lecture Notes in Computer Science, Vol. 7610). Available from: 10.1007/978-3-642-34032-1_25

MLA

Haxthausen, Anne Elisabeth "Automated Generation of Safety Requirements from Railway Interlocking Tables". Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer. 2012. 261-275. (Lecture Notes in Computer Science, Volume 7610). Available: 10.1007/978-3-642-34032-1_25

Vancouver

Haxthausen AE. Automated Generation of Safety Requirements from Railway Interlocking Tables. In 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). Available from: 10.1007/978-3-642-34032-1_25

Author

Haxthausen, Anne Elisabeth / Automated Generation of Safety Requirements from Railway Interlocking Tables.

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).

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

Bibtex

@inbook{e606858689f2476495c6738b0ca9f636,
title = "Automated Generation of Safety Requirements from Railway Interlocking Tables",
keywords = "Railways, Interlocking systems, Formal methods, Safety, Verification, Model checking, Interlocking tables, Signal control tables",
publisher = "Springer",
author = "Haxthausen, {Anne Elisabeth}",
year = "2012",
doi = "10.1007/978-3-642-34032-1_25",
isbn = "978-3-642-34031-4",
series = "Lecture Notes in Computer Science",
pages = "261-275",
booktitle = "Leveraging Applications of Formal Methods, Verification andValidation",

}

RIS

TY - GEN

T1 - Automated Generation of Safety Requirements from Railway Interlocking Tables

A1 - Haxthausen,Anne Elisabeth

AU - Haxthausen,Anne Elisabeth

PB - Springer

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

SN - 978-3-642-34031-4

BT - Leveraging Applications of Formal Methods, Verification andValidation

T2 - Leveraging Applications of Formal Methods, Verification andValidation

T3 - Lecture Notes in Computer Science

T3 - en_GB

SP - 261

EP - 275

ER -