We present two modelling approaches for the application of model checking to verify railway interlockings. The first translates so-called Ladder Logic into Scade language, the second models a segment of railway from scratch. The verification tool used is Scade.

In the last years, real-time railway traffic optimization experienced an increasing interest due to the expected growth of traffic and the limited possibilities of enhancing the infrastructure, which ask for a more efficient use of resources and the application of more advanced decision support tools. This paper presents a computerized train dispatching system, called ROMA (Railway traffic Opti...

-Railway signal system requires the high level of safety in order to safeguard safe operation of the train and people’s lives, so the risk analysis of railway signal system counts for much. However, due to the incomplete of the risk data, it is often impossible to obtain a satisfactory result. This article presents a comprehensive study in the risk analysis model of railway signal system on saf...

An experimental study was performed to compare the annoyances from civil-aircraft noise, military-aircraft noise, railway noise, and road-traffic noise. Two-way within-subjects designs were applied in this research. Fifty-two subjects, who were naive listeners, were given various stimuli with varying levels through a headphone in an anechoic chamber. Regardless of the frequency weighting networ...

The electromagnetic interferences (EMI) are threats that affect the reliability of the railway signalling systems. Consequently, the identification of the reliability requirements dependent on environment conditions is a major issue for signalling systems designers, and therefore for evaluators, and testing and certification bodies. Signalling systems work in the complex and heterogeneous railw...

BACKGROUND Little is known about train suicide and factors influencing its prevalence. This study tests the hypotheses that railway density, railway transportation volume, familiarity with railway transportation and population density contribute to train suicide. It also tests the relationship between train suicide and general population suicide and examines the prevalence and the characteristi...

In the 1980s/90s, a number of socio-acoustic surveys and laboratory studies on railway noise effects have observed less reported disturbance/interference with sleep at the same exposure level compared with other modes of transportation. This lower grade of disturbance has received the label "railway bonus", was implemented in noise legislation in a number of European countries and was applied i...