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)

    Abstract

    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
    PublisherSpringer
    Publication date2011
    Pages176-192
    ISBN (Print)978-3-642-21291-8
    ISBN (Electronic)978-3-642-21292-5
    DOIs
    Publication statusPublished - 2011
    EventMonterey Workshop - Redmond, USA
    Duration: 1 Jan 2010 → …
    Conference number: 16

    Conference

    ConferenceMonterey Workshop
    Number16
    CityRedmond, USA
    Period01/01/2010 → …
    SeriesLecture Notes in Computer Science
    Number6662
    ISSN0302-9743

    Cite this

    Haxthausen, A. E. (2011). Towards a Framework for Modelling and Verification of Relay Interlocking Systems. In Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers (pp. 176-192). Springer. Lecture Notes in Computer Science, No. 6662 https://doi.org/10.1007/978-3-642-21292-5
    Haxthausen, Anne Elisabeth. / Towards a Framework for Modelling and Verification of Relay Interlocking Systems. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers. Springer, 2011. pp. 176-192 (Lecture Notes in Computer Science; No. 6662).
    @inproceedings{1ae7db5df774423da477b407390f1627,
    title = "Towards a Framework for Modelling and Verification of Relay Interlocking Systems",
    abstract = "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.",
    author = "Haxthausen, {Anne Elisabeth}",
    year = "2011",
    doi = "10.1007/978-3-642-21292-5",
    language = "English",
    isbn = "978-3-642-21291-8",
    pages = "176--192",
    booktitle = "Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems",
    publisher = "Springer",

    }

    Haxthausen, AE 2011, Towards a Framework for Modelling and Verification of Relay Interlocking Systems. in Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers. Springer, Lecture Notes in Computer Science, no. 6662, pp. 176-192, Monterey Workshop, Redmond, USA, 01/01/2010. https://doi.org/10.1007/978-3-642-21292-5

    Towards a Framework for Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth.

    Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers. Springer, 2011. p. 176-192 (Lecture Notes in Computer Science; No. 6662).

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

    TY - GEN

    T1 - Towards a Framework for Modelling and Verification of Relay Interlocking Systems

    AU - Haxthausen, Anne Elisabeth

    PY - 2011

    Y1 - 2011

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

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

    U2 - 10.1007/978-3-642-21292-5

    DO - 10.1007/978-3-642-21292-5

    M3 - Article in proceedings

    SN - 978-3-642-21291-8

    SP - 176

    EP - 192

    BT - Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

    PB - Springer

    ER -

    Haxthausen AE. Towards a Framework for Modelling and Verification of Relay Interlocking Systems. In Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers. Springer. 2011. p. 176-192. (Lecture Notes in Computer Science; No. 6662). https://doi.org/10.1007/978-3-642-21292-5