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

Maarten van der Werff, Bernd Elsweiler, Bas Luttik, Paul Hendriks

Research output: Contribution to journalArticleProfessional

Abstract

Like other infrastructure managers (IMs), ProRail BV and DB Netz AG are responsible for the safe and efcient 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.
Original languageEnglish
Pages (from-to)15-17
Number of pages3
JournalIRSE News
Issue number256
Publication statusPublished - Jun 2019

Fingerprint Dive into the research topics of 'The use of formal methods in standardisation of interfaces of signalling systems'. Together they form a unique fingerprint.

  • Cite this

    van der Werff, M., Elsweiler, B., Luttik, B., & Hendriks, P. (2019). The use of formal methods in standardisation of interfaces of signalling systems. IRSE News, (256), 15-17.