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.
|Publication status||Published - 5 Oct 2016|
|Event||7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Corfu, Greece|
Duration: 10 Oct 2016 → 14 Oct 2016
|Conference||7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation|
|Abbreviated title||ISoLA 2016|
|Period||10/10/16 → 14/10/16|