Signaling systems

Signaling systems are a critical component of rail control infrastructure, ensuring the safe and efficient movement of trains. These systems use a combination of hardware and software to monitor train movements and communicate information to operators, enabling them to make informed decisions in real-time. With advanced features such as automatic train control and predictive maintenance, signaling systems are essential for modern rail networks. Read about our work below.

1006, 2020

Signal modernization at Stockholm Metro

Gunnar Smith2025-01-16T11:28:28+01:00Guide, Signaling systems|

Stockholm Metro has a diverse and complex network with light rail, suburban rail and subway systems. Its signaling systems are a mix of computerized and relay-based interlockings, with modern, centralized traffic management systems.We will take a closer look at two distinct projects of Stockholm Metro; the extension of one of the subway lines using legacy union switch & signal relay-based interlocking and the capacity increase project on a suburban rail line utilizing modern computerized interlockings.

501, 2018

Demonstration of an interlocking design automation solution

Anders Linden2025-01-13T13:43:44+01:00Signaling systems, Webinar|

In this video we will demonstrate how to use a modern interlocking design automation solution. The demonstration is based on Prover Trident.

1509, 2017

Interlocking design automation

Gunnar Smith2025-01-08T13:57:27+01:00Guide, Signaling systems|

Imagine an infrastructure manager in need of a new rail control system; maybe a new line is to be built, extended or re-signaled to increase capacity or to solve issues with aging equipment requiring more and more maintenance. In this guide, we present a process that gives significant benefits to the supplier as well as the infrastructure manager.

409, 2017

The business case for interlocking design automation

Gunnar Smith2025-01-13T13:49:16+01:00Guide, Signaling systems|

This document aims to help infrastructure- vendors and managers developing rail control systems to create a compelling business case for investing in a modern interlocking design automation process. A state-of-the-art process based on formalized specifications and automation tools compared to traditional methods for developing signaling applications.

1504, 2021

The CBTC User Group – discussing the CBTC signaling systems of today and tomorrow

Gunnar Smith2025-01-13T13:51:34+01:00Signaling systems|

The CBTC User Group - discussing the CBTC signaling systems of today and tomorrow

1006, 2020

Signal modernization at Stockholm Metro

Gunnar Smith2025-01-16T11:28:28+01:00Guide, Signaling systems|

501, 2018

Demonstration of an interlocking design automation solution

Anders Linden2025-01-13T13:43:44+01:00Signaling systems, Webinar|

In this video we will demonstrate how to use a modern interlocking design automation solution. The demonstration is based on Prover Trident.

1509, 2017

Do you want news and upcoming events from Prover?

Fill out your information here.

How much can you save by implementing Signaling Design Automation?

In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.