Volume 35, Issue 1March 2023Current Issue
Issue Downloads
Skip Table Of Content Section
SECTION: Special Collection from RSSRail 2021
research-article
A Case in Point: Verification and Testing of a EULYNX Interface
We present a case study on the application of formal methods in the railway domain. The case study is part of the FormaSig project, which aims to support the development of EULYNX — a European standard defining generic interfaces for railway equipment — ...
research-article
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems
- Yamine Aït-Ameur,
- Sergiy Bogomolov,
- Guillaume Dupont,
- Alexei Iliasov,
- Alexander Romanovsky,
- Paulius Stankaitis
For years, formal methods have been successfully applied in the railway domain to formally demonstrate safety of railway systems. Despite that, little has been done in the field of formal methods to address the cyber-physical nature of modern railway ...
research-article
Compositional Verification of Railway Interlocking Systems
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, these techniques fail to scale to the interlocking systems controlling ...
research-article
A Deep Reinforcement Learning Framework with Formal Verification
Artificial Intelligence (AI) and data are reshaping organizations and businesses. Human Resources (HR) management and talent development make no exception, as they tend to involve more automation and growing quantities of data. Because this brings ...