Formalizing a subset of ERTMS/ETCS specifications for verification purposes

ERTMS is the standard railway control-command and signaling system which aims to ensure railway interoperability throughout Europe while enhancing safety and competitiveness. ERTMS is composed of two main subsystems which include GSM-R, a radio system for enabling communication between the train and the traffic management center and ETCS, an automatic train protection system (ATP) to replace the existing national ATP systems. The ERTMS specifications are defined by means of standard documents which set out the requirements ensuring interoperability. These documents evolve regularly to give rise to successive versions. The ERTMS/ETCS standard defines different levels and operation modes according to various trackside and onboard setups and some operational conditions. Given the complexity and the high criticality of railway operation, verification and validation (V&V) are crucial tasks in railway application development.In this paper, after setting the background and the motivations, a mechanizable formalization of a subset of ERTMS/ETCS specifications relative to ETCS modes and transitions is developed. The present work aims to offer a readily available model for formal V&V. Using formal techniques to check SRS is highly recommended to tackle the complexity of the defined requirements and prevent specification errors. Model-checking technique, which is targeted here, offers exhaustive analysis of the system behavior based on its model and is highly automated, since it is supported by software tools. Based on the last available version of SRS specifications, a progressive process is undertaken to get a formal model which makes explicit the various modes characterized by their respective active functions, as well as the numerous combinations of conditions for switching between modes. The various steps guiding the translation of the SRS literal specifications into a formal model are explained. As will be shown through different examples, the obtained model is a convenient basis to check safety, interoperability and liveness properties.     

Emissions of particulate matters from railways – Emission factors and condition monitoring

We report tunnel measurements, where abrasion particles from different types of trains are measured in two situations and emission factors are calculated from these. The measurements show significantly elevated particle concentrations in train passages that last for about a minute and are accompanied by increased airflow. The emission of particles for each train passage was obtained by summing the product of the particle concentration and the airflow and then multiplying with the tunnel area. The average emission factors were calculated for three categories freight trains, commuter trains and regional trains and found to be 2.9 g/train-km (0.7 – 9), 0.48 (0.1 – 1.6) and 0.24 (0.05–0.9), respectively. The number in brackets refers to the range of values observed. The size-resolved data showed maxima around 1 μm for all three train types.     

Coordinated cruise control for high-speed train movements based on a multi-agent model

This paper investigates the coordinated cruise control strategy for multiple high-speed trains’ movement. The motion of an ordered set of high-speed trains running on a railway line is modeled by a multi-agent system, in which each train communicates with its neighboring trains to adjust its speed. By using the potential fields and LaSalles invariance principle, we design a new coordinated cruise control strategy for each train based on the neighboring trains’ information, under which each train can track the desired speed, and the headway distances between any two neighboring trains are stabilized in a safety range. Numerical examples are given to illustrate the effectiveness of the proposed methods.     

Rescheduling through stop-skipping in dense railway systems

Based on the analysis of the railway system in the Paris region in France, this paper presents a rescheduling problem in which stops on train lines can be skipped and services are retimed to recover when limited disturbances occur. Indeed, in such mass transit systems, minor disturbances tend to propagate and generate larger delays through the shared use of resources, if no action is quickly taken. An integrated Integer Linear Programming model is presented whose objective function minimizes both the recovery time and the waiting time of passengers. Additional criteria related to the weighted number of train stops that are skipped are included in the objective function. Rolling-stock constraints are also taken into account to propose a feasible plan. Computational experiments on real data are conducted to show the impact of rescheduling decisions depending on key parameters such as the duration of the disturbances and the minimal turning time between trains. The trade-off between the different criteria in the objective function is also illustrated and discussed.     

Telemetric system for monitoring and automation of railroad networks

This paper describes a new method of real-time train monitoring based on the ZigBee/IEEE 802.15.4 protocol. The system consists of a mobile device embedded in the moving train which transmits parameter signals that are being measured by a base unit with the help of routers. When applied, the technique monitors and controls vehicles operating on permanent routes, making a real-time evaluation of their performance and location, and allowing an effective planning of trains. It consists of a low cost, low power consumption and safe modular technology capable of monitoring many different variables simultaneously.     

The case for space: the measurement of capacity utilisation,its relationship with reactionary delay and the calculation of the capacity charge for the British rail network

In Britain, capacity charges are levied on train operators to cover the costs imposed by increased reactionary delays – i.e. the delay that an already late train causes to a following train. These charges are based on the link between capacity utilisation and the level of reactionary delay. An established method for measuring capacity utilisation was adopted called The Capacity Utilisation Index (CUI). In this paper, we propose an alternative methodology based on the theory that the level of reactionary delay will be determined by the minimum gaps that exist between trains. We test this measure with a new data-set for the East Coast Main Line and show that it performs better than CUI. Finally, we comment on the implications of this finding for charging and for the construction of timetables.     

Increase of metro line capacity by optimisation of track circuit length and location: In a distance to go system

The signalling system affects the type of service that can be provided on any particular railway line. The aims set when it comes to designing these systems to operate a railway line are: to ensure safety of operation and to ensure flexible and efficient running. When building a line capacity optimisation algorithm, it must reach a compromise solution between two parameters: minimise the interval between trains and keep journey time as low as possible. This paper aims to describe the algorithm developed between METRO DE MADRID and CITEF (Railway Technology Research Centre of the Universidad Politécnica de Madrid – UPM) that allows the capacity of an underground line equipped with ATP Distance To Go systems to be studied and optimised. This algorithm facilitates the tasks of signalling design and optimisation. Copyright © 2010 John Wiley & Sons, Ltd.     

A new approach for improving the performance of freight train timetabling of a single-track railway system

A new approach for improving the performance of freight train timetabling for single-track railways is proposed. Using the idea of a fixed-block signaling system, we develop a matrix representation to express the occupation of inter- and intra-station tracks by trains illustrating the train blocking time diagram in its entirety. Train departure times, dwell times, and unnecessary stopping are adjusted to reduce average train travel time and single train travel time. Conflicts between successive stations and within stations are identified and solved. A fuzzy logic system is further used to adjust the range of train departure times and checks are made to determine whether dwell times and time intervals can be adjusted for passenger and freight trains at congested stations to minimize train waiting times. By combining manual scheduling expertise with the fuzzy inference method, timetable efficiency is significantly improved and becomes more flexible.     

A heuristic for the train pathing and timetabling problem

In a railroad system, train pathing is concerned with the assignment of trains to links and tracks, and train timetabling allocates time slots to trains. These important tasks were traditionally done manually, but there is an increasing move toward automated software based on mathematical models and algorithms. Most published models in the literature either focus on train timetabling only, or are too complicated to solve when facing large instances. In this paper, we present an optimization heuristic that includes both train pathing and train timetabling, and has the ability to solve real-sized instances. This heuristic allows the operation time of trains to depend on the assigned track, and also lets the minimum headway between the trains to depend on the trains’ relative status. It generates an initial solution with a simple rule, and then uses a four-step process to derive the solution iteratively. Each iteration starts by altering the order the trains travel between stations, then it assigns the services to the tracks in the stations with a binary integer program, determines the order they pass through the stations with a linear program, and uses another linear program to produce a timetable. After these four steps, the heuristic accepts or rejects the new solution according to a Threshold Accepting rule. By decomposing the original complex problem into four parts, and by attacking each part with simpler neighborhood-search processes or mathematical programs, the heuristic is able to solve realistic instances. When tested with two real-world examples, one from a 159.3 km, 29-station railroad that offers 44 daily services, and another from a 345 km, eight-station high-speed rail with 128 services, the heuristic obtained timetables that are at least as good as real schedules.     

Nonlinear programming methods based on closed-form expressions for optimal train control

This paper proposes a novel approach to solve the complex optimal train control problems that so far cannot be perfectly tackled by the existing methods, including the optimal control of a fleet of interacting trains, and the optimal train control involving scheduling. By dividing the track into subsections with constant speed limit and constant gradient, and assuming the train’s running resistance to be a quadratic function of speed, two different methods are proposed to solve the problems of interest. The first method assumes an operation sequence of maximum traction – speedholding – coasting – maximum braking on each subsection of the track. To maintain the mathematical tractability, the maximum tractive and maximum braking functions are restricted to be decreasing and piecewise-quadratic, based on which the terminal speed, travel distance and energy consumption of each operation can be calculated in a closed-form, given the initial speed and time duration of that operation. With these closed-form expressions, the optimal train control problem is formulated and solved as a nonlinear programming problem. To allow more flexible forms of maximum tractive and maximum braking forces, the second method applies a constant force on each subsection. Performance of these two methods is compared through a case study of the classic single-train control on a single journey. The proposed methods are further utilised to formulate more complex optimal train control problems, including scheduling a subway line while taking train control into account, and simultaneously optimising the control of a leader-follower train pair under fixed- and moving-block signalling systems.     

The train platforming problem: The infrastructure management company perspective

If railway companies ask for station capacity numbers, their underlying question is in fact one about the platformability of extra trains. Train platformability depends not only on the infrastructure, buffer times, and the desired departure and arrival times of the trains, but also on route durations, which depend on train speeds and lengths, as well as on conflicts between routes at any given time. We consider all these factors in this paper. We assume a current train set and a future one, where the second is based on the expected traffic increase through the station considered. The platforming problem is about assigning a platform to each train, together with suitable in- and out-routes. Route choices lead to different route durations and imply different in-route-begin and out-route-end times. Our module platforms the maximum possible weighted sum of trains in the current and future train set. The resulting number of trains can be seen as the realistic capacity consumption of the schedule. Our goal function allows for current trains to be preferably allocated to their current platforms.Our module is able to deal with real stations and train sets in a few seconds and has been fully integrated by Infrabel, the Belgian Infrastructure Management Company, in their application called Ocapi, which is now used to platform existing and projected train sets and to determine the capacity consumption.     

动卧客运与快递货运的高速铁路夜间能力利用模式

目前我国高速铁路的日间行车能力已得到了较为充分的利用,而如何组织好高铁夜间垂直天窗与夜行列车之间的耦合关系、用好高铁夜间能力,是适应多样化市场需求的需要,也是进一步提升高铁经营效益的有效途径。对此,本文提出了动卧列车和货运动车组两种相对可行的高铁夜间运输产品,分别对其产品特征进行了分析,充分考虑高铁夜间天窗制约下两种列车的开行模式,基于市场需求提出了列车开行策略,并在充分对比两种产品的经济效益、客(货)源组织、能力分配等因素的基础上,给出了高铁夜间能力发展建议。     

Efficient dispatching rules on double tracks with heterogeneous train traffic

The most natural and popular dispatching rule for double-track segments is to dedicate one track for trains traveling in one direction. However, sometimes passenger trains have to share some portions of the railway with freight trains and passenger trains are traveling faster and faster nowadays. The major drawback of this dedicated rule is that a fast train can be caught behind a slow train and experience significant knock-on delay. In this paper, we propose a switchable dispatching policy for a double-track segment. The new dispatching rule enables the fast train to pass the slow train by using the track traveled by trains in the opposite direction if the track is empty. We use queueing theory techniques to derive the delay functions of this policy. The numerical experiments show that a switchable policy can reduce the fast train knock-on delay by as high as 30% compared to a dedicated policy. When there are crossovers at the middle of the double-track segment, our proposed switchable policy can reduce the delay of the fast trains by as high as 65%.     

长途跨线高速列车直达与中转选择问题

我国快速客运网基本形成,长途跨线列车直达与中转选择对于高速列车开行方案设计至关重要。为提升长途跨线高速列车开行效益和服务品质,按长途跨线列车直达与中转方式对比的思路,以旅客出行需求、基础设施能力、移动设备能力等多方面因素对长途跨线列车开行方式的影响为约束条件,研究长途跨线列车直达与中转选择模型及求解方法。选取2025年15个长途跨线起讫点为对象进行案例研究,提出D站—E站、F站—D站等9个起迄点之间开行长途跨线直达列车的建议方案,研究表明直达与中转换乘选择模型能够解决长途跨线列车开行方案编制问题。     

ARTEMIS: French-German project for railway movements command and control

The development of railway transportation, especially through the gradual implementation of high-speed European network, is inciting railway companies to design railway movements command and control systems to enhance technical performance in terms of throughput and control of disturbances while simultaneously minimizing operational costs. The new command-control systems must be modular, adaptable and evolutive structures from both functional and geographical viewpoints if they are to satisfy all operational needs. Concurrent research into performance enhancement and cost reduction prescribes a system in which the majority of the “real time” components are aboards the locomotives. This is particularly true for those components used by the train to indicate its own position on the network as well as those enabling it to converse with operational control centers. The initial task is to design a global architecture of the command-control system that satisfies modularity and availability criteria followed by the development of numerous technical components including radar self-location systems and cellular radio transmission networks. The French (SNCF) and German (DB) national railways have implemented a vast program of co-operation aimed at providing valid, proven answers to these problems so as to allow their trains to travel freely on either network.     

Performability evaluation of the ERTMS/ETCS – Level 3

Level 3 of the ERTMS/ETCS improves the capacity of railways by replacing fixed-block signalling, which prevents a train to enter a block occupied by another train, with moving block signalling, which allows a train to proceed as long as it receives radio messages ensuring that the track ahead is clear of other trains. If messages are lost, a train must stop for safety reasons within a given deadline, even though the track ahead is clear, making the availability of the communication link crucial for successful operation.We combine analytic evaluation of failures due to burst noise and connection losses with numerical solution of a non-Markovian model representing also failures due to handovers between radio stations. In so doing, we show that handovers experienced by a pair of chasing trains periodically affect the availability of the radio link, making behavior of the overall communication system recurrent over the hyper-period of periodic message releases and periodic arrivals at cell borders. As a notable aspect, non-Markovian transient analysis within two hyper-periods is sufficient to derive an upper bound on the first-passage time distribution to an emergency brake, permitting to achieve a trade-off between railway throughput and stop probability. A sensitivity analysis is performed with respect to train speed and headway distance, permitting to gain insight into the consequences of system-level design choices.     

基于指定到达追踪间隔的高铁车站接车进路长度研究

确定合理的高铁车站接车进路长度对压缩到达追踪间隔时间有重要意义。本文首先通过构建满足到达追踪间隔时间的高铁车站接车进路长度计算模型,提出了接车进路长度的主要影响因素为由线路限制速度、站前坡坡度、制动力使用系数三因素(简称三因素)所确定的车载设备监控制动距离内列车运行时间。然后,通过对常见的线路限制速度、站前坡坡度、制动力使用系数取值下的车载设备监控制动距离内列车运行时间进行牵引计算仿真,并运用三因素方差分析法分析了三因素的影响显著度,得到了线路限制速度、站前坡坡度对高铁车站接车进路长度影响显著的结论。最后,基于高铁车站接车进路长度计算模型,得到了一组指定到达追踪间隔下的高铁车站接车进路长度表,为高铁车站设计提供思路。     

Scheduling heterogeneous train traffic on double tracks with efficient dispatching rules

To further improve the utilization rate of railway tracks and reduce train delays, this paper focuses on developing a high-efficiency train routing and timetabling approach for double-track railway corridors in condition that trains are allowable to travel on reverse direction tracks. We first design an improved switchable policy which is rooted in the approaches by Mu and Dessouky (2013), with the analysis of possible delays caused by different path choices. Then, three novel integrated train routing and timetabling approaches are proposed on the basis of a discrete event model and different dispatching rules, including no switchable policy (No-SP), Mu and Dessouky (2013)’s switchable policy (Original-SP) and improved switchable policy (Improved-SP). To demonstrate the performance of the proposed approaches, the heterogeneous trains on Beijing–Shanghai high speed railway are scheduled by aforementioned approaches. The case studies indicate that in comparison to No-SP and Original-SP approaches, respectively, the Improved-SP approach can reduce the total delay of trains up to 44.44% and 73.53% within a short computational time. Moreover, all of the performance criteria of the Improved-SP approach are usually better than those of other two approaches.     

Coordination of last train transfers using automated fare collection (AFC) system data

This paper studies last train coordination problem for metro networks, aiming to maximize the total number of passengers who can reach their destinations by metro prior to the end of operation. The concept of last boarding time is defined as the latest time that passengers can board the last trains and reach final destinations. The corresponding method for calculating last boarding time is also put forward. With automatic fare collection system data, an optimization model for coordinating last trains is proposed. The objective function optimizes the number of passengers who can reach their final destinations during the train period using departure times and headways of last trains for each line as decision variables. Afterwards, an adaptive genetic algorithm is put forward to solve this model and is applied to a case study of the Shanghai metro system. Copyright © 2017 John Wiley & Sons, Ltd.     

Standardization of capacity unit for headway-based rail capacity analysis

Determining the required capacity upgrades to accommodate future demand is a critical process in assisting public and private financing of capacity investments. Conventional railway systems usually operate multiple types of trains on the same track. These different types of trains can exert substantially different capacity impact, and can cause serious operational conflicts. In the past, rail line capacity is commonly defined as the maximum number of trains that can be operated on a section of track within a given time period. However, a specific unit (trains/hr or trains/day) does not reflect the heterogeneity of train types. According to the concept of base train equivalents (BTE) and base train unit (BTU), this study developed headway-based models to determine BTE for transforming different train types into a standard unit (i.e., BTU). An approximate method for lines with three and more types of trains was also proposed to compute BTEs for non-base trains. Results from the case studies demonstrate that this method enables the standardization of rail capacity unit, facilitates assessment of the impact from heterogeneous trains, and allows comparison and evaluation of the capacity measurements from different lines and systems.