Several formal methods have been proposed for the specification and safety verification of railway applications. In order to be successful they need industrial strength tools to support the animation, proof, model checking and simulation of such systems. The complexity of railway systems means that capability of the analysis tools have consistently been improving. In our approach we propose tha...

railway service terminals are the places of a railway network usually equipped with costly technology based on highly complicated technological procedures demanding a high degree of coordination and control skills. design of these systems and the organization of their operation should facilitate reaching to the required capacity together with high quality of service processes as well as minimal...

Restructuring of European railway companies has resulted in creating new subjects within railway systems infrastructure managers (IM) on the one hand and railway operators (RO) on the other. In this paper we examine the efficiency and rank different business strategies of railway infrastructure managers using the combined AHP/DEA method. Different strategies include different number of paths al...

Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested separately from the hardware. Here we show that real time and scaled time semantics are inefficient for testing this software. We provide a time semantics with simulated time and show that this semantics is more suitable for tes...

49 All these systems have an important common feature: they are safety-critical and must therefore be developed according to the highest safety integrity level (SIL4), as defined in the standards applicable to the railway industry (CENELEC 50126, 50128, 50129, Railway Applications Standards [RAMS, software and electronics]). Apart from being suitable for safety-critical operation, railway syste...

The electromagnetic interferences (EMI) are threats that affect the reliability of the railway signalling systems. Consequently, the identification of the reliability requirements dependent on environment conditions is a major issue for signalling systems designers, and therefore for evaluators, and testing and certification bodies. Signalling systems work in the complex and heterogeneous railw...

A recent move by the UK government to purchase two new railway vehicle fleets from the provider offering the lowest whole-life, whole-system cost creates significant challenges to traditional manufacturers and their extended enterprises. This paper describes the work of a collaborative academic-industry research project; applying systems engineering to enable the optimisation of the operation a...

Some aspects are illustrated of energy conversion processes during the operation of electric railway vehicles with traction induction motors, in order to support transport systems’ sustainability. Increasing efforts are being expended to enhance the sustainability of transportation technologies and systems. Since electric drive systems are used with variable voltage variable frequency (VVVF) in...

recognized as a core element of urban development. They play an increasingly important role in alleviating problems such as road congestion and air pollution and new plans for high-speed intercity railway links are being initiated around the world. Progress is also being made on incorporating advanced information systems into stations and other parts of the railway network as a core aspect of t...

We further enhance our previous results on model predictive control (MPC) for railway systems with both hard and soft connection constraints, i.e., railway systems where, if necessary, some connections may be broken (but then a penalty is incurred). In this paper we extend the previous model by also including variable traveling times, which offers an extra degree of freedom for control. We pres...