Abstract The European Rail Traffic Management System (ERTMS) is a state-of-the-art train
control system designed as a standard for railways across Europe. It generalises traditional …

We describe a novel framework for modelling railway interlockings which has been
developed in conjunction with railway engineers. The modelling language used is CSP|||| B …

In 2020, the EU launched its sustainable and smart mobility strategy, outlining how it plans
to have a 90% reduction in transport emission by 2050. Central to achieving this goal will be …

Purpose In the process of nowadays efficiency evaluation of any mode of transportation,
sustainability results are the most important factor. In regard to railway sustainability, Train …

Modern system design often requires comparing several models over a large design space.
Different models arise out of a need to weigh different design choices, to check core …

A lot of techniques try to improve the performance of explicit state model checking. Some
techniques, like partial order reduction, are hard to apply effectively to high-level models …

It is well known that formal verification of a large railway signalling system encounters the
state explosion problem. To alleviate the problem, researchers usually concentrate on only …

Development and application of formal languages are a long-standing challenge within the
computer science domain. One particular challenge is the acceptance of industry. This …

OnTrack is a tool that supports workflows for railway verification that has been implemented
using model driven engineering frameworks. Starting with graphical scheme plans and …

The paper presents a tool-supported approach to graphically editing scheme plans and their
safety verification. The graphical tool is based on a Domain Specific Language which is …