In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...

In this project the verification of safety conditions for the control of a railway interlocking system written in ladder logic is carried out. All translation steps have been implemented and tested for a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the translatio...

Introduction Providing more comfortable station environment foremost from the customer’s point of view is essential for sustaining railway customers. As the result of surveys regarding comfort and cleanliness of railway stations and airports, approximately 90% of customers answered that airports are more comfortable and cleaner than railway stations (Fig. 1). Customers also have shown a keen in...

The University Repository is a digital collection of the research output of the University, available on Open Access. Copyright and Moral Rights for the items on this site are retained by the individual author and/or other copyright owners. Users may access full items free of charge; copies of full text items generally can be reproduced, displayed or performed and given to third parties in any ...

Historically, changes in transport infrastructures have produced a progressive contraction of space, in the sense that travel times have been shortened and transport costs have been reduced. Improvement of transportation networks reduces interaction costs, increases the overall competitiveness of the system and allows for more specialization such that economies of scale and specialization benef...

SAR differential interferometry is an innovative space-based measurement technology for ground deformation. Under inclement Qinghai-Tibet plateau environment, monitoring and analysis of railway subgrade deformation using satellite interferometry in plateau permafrost region has very important engineering significance for stability evaluation and safety management. In the paper, a brief descript...

After 1860’s the railway systems has started to be used in urban transportation in the world. However, especially after the 1950’s, automobile usage has been increased quickly. Thus the dense of transportation has started to move from railway systems to the ones with rubber tire vehicles in Istanbul. Traffic density in urban transportation has started to be experienced since 1950 with the incre...

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...

Active steering system of railway vehicles has proven its ability to bridge the gap between stability and curve friendliness. Generally scaled railway vehicles were developed to reproduce the fundamental dynamic behavior of the full size railway vehicle in laboratory conditions. This paper describes the design of the braking/traction control systems as a part of a 1/5 scaled railway vehicle for...