Electrification structures design for railway systems is a crucial and complex process, since it compounds plenty of infrastructure elements, design decisions, and calculation conditions. In this paper, an ontologydriven decision support system for designing complex railway portal frames is presented and developed. A knowledge-rules database has been also developed relying on experts knowledge ...

We consider delay management in railway systems. Given delayed trains, we want to find a waiting policy for the connecting trains minimizing the weighted total passenger delay. If there is a single delayed train and passengers transfer at most twice along fixed routes, or if the railway network has a tree structure, the problem can be solved by reduction to min-cut problems. For delayed passeng...

The paper presents the research of temporal data usage in the information systems (IS) for railway transport. In the research the IS artifact building phase has been executed. The models and methods oriented at the operation with the temporal objects of the railway transport system have been designed. The work takes into consideration the problems of the temporal objects presentation in the rel...

The railway vehicles are complex oscillator systems featuring specific vibration characteristics. The symmetrical and antisymmetrical vibration modes represent a property of the railway vehicle vibrations, due to its symmetry in construction. The paper describes the excitation mechanism of the symmetrical and antisymmetrical modes in a vertical plan of a railway vehicle on a track with irregula...

Railway signaling is now since more than 25 years the subject of successful industrial application of formal methods in the development and verification of its computerized equipment. However the evolution of the technology of railways signaling systems in this long term has had a strong influence on the way formal methods can be applied in their design and implementation. At the same time impo...

The European railway sector is undergoing dramatic changes. During the still ongoing liberalization process most vertically-integrated railway operators have already been “unbundled”. The shift from integrated to disintegrated companies coupled with the introduction of competition – so far in freight, but as of 2010 also in international passenger traffic – is having profound implications on th...

Now a day’s Railway systems plays a key role in transportation in the world. The demands for the trains are increasing drastically. The demand also increases the update of technology day to day. The train journey should be more secure. One of the problems in railway transportation is gate control system. Presently in railways the gate is controlled by manpower. Whenever the train arrives, that ...

Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter looks at the current industrial application of formal methods in the railway domain. After a recall of the dawning of formal methods in this domain, recent trends are presented that focus in particular on formal verification by means of model checki...

This paper assesses the main challenges associated with the propagation and channel modeling of broadband radio systems in a complex environment of high speed and metropolitan railways. These challenges comprise practical simulation, modeling interferences, radio planning, test trials and performance evaluation in different railway scenarios using Long Term Evolution (LTE) as test case. This ap...