Automated Generation of Safety Requirements from Railway Interlocking Tables

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    1 Downloads (Pure)

    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 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
    Publication statusPublished - 2012
    Event5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) - Heraclion, Crete, Greece
    Duration: 15 Oct 201218 Oct 2012
    http://www.cs.uni-potsdam.de/isola/isola2012/

    Conference

    Conference5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)
    CountryGreece
    CityHeraclion, Crete
    Period15/10/201218/10/2012
    Internet address
    SeriesLecture Notes in Computer Science
    Volume7610
    ISSN0302-9743

    Keywords

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

    Cite this