The use of formal methods in standardisation of interfaces of signalling systems


This article, prepared on behalf of the International Technical Committee by Maarten van der Werff, Bernd Elsweiler, Bas Luttik and Paul Hendriks, completes our hattrick in IRSE News 256.

Like other infrastructure managers (IMs), ProRail BV and DB Netz AG are responsible for the safe and efficient running of trains; their signalling systems play an essential role in this task. That is why they have to convince themselves of the correct level of safety of the technology used. This article describes the cooperation of these two IMs in paving the way towards the application of formal methods that can be used to prove the quality of software applied in signalling. As described later in this article, the scope of the work focuses on the interfaces within the signalling system.

This paper about interlocking interfaces is one of three ITC articles concerning formal methods. The second will address the use of formal methods in the certification process of Hybrid Level 3 ETCS, the third will deal with interlocking applications.

Published by IRSE ITC

The IRSE ITC (Institution of Railway Signal Engineers - International Technical Committee) provides an International and Independent perspective on Railway Control, Command and Signalling (CCS) by a group of widely recognised experts, to both IRSE members and the signalling community worldwide.

%d bloggers like this: