To improve the design, Verification and Validation phases of Power Supply Equipment of the
Electric Lines control systems at French Railway Company (SNCF for Société nationale des …

Model checking techniques have often been applied to the verification of railway interlocking
systems, responsible for guiding trains safely through a given railway network. However …

In this article, we present a method and an associated toolchain for the formal verification of
the new Danish railway interlocking systems that are compatible with the European Train …

The use of global navigation satellite systems (GNSS) will provide significant advantages for
ensuring the control of train movements on railway networks equipped with European Rail …

The research project KI-LOK aims to develop a certification methodology for incorporating AI
components into rail vehicles. In this work, we study how to safely incorporate an AI for …

Formal verification of safety of interlocking systems and of their configuration on a specific
track layout is conceptually an easy task for model checking. Systems that control large …

In the formal methods community, the correctness of interlocking tables is typically verified
by model checking. This paper suggests to use a static checker for this purpose and it …

State-of-the-art railway interlocking systems typically adhere to the product line paradigm,
where each individual system is obtained by instantiating a generic system with …

Because interlocking systems are highly safety-critical complex systems, their automated
safety verification is an active research topic investigated by several groups, employing …

The article is devoted to the application of BIM and ontologies in the design and operation of
the digital railway. It is predicted that global rail transport will double by 2050. To support this …