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 anContinue reading “The use of formal methods in standardisation of interfaces of signalling systems”