Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line

L. Chen, P. James, D. Kirkwood, Hoang Nga Nguyen, G. L. Nicholson, M. Roggenbach

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding

    2 Citations (Scopus)

    Abstract

    The development of railway systems is often supported by a range of tools, each addressing individual, but overlapping concerns such as, e.g., performance or safety analysis. However, it is a challenge for users to organise work-flows; results are often in different, non-aligning data formats; furthermore, tools work on different levels of abstraction from macro to microscopic. Thus, tool integration would be beneficial, and also allow for more playful, experimental prototyping and design. This paper reports on lessons learned from the integration of BRaVE - the Birmingham Railway Virtual Environment - and OnTrack from Swansea University. BRaVE is an easy-to-use railway simulation software for development, modelling and flow analysis. OnTrack allows for the automatic verification of scheme plans against a number of safety properties via different formal methods. We present an approach that bridges the gap that occurs from varying details in data sources through automated transformations. This integration provides a first step towards a seamless environment for prototyping, concept development, and safety analysis under ”one roof”. We demonstrate the usefulness of our approach by giving integrated simulation and verification results for the UK East Coast Main Line. This work is part of the wider RSSB's Future Traffic Regulation Optimisation research programme.
    Original languageEnglish
    Title of host publication2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)
    PublisherIEEE
    Pages347-355
    ISBN (Electronic)978-1-5090-1555-9
    ISBN (Print)978-1-5090-1556-6
    DOIs
    Publication statusPublished - 10 Oct 2016
    Event2016 IEEE International Conference on Intelligent Rail Transportation - Birmingham, United Kingdom
    Duration: 23 Apr 201625 Apr 2016

    Conference

    Conference2016 IEEE International Conference on Intelligent Rail Transportation
    Abbreviated titleICIRT
    CountryUnited Kingdom
    CityBirmingham
    Period23/04/1625/04/16

    Bibliographical note

    The full text is currently unavailable on the repository.

    Keywords

    • Rail transportation
    • Solid modeling
    • Analytical models
    • Data models
    • Computational modeling
    • Vehicles
    • software engineering
    • formal verification
    • railway engineering
    • RSSB future traffic regulation optimisation research programme
    • rail yard designs
    • UK East Coast Main Line
    • railway system development
    • nonaligning data formats
    • tool integration
    • BRaVE
    • Birmingham Railway Virtual Environment
    • Swansea University
    • railway simulation software
    • safety properties

    Fingerprint Dive into the research topics of 'Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line'. Together they form a unique fingerprint.

  • Cite this

    Chen, L., James, P., Kirkwood, D., Nguyen, H. N., Nicholson, G. L., & Roggenbach, M. (2016). Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line. In 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) (pp. 347-355). IEEE. https://doi.org/10.1109/ICIRT.2016.7588753