In railway operations, a timetable is established to determine the departure and arrival times for the trains or other rolling stock at the different stations or relevant points inside the rail network or a subset of this network. The elaboration of this timetable is done to respond to the commercial requirements for both passenger and freight traffic, but also it must respect a set of security...

We consider the problem of determining the capacity of a planned railway infrastructure layout under uncertainties In order to address the long term nature of the problem in which the exact future demand of service is un known we develop a timetable free approach to avoid the speci cation of a particular timetable We consider a generic infra element that allows a con cise representation of many...

The Safe Control Systems (SaCS) method is a pattern-based method supporting the development of conceptual designs for safety critical systems. A pattern language offers support for the method by six different kinds of basic patterns, operators for combining patterns, and a graphical notation for visualising a pattern composition. Intended users of SaCS are system developers, safety engineers an...

Signalling, a complex system is one of the most important infrastructures of railway service. The performance of railway signalling system depends on the functioning of a number of subsystems, such as panel, cable, relay, point and point machine, trackcircuit, signal, back indication, point-drive card, signal-drive card, and level crossing gate. Railway signalling system plays an important role...