In this paper, we present a method and an associated tool suite for formal verification of the new ETCS level 2 based Danish railway interlocking systems. We have made a generic and reconfigurable model of the system behavior and generic high-level safety properties. This model accommodates sequential release – a feature in the new Danish interlocking systems. The generic model and safety prope...

The importance of modelling and simulation in the field of railway systems has greatly increased in the last decades. Various commercial simulation packages have been developed and are used to analyse the dynamic performance of railway systems. However, although sometimes the user needs to analyse various non-standard solutions, the possibility to integrate further modifications into the struct...

Transportation systems form the backbone of economy and play an important role in society. Because of the far-reaching effects of disruptions on these systems (social, economic, national defense), they are classified as critical infrastructure systems. Reliability researches on various elements of transportation systems were carried out since the midtwentieth century. The focus was on vehicles ...

Risk management is becoming increasingly important for railway companies in order to safeguard their passengers and employees while improving safety and reducing maintenance costs. However, in many circumstances, the application of probabilistic risk analysis tools may not give satisfactory results because the risk data are incomplete or there is a high level of uncertainty involved in the risk...

This article gives an overview of the results of the author’s PhD thesis Schlechte [2012]. The thesis deals with the mathematical optimization for the efficient use of railway infrastructure. We address the optimal allocation of the available railway track capacity the track allocation problem. This track allocation problem is a major challenge for a railway company, independent of whether a fr...

The problem of control and management of railway transportation is a complex task with major outcomes in a modern society. Trains are suitable for transporting peoples and goods with a good trade-off between cost and rapidity. A railway system consists of a network of tracks, list of stations, safety devices (signals, sensors, etc) and a set of trains. Trains moves from one station to other alo...

Railway signalling systems have received a great deal of attention from the formal methods community. One reason for this is that the domain is relatively accessible; another is that the safety analyses to be undertaken are often highly parallelizable. In this paper we describe a ‘cloud interface’ for the refinement checker, Failures Divergences Refinement (FDR), which has been motivated and va...

In the range of recent years, sensing technologies has expanded widely, whereas sensor devices have become cheaper. This led to rapid expansion in condition monitoring of systems, structures, vehicles, and machinery that are using sensors. Wireless sensor networks can now be used for monitoring the railway infrastructure such as bridges, rail tracks, track beds, and many track equipment along w...

The high costs for the management of the modern and complex industrial control systems make it necessary to enhance the current maintenance processes. Therefore, the need arises to clearly define the goals of the maintenance, in order to evolve and continuously enhance the management methods, to efficiently integrate the maintenance activities with the ones related to the production, the servic...