Towards a Framework for Modelling and Verification of Relay Interlocking Systems

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

    1 Downloads (Pure)


    This paper describes a framework currently under development for modelling, simulation, and verification of relay interlocking systems as used by the Danish railways. The framework is centred around a domain-specific language (DSL) for describing such systems, and provides (1) a graphical editor for creating DSL descriptions, (2) a data validator for checking that DSL descriptions follow the structural rules of the domain, (3) a graphical simulator for simulating the dynamic behaviour of relay interlocking systems, and (4) verification support for deriving and verifying safety properties of relay interlocking systems.
    Original languageEnglish
    Title of host publicationFoundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems : 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers
    Publication date2011
    ISBN (Print)978-3-642-21291-8
    ISBN (Electronic)978-3-642-21292-5
    Publication statusPublished - 2011
    EventMonterey Workshop - Redmond, USA
    Duration: 1 Jan 2010 → …
    Conference number: 16


    ConferenceMonterey Workshop
    CityRedmond, USA
    Period01/01/2010 → …
    SeriesLecture Notes in Computer Science


    Dive into the research topics of 'Towards a Framework for Modelling and Verification of Relay Interlocking Systems'. Together they form a unique fingerprint.

    Cite this