{"id":21195,"date":"2025-02-24T08:47:55","date_gmt":"2025-02-24T07:47:55","guid":{"rendered":"https:\/\/www.prover.com\/?p=21195"},"modified":"2025-03-19T12:52:40","modified_gmt":"2025-03-19T11:52:40","slug":"prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro","status":"publish","type":"post","link":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/","title":{"rendered":"Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro"},"content":{"rendered":"<p>Prover, a leading signaling and formal methods company, has been selected as a subcontractor by <a href=\"https:\/\/www.cactusrail.se\/project-sl\/\">Cactus Rail<\/a> 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&#8217;s position as a key partner in the digitalization and automation of railway infrastructure.<\/p>\n<p>As part of the project, Prover will deliver:<\/p>\n<ul>\n<li><strong>Digital twins<\/strong> 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.<\/li>\n<li><strong>PLC logic<\/strong> to ensure seamless communication and control between the new TMS and existing relay interlockings, guaranteeing smooth integration without operational disruptions.<\/li>\n<\/ul>\n<p><a href=\"https:\/\/www.prover.com\/products\/prover-extractor\/\">Prover Extractor<\/a>, an advanced tool for reading and analyzing existing circuit diagrams, will be used to create the <a href=\"https:\/\/www.prover.com\/solutions\/digital-twin\/\">digital twins<\/a>. This process allows for an exact replica of the relay interlockings, simplifying the digitalization and integration of these systems into modern infrastructure.<\/p>\n<p>Another crucial contribution from Prover is the automation of configuration and testing for the new TMS using the company\u2019s Signaling Design Automation (<a href=\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/\">SDA<\/a>) 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.<\/p>\n<h3><strong>A step toward the Metro of the future<\/strong><\/h3>\n<p>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&#8217;s SDA solution reduces the time and cost required for TMS configuration and testing while maximizing safety and operational reliability.<\/p>\n<blockquote><p>&#8220;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&#8221;, says <strong>Anders Lind\u00e9n, CEO Prover<\/strong>.<\/p><\/blockquote>\n<h3><strong>About Cactus Rail and the TMS project<\/strong><\/h3>\n<p><a href=\"https:\/\/www.cactusrail.se\/project-sl\/\">Cactus Rail<\/a> 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.<\/p>\n<h3><strong>About Prover\u00a0<\/strong><\/h3>\n<p>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.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Prover has been selected by Cactus Rail to support the new Traffic Management System (TMS) for the Stockholm Metro. <\/p>\n","protected":false},"author":45,"featured_media":21208,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[159],"tags":[],"class_list":["post-21195","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover has been selected as a subcontractor by Cactus Rail for their project to implement a new Traffic Management System (TMS) for the Stockholm Metro.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover has been selected as a subcontractor by Cactus Rail for their project to implement a new Traffic Management System (TMS) for the Stockholm Metro.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2025-02-24T07:47:55+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-03-19T11:52:40+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/02\/iStock-183864046_edit-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1409\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Amanda \u00d6berg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Amanda \u00d6berg\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/\"},\"author\":{\"name\":\"Amanda \u00d6berg\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2\"},\"headline\":\"Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro\",\"datePublished\":\"2025-02-24T07:47:55+00:00\",\"dateModified\":\"2025-03-19T11:52:40+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/\"},\"wordCount\":437,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/02\/iStock-183864046_edit-scaled.jpg\",\"articleSection\":[\"Company news\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/\",\"url\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/\",\"name\":\"Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/02\/iStock-183864046_edit-scaled.jpg\",\"datePublished\":\"2025-02-24T07:47:55+00:00\",\"dateModified\":\"2025-03-19T11:52:40+00:00\",\"description\":\"Prover has been selected as a subcontractor by Cactus Rail for their project to implement a new Traffic Management System (TMS) for the Stockholm Metro.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/02\/iStock-183864046_edit-scaled.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/02\/iStock-183864046_edit-scaled.jpg\",\"width\":2560,\"height\":1409,\"caption\":\"Prover Cactus\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Company news\",\"item\":\"https:\/\/www.prover.com\/categories\/company-news\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2\",\"name\":\"Amanda \u00d6berg\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"caption\":\"Amanda \u00d6berg\"},\"url\":\"https:\/\/www.prover.com\/author\/amanda-oberg\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro - Prover - Engineering a Safer World","description":"Prover has been selected as a subcontractor by Cactus Rail for their project to implement a new Traffic Management System (TMS) for the Stockholm Metro.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/","og_locale":"en_US","og_type":"article","og_title":"Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro - Prover - Engineering a Safer World","og_description":"Prover has been selected as a subcontractor by Cactus Rail for their project to implement a new Traffic Management System (TMS) for the Stockholm Metro.","og_url":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2025-02-24T07:47:55+00:00","article_modified_time":"2025-03-19T11:52:40+00:00","og_image":[{"width":2560,"height":1409,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/02\/iStock-183864046_edit-scaled.jpg","type":"image\/jpeg"}],"author":"Amanda \u00d6berg","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Amanda \u00d6berg","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/"},"author":{"name":"Amanda \u00d6berg","@id":"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2"},"headline":"Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro","datePublished":"2025-02-24T07:47:55+00:00","dateModified":"2025-03-19T11:52:40+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/"},"wordCount":437,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/02\/iStock-183864046_edit-scaled.jpg","articleSection":["Company news"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/","url":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/","name":"Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/02\/iStock-183864046_edit-scaled.jpg","datePublished":"2025-02-24T07:47:55+00:00","dateModified":"2025-03-19T11:52:40+00:00","description":"Prover has been selected as a subcontractor by Cactus Rail for their project to implement a new Traffic Management System (TMS) for the Stockholm Metro.","breadcrumb":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/02\/iStock-183864046_edit-scaled.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/02\/iStock-183864046_edit-scaled.jpg","width":2560,"height":1409,"caption":"Prover Cactus"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-cactus-rail-in-groundbreaking-tms-project-for-stockholm-metro\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Company news","item":"https:\/\/www.prover.com\/categories\/company-news\/"},{"@type":"ListItem","position":3,"name":"Prover partners with Cactus Rail in groundbreaking TMS project for Stockholm Metro"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2","name":"Amanda \u00d6berg","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","caption":"Amanda \u00d6berg"},"url":"https:\/\/www.prover.com\/author\/amanda-oberg\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21195","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=21195"}],"version-history":[{"count":19,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21195\/revisions"}],"predecessor-version":[{"id":21913,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21195\/revisions\/21913"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/21208"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=21195"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=21195"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=21195"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}