Signaling Solutions

Formal Methods for Railway Interlocking

In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at the train stations manually observing trains and operating signals. The need for automatic signalling eventually became evident: human beings tend to make mistakes, which can lead to serious accidents, and the capacity of railroads was [...]

By |2017-10-13T12:16:04+01:00October 13th, 2017|Formal Methods, Signaling Solutions|

Transport system 2018-2029 – The Swedish Transport Administrations proposals for National Plans for the Future Railroad

On August 31, 2017, the Swedish Transport Administration's Director General, Lena Erixon, submitted to the Swedish Government the "Proposal for National Transport Planning Plan 2018-2029". Erixon points out that the starting point for this plan has been to work with, and contribute to an efficient, modern and sustainable transport system. This plan represents a financial [...]

By |2017-10-11T09:29:14+01:00October 11th, 2017|Signaling Solutions|

How to handle Complexity and Safety for Modern Railroads

The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better use of the existing infrastructure, while maintaining the highest level of safety. This also means that the task of assessing the safety and function of these system becomes more and more complex and often constitutes [...]

By |2017-10-11T09:18:12+01:00October 4th, 2017|Formal Methods, Signaling Solutions|

Prover iLock Demo

Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready for compilation and installation on the target platform. In this demo we will show, in short: Configuration of a new interlocking Interactive and scripted simulation of the resulting signaling system Automatic generation of code for [...]

By |2017-10-04T09:20:42+01:00October 4th, 2017|Signaling Solutions|

A New Way of Thinking for the Railway Industry

There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. Capacity must increase, preferably fast and cost efficient, and be delivered with a high service level to meet the demand of the future traveler. In the article Is ‘outside-the-box’ thinking enough to implement new rail [...]

By |2017-10-05T13:10:42+01:00October 3rd, 2017|Signaling Solutions|

When the Future is tied to the Railway Industry

Caltrans (The California Department of Transportation) recently released a research report that details the impact of the railway industry on the states economy. The report is an early research product supporting the 2018 California State Rail Plan and provides an overview of opportunities for how railway can address the states needs and challenges in the [...]

By |2017-09-21T10:39:08+01:00September 11th, 2017|Signaling Solutions|

Demonstration of an Interlocking Design Automation solution

Prover wants to show you how you can manage interlocking design safely and efficiently by using modern methodologies and tools. We have created a demo that will show how to use a modern Interlocking Design Automation solution, i.e. Prover Trident. During the demonstration we walk you through how to create an interlocking application software using [...]

By |2017-09-21T11:38:58+01:00May 19th, 2017|Signaling Solutions|
Load More Posts