Advertisement

OnTrack: The Railway Verification Toolset

Extended Abstract
  • Phillip James
  • Faron Moller
  • Hoang Nga Nguyen
  • Markus Roggenbach
  • Helen Treharne
  • Xu Wang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9953)

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.

References

  1. 1.
    Douglas, H., Weston, P., Kirkwood, D., Hillmansen, S., Roberts, C.: Method for validating the train motion equations used for passenger rail vehicle simulation. J. Rail Rapid Transit (2016)Google Scholar
  2. 2.
    James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H.: Techniques for modelling and verifying railway interlockings. STTT 16(6), 685–711 (2014)CrossRefGoogle Scholar
  3. 3.
    James, P., Trumble, M., Treharne, H., Roggenbach, M., Schneider, S.: OnTrack: an open tooling environment for railway verification. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 435–440. Springer, Heidelberg (2013). doi: 10.1007/978-3-642-38088-4_30 CrossRefGoogle Scholar
  4. 4.
    Kolovos, D., Rose, L., Paige, R., Polack, F.: The Epsilon Book (2013)Google Scholar
  5. 5.
    Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF. Pearson (2008)Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Phillip James
    • 1
  • Faron Moller
    • 1
  • Hoang Nga Nguyen
    • 2
  • Markus Roggenbach
    • 1
  • Helen Treharne
    • 3
  • Xu Wang
    • 1
  1. 1.Swansea UniversitySwanseaWales
  2. 2.University of CoventryCoventryEngland
  3. 3.University of SurreyGuildfordEngland

Personalised recommendations