Railway designs deal with complex and large-scale, safety-critical infrastructures, where formal methods play an important role, especially in verifying the safety of so-called interlockings through model checking. Model checking deals with state change and rather complex properties, usually incurring considerable computational burden (chiefly in terms of memory, known as state-space explosion ...

The paper presents the development of an intelligent railway safety risk assessment based support system. The proposed method can evaluate qualitative and quantitative safety risk data and information in a uniform manner for railway safety risk assessment. It permits the safety risk analysts to assess the risks associated with the failure modes directly using linguistic terms, i.e. qualitative ...

In this paper we discuss dynamic traffic management of railway networks. The main aim of the controller is to recover from delays in an optimal way by breaking connections and changing the departure of trains (at a cost). To model the railway system we use a switching max-plus-linear system description. We define the optimal control design problem for the railway network, and we show that solvi...

The most important issue in railway systems is to provide safe transportation. Since no error can be tolerated in railway systems it is an obligation to use reliable signalization and interlocking systems which have to decide what to do in unexpected situations like switch disruptions or signal light defects. By the rapid development in railway systems more formal methods are needed for modelin...

In the context of organizing timetables for railway companies the following railway carriage routing problem occurs. Given a timetable containing rail links with departure and destination times/stations and the composition of the trains, find a routing of railway carriages such that the required carriages are always available when a train departs. We will present a local search approach for thi...

This study examines the effect of road and railway noise on property prices. It uses the hedonic regression technique on a Swedish data set that contains information about both road and railway noise for each property, and finds that road noise has a larger negative impact on the property prices than railway noise. This is in line with the evidence from the acoustical literature which has shown...

As railroad bridge is one of the most important infrastructures of railway, the safety of bridge has a direct effect on railway operation efficiency and safety. In this paper, we propose a distributed railway bridge monitoring platform based on the Internet of Things (IOT) to monitoring the state of bridge safety. We made detailed research on the sensor nodes deployment, sensing data updating a...

This paper summarizes and analyzes the details of the control technology of the noise of High-speed Railway and the effects of its application, The situation data of the environmental noise of Beijing-Shanghai High-speed Railway is obtained by field monitoring. The results show that during the stage of trial run of BeijingShanghai High-speed Railway, under the condition of the normal traffic fl...

One of the goals of the UK research project SafeCap (Overcoming the railway capacity challenges without undermining railway network safety) is to provide railway engineers with a formal modelling framework for analysing safety and capacity of railway systems. To this end, we have proposed a “natural modelling” approach for specifying railway networks in CSP||B [4], and we are developing the cap...

The evaluation of quality of the railway passenger service is an important way to know the quality of the railway passenger service. This paper firstly constructs an evaluation indicator system of the quality of the railway passenger service on the foundation of the related literatures, and constructs the multiple-attribute evaluation matrix and indicator weight vector based on the linguistic v...