OnTrack: The Railway Verification Toolset

P. James, F. Moller, Hoang Nga Nguyen, M. Roggenbach, H. Treharne, X. Wang

    Research output: Contribution to conferencePaper

    1 Citation (Scopus)

    Abstract

    The verification of railway interlocking systems is a challenging task for which a number of different modelling, simulation and verification approaches have been proposed. In this paper, we present the OnTrack toolset. In OnTrack, application data for the railway domain is represented using a domain specific language. This data can be entered manually or imported from standard data formats. OnTrack then comprises of a number of different model transformations that allow the user to automatically generate formal models for a specific approach, e.g., in CASL, CSP, or CSP||B. Other transformations offer abstractions on the application data to address scalability.
    Original languageEnglish
    Pages294-296
    DOIs
    Publication statusPublished - 5 Oct 2016
    Event7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Corfu, Greece
    Duration: 10 Oct 201614 Oct 2016

    Conference

    Conference7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
    Abbreviated titleISoLA 2016
    CountryGreece
    CityCorfu
    Period10/10/1614/10/16

    Bibliographical note

    The full text is not available on the repository

    Fingerprint Dive into the research topics of 'OnTrack: The Railway Verification Toolset'. Together they form a unique fingerprint.

  • Cite this

    James, P., Moller, F., Nguyen, H. N., Roggenbach, M., Treharne, H., & Wang, X. (2016). OnTrack: The Railway Verification Toolset. 294-296. Paper presented at 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece. https://doi.org/10.1007/978-3-319-47169-3_21