{"id":21721,"date":"2025-04-25T14:43:30","date_gmt":"2025-04-25T13:43:30","guid":{"rendered":"https:\/\/www.prover.com\/?post_type=avada_portfolio&p=21721"},"modified":"2025-10-07T15:39:06","modified_gmt":"2025-10-07T14:39:06","slug":"modernizing-stockholm-metros-tms-with-safe-migration","status":"publish","type":"avada_portfolio","link":"https:\/\/www.prover.com\/references\/modernizing-stockholm-metros-tms-with-safe-migration\/","title":{"rendered":"Modernizing Stockholm Metro\u2019s TMS with safe, stepwise migration to PLC"},"content":{"rendered":"

\"Purpose\"<\/span><\/div><\/div><\/div>
Purpose<\/h5><\/div><\/div><\/div><\/div>

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.<\/span><\/p>\n<\/div><\/div><\/div>

\"Client\"<\/span><\/div><\/div><\/div>
Client<\/h5><\/div><\/div><\/div><\/div>

Client: Cactus Rail
\nInfrastructure Manager: Stockholm Metro (SL)<\/p>\n<\/div><\/div><\/div>

\"Signaling<\/span><\/div><\/div><\/div>
Signaling system<\/h5><\/div><\/div><\/div><\/div>

Relay-based interlocking system with mechanical operator panels. Migrating to PLC-controlled non-vital interface logic integrated with computerized TMS.<\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div>

Enabling the transition from legacy systems to modern signaling<\/span><\/h2><\/div><\/div><\/div>
<\/div><\/div>

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.<\/span><\/p>\n

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.<\/span><\/p>\n

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.<\/span><\/p>\n

The project marks a major leap in the modernization of Stockholm metro, delivering a future-proof solution that enhances efficiency, safety, and maintainability.<\/span><\/p>\n<\/div><\/div><\/div>