Despite the constantly increasing demand of passengers and goods transport in Europe, the share of railway traffic is decreasing. One major reason appears to be congestion, which in turn results in frequent delays and in a general unreliability of the system. This fact has triggered the study of efficient ways to manage railway traffic, both off-line and real-time, by means of optimization and ...

Despite being one of the world’s largest railways networks, with a daily transportation of over 25 million passengers and 2.8 million tons of freight, the Indian Railways perform their signaling, traffic management and trains scheduling activities in a completely manual way. The lack of automation causes not only significant delays, but also frequent collisions where passengers die or remain se...

Railways were the most important infrastructure development in India from 1850 to 1947. They were inter-connected with all aspects of Indian society. In terms of the economy, railways played a major role in integrating markets and increasing trade. Domestic and international economic trends shaped the pace of railway construction and the demand for the important traffic flows to the ports. In t...

CBTC (Communication Based Train Control) systems are known as comprehensive, integrated and intelligent control systems for rail systems including mainline railways, light rails and underground lines in cities. With the development of modern data communication, computer and control techniques, CBTC represents the future direction of rail control systems. At present, CBTC has been used in light ...

Despite the constantly increasing demand of passengers and goods transport in Europe, the share of railway traffic is decreasing. One major reason appears to be congestion, which in turn results in frequent delays and in a general unreliability of the system. This fact has triggered the study of efficient ways to manage railway traffic, both off-line and real-time, by means of optimization and ...

Formal verification and validation is a fundamental step for the certification of railways critical systems. Many railways safety standards (e.g. the CENELEC EN-50126, EN-50128 and EN-50129 standards implement the mandatory safety requirements of IEC-61508-7 standard for Functional and Safety) currently mandate the use of formal methods in the design to certify correctness. In this paper we des...

The relevance of this work stems from the urgent need for modern development Ukrainian railway transport and acceleration Ukraine's integration into European transportation. Currently, most effective way to travel across borders between countries with different track gauges is use gauge-changeable wheelsets, a system that can change one gauge another when moving through special changing facilit...

Twenty years of debate regarding the restructuring Chinese freight railway have failed to yield a consensus. Early policy statements favoring creation above-the-rail competition over monopoly infrastructure – “European” model rail broadened into lively and scholarly that includes as an alternative division system competing vertically integrated railways “Americas” restructuring. To date, howeve...