OnTrack automates workflows for railway verification, starting with graphical scheme plans and finishing with automatically generated formal models set up for verification. OnTrack is grounded on an established domain specification language (DSL) and is generic in the formal specification language used. Using a DSL allows the formulation of abstractions that work for verification in several formal specification languages. Here, we demonstrate the workflow using CSP||B and suggest how to extend the tool with further formal specification languages. © 2013 Springer-Verlag.
CITATION STYLE
James, P., Trumble, M., Treharne, H., Roggenbach, M., & Schneider, S. (2013). OnTrack: An open tooling environment for railway verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7871 LNCS, pp. 435–440). https://doi.org/10.1007/978-3-642-38088-4_30
Mendeley helps you to discover research relevant for your work.