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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
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)
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
Kolovos, D., Rose, L., Paige, R., Polack, F.: The Epsilon Book (2013)
Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF. Pearson (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
James, P., Moller, F., Nguyen, H.N., Roggenbach, M., Treharne, H., Wang, X. (2016). OnTrack: The Railway Verification Toolset. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science(), vol 9953. Springer, Cham. https://doi.org/10.1007/978-3-319-47169-3_21
Download citation
DOI: https://doi.org/10.1007/978-3-319-47169-3_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47168-6
Online ISBN: 978-3-319-47169-3
eBook Packages: Computer ScienceComputer Science (R0)