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.
Share this article
Learn to build a solid safety case for rail control systems using formal verification
Fill out your information here.
More News & Articles
The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.
By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
We are launching the Open Signaling Initiative. With this launch, we are helping the industry move beyond closed, monolithic systems to modular, sustainable solutions that give infrastructure managers greater control and freedom of choice.
Registration is now open for SDA Forum 2025. Join us on October 1 in Stockholm or online for a full-day conference.
This year we will focus on two key topics transforming the industry: open signaling and the increasing role of AI.
+46 (0)8 617 68 00