Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro

Prover, a leading signaling and formal methods company, has been selected as a subcontractor by Cactus Rail for their prestigious project to implement a new Traffic Management System (TMS) for the Stockholm Metro. This collaboration marks an important milestone in modernizing public transportation signaling systems and reinforces Prover’s position as a key partner in the digitalization and automation of railway infrastructure.

As part of the project, Prover will deliver:

• Digital twins of existing vital relay interlockings across 62 stations on the red and blue lines of the metro network, enabling precise digital representation of older systems.
• PLC logic to ensure seamless communication and control between the new TMS and existing relay interlockings, guaranteeing smooth integration without operational disruptions.

Prover Extractor, an advanced tool for reading and analyzing existing circuit diagrams, will be used to create the digital twins. This process allows for an exact replica of the relay interlockings, simplifying the digitalization and integration of these systems into modern infrastructure.

Another crucial contribution from Prover is the automation of configuration and testing for the new TMS using the company’s Signaling Design Automation (SDA) solution. The SDA solution leverages formal methods and advanced automation to ensure faster and more reliable implementation of signaling and control systems with guaranteed safety.

A step toward the Metro of the future

By digitalizing older vital systems and enabling seamless integration with new technology, this project will provide Stockholm Metro with a robust and future-proof traffic management solution. Prover’s SDA solution reduces the time and cost required for TMS configuration and testing while maximizing safety and operational reliability.

“We are proud to be part of such a significant project for the Stockholm Metro. Our partnership with Cactus Rail demonstrates how our expertise in digitalization and automation contributes to delivering efficient and reliable solutions for railway systems. This is an important step toward a more modern and sustainable public transportation network”, says Anders Lindén, CEO Prover.

About Cactus Rail and the TMS project

Cactus Rail has a long history of delivering tailored traffic management solutions for railways and metro systems. The Stockholm Metro project involves a comprehensive upgrade of traffic management for the red and blue lines, covering 62 stations. The upgrade aims to improve punctuality, efficiency, and capacity across the metro network.

About Prover 

Prover is a global leader in formal methods and automated solutions for the design and verification of safety-critical railway systems. Through innovative tools and methods such as Prover Extractor and SDA, Prover helps its customers save time, reduce costs, and achieve the highest safety standards.