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

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

The Mobile LiDAR Mapping System StreetMapper from IGI and 3D Laser Mapping (Bingham Nottingham, UK) is mounted on a large variety of road vehicles to cover different mission specifications. In addition to the operation on the road, the system finds its applications on other kinds of vehicles, like boats or trains. The modular and flexible system concept even allows utilizing the same LiDAR Mapp...

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