Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway

Formal Methods in Safety-Critical Railway Systems

In this article we would like to present some recent applications of the B formal method to the development of safety critical systems, namely platform screen door controllers. These SIL3/SIL4 compliant systems have their functional specification based on a formal model. This model has been proved, guaranteeing a correct by construction behaviour of the system in absence of failure of its compo...

Construction of Future Railway System Utilizing Information and Telecommunication Technologies

Aggregation Methods for Railway Networks

This paper presents a bottom-up approach of automatic simplification of a railway network. Starting from a detailed microscopic level as it is used in railway simulation, the network is transformed by an algorithm to an aggregated level, i.e., to a macroscopic network, that is sufficient for long-term planning and optimization. Running and headway times are rounded to a user defined discretizat...

Formal Modelling of Railway Safety and Capacity

Development of future railway systems requires a rigorous modelling of safety and capacity conducted in an integrated way. Supported by EPSRC and Rail Safety and Standards Board the SafeCap project laid the foundations for overcoming challenges to railway capacity without undermining rail network safety. The main outcome of the project is the SafeCap Toolset, which relies on a formal Domain Spe...

Algorithmic Methods for Railway Optimization Dagstuhl Seminar

From 20.06.04 to 25.06.04, the Dagstuhl Seminar 04261 Algorithmic Methods for Railway Optimization was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of semin...