Purpose
To replace outdated mechanical traffic control system with a modern computerized Traffic Management System, enabled by safe and efficient migration of non-vital relay logic to PLC interface.
Client
Client: Cactus Rail
Infrastructure Manager: Stockholm Metro (SL)
Signaling system
Relay-based interlocking system with mechanical operator panels. Migrating to PLC-controlled non-vital interface logic integrated with computerized TMS.
Enabling the transition from legacy systems to modern signaling
In 2024, our partner Cactus Rail AB secured a turnkey contract to deliver a new Traffic Management System (TMS) for the Stockholm Metro, covering 64 stations across the Red and Blue lines. To ensure a safe and efficient transition, Cactus chose to collaborate with Prover – experts in railway signaling and formal methods.
The existing traffic control system, built on mechanical operator panels and non-vital relay logic, is being replaced with a modern architecture. This includes a computerized TMS, a programmable logic controller (PLC) managing non-vital logic, and continued reliance on vital relay interlockings for safety-critical operations.
Prover plays a key role in digital twin modeling the overall system, simulating operations, generating verified PLC logic, and enabling digital testing before deployment. This step-by-step migration approach ensures minimal disruption to a network that serves 250 million passengers annually.
The project marks a major leap in the modernization of Stockholm metro, delivering a future-proof solution that enhances efficiency, safety, and maintainability.
Related case studies
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...
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.
Purpose
To replace outdated mechanical traffic control system with a modern computerized Traffic Management System, enabled by safe and efficient migration of non-vital relay logic to PLC interface.
Client
Client: Cactus Rail
Infrastructure Manager: Stockholm Metro (SL)
Signaling system
Relay-based interlocking system with mechanical operator panels. Migrating to PLC-controlled non-vital interface logic integrated with computerized TMS.
Enabling the transition from legacy systems to modern signaling
In 2024, our partner Cactus Rail AB secured a turnkey contract to deliver a new Traffic Management System (TMS) for the Stockholm Metro, covering 64 stations across the Red and Blue lines. To ensure a safe and efficient transition, Cactus chose to collaborate with Prover – experts in railway signaling and formal methods.
The existing traffic control system, built on mechanical operator panels and non-vital relay logic, is being replaced with a modern architecture. This includes a computerized TMS, a programmable logic controller (PLC) managing non-vital logic, and continued reliance on vital relay interlockings for safety-critical operations.
Prover plays a key role in digital twin modeling the overall system, simulating operations, generating verified PLC logic, and enabling digital testing before deployment. This step-by-step migration approach ensures minimal disruption to a network that serves 250 million passengers annually.
The project marks a major leap in the modernization of Stockholm metro, delivering a future-proof solution that enhances efficiency, safety, and maintainability.
Related case studies
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...
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.
+46 (0)8 617 68 00