Automated Generation of Safety Requirements from Railway Interlocking Tables

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

View graph of relations

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 languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification andValidation : Applications and Case Studies, Part II
PublisherSpringer
Publication date2012
Pages261-275
ISBN (print)978-3-642-34031-4
ISBN (electronic)978-3-642-34032-1
DOIs
StatePublished

Conference

Conference5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)
CountryGreece
CityHeraclion, Crete
Period15/10/1218/10/12
Internet addresshttp://www.cs.uni-potsdam.de/isola/isola2012/
NameLecture Notes in Computer Science
Volume7610
ISSN (Print)0302-9743
CitationsWeb of Science® Times Cited: No match on DOI

Keywords

  • Railways, Interlocking systems, Formal methods, Safety, Verification, Model checking, Interlocking tables, Signal control tables
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 12619056