Comparing formal verification approaches of interlocking systems

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

Documents

DOI

View graph of relations

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. The DTU/Bremen research has been funded by the RobustRailS project granted by Innovation Fund Denmark. The Surrey/Swansea research has been funded by the SafeCap and the DITTO research projects granted by EPSRC and RSSB. The authors would like to thank Linh Hong Vu for providing the benchmark of scheme plans and the drawings of the track plans.
Original languageEnglish
Title of host publicationReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016 Paris, France, June 28–30, 2016 Proceedings
Number of pages18
Volume9707
PublisherSpringer
Publication date2016
Pages160-177
ISBN (print)978-3-319-33950-4
ISBN (electronic)978-3-319-33951-1
DOIs
StatePublished - 2016
EventThe International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification, and Certification (RSSRail 2016) - Paris, France

Conference

ConferenceThe International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification, and Certification (RSSRail 2016)
CountryFrance
CityParis
Period28/06/201630/06/2016
Internet address
SeriesLecture Notes in Computer Science
ISSN0302-9743
CitationsWeb of Science® Times Cited: 0

    Keywords

  • Software Engineering, Logics and Meanings of Programs, Computer Communication Networks, Systems and Data Security, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics)
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 125151502