{"id":6050,"date":"2022-07-11T08:56:05","date_gmt":"2022-07-11T07:56:05","guid":{"rendered":"https:\/\/www.prover.com\/?p=6050"},"modified":"2025-01-09T14:33:08","modified_gmt":"2025-01-09T13:33:08","slug":"case-developing-digital-twins-for-stockholm-metro","status":"publish","type":"post","link":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/","title":{"rendered":"Case: Developing digital twins for the Stockholm Metro"},"content":{"rendered":"

When the Stockholm Metro set out to upgrade their rail control system, they contacted us at Prover to assist with the transition.<\/p>\n

Stockholm Metro\u2019s system consists of a central traffic management system and a relay-based vital and non-vital signaling system distributed over several relay rooms. The plan is to replace the mechanical control panels used by the operators with a modern computerized traffic management system, as well as to replace the non-vital relays with a distributed PLC solution, and, at least for the time being, leave the vital relays intact.<\/p>\n

In order to analyze the existing systems and validate this approach, a digital twin of the system was developed using formal methods. These formal methods included formal specifications with an emphasis on the interface, separation of configuration data and generic requirements, automated simulation-based testing, and formal safety verifications.<\/p>\n

CLIENT:<\/strong> Stockholm Metro
\nLOCATION:<\/strong> Stockholm, Sweden
\nDATE:<\/strong> 2021-2022<\/p>\n

Project goals<\/h3>\n

In this case, the Stockholm metro had three primary goals. The first was to discover any dependencies that would make it difficult to leave the vital relays untouched.The second was to identify any safety critical functions that are dependent on the existing non-vital relay or control panel design, to include such requirements in the specifications for the new systems. For example, physical wiring may prevent certain commands from being received simultaneously, or safety standards and best practices may have changed since the original system was commissioned. And finally, they wished to test out the concept in order to avoid any surprises that could delay the project and make it more expensive.<\/p>\n

PROJECT START<\/strong><\/p>\n

At the start of this project, the Stockholm Metro\u2019s architecture consisted of the following components:\u00a0<\/span><\/p>\n

    \n
  • Physical maneuver panel<\/b> – Push\/pull buttons and switches for controls, lamps for indications\u00a0<\/span><\/li>\n
  • Non-vital relays<\/b> – Interface between panel and interlocking, with additional (non-safety related) logic\u00a0<\/span><\/li>\n<\/ul>\n

    Vital relays<\/b> – Safety related signaling logic, locking of routes and points, signal aspects<\/span>
    \n<\/span><\/p>\n

    END GOAL<\/strong><\/p>\n

    The end goal of the project was a future architecture consisting of:\u00a0<\/span><\/p>\n

      \n
    • A computerized traffic management system <\/span>with an operator interface\u00a0<\/span><\/li>\n
    • A set of PLCs with the same functionality as the current non-vital relays\u00a0<\/span><\/li>\n
    • The vital relays from the original system left intact, interfacing with the PLCs<\/span><\/li>\n<\/ul>\n

      The solution in 6 steps<\/h3>\n
        \n
      1. Created a digital twin of existing system<\/span><\/li>\n
      2. Carried out formal verification of the safety of the current system<\/span><\/li>\n
      3. Automatically generated the PLC application software\u00a0<\/span><\/li>\n
      4. Created a digital twin of the future system<\/span><\/li>\n
      5. Replaced the model of the PLC with an actual PLC<\/span><\/li>\n
      6. Replaced the model of the interlocking with the actual relay system <\/span><\/li>\n<\/ol>\n

        Results<\/h3>\n

        Following this process, the Stockholm Metro was able to successfully validate the modularity of the proposed system and establish that it is feasible to replace the non-vital relays with a PLC system. They were also able to identify a few unexpected details in the existing system.\u00a0<\/span><\/p>\n

        Furthermore, the digital twin validation approach simplified the transition to the physical environment relay system\u2013testing with the PLC installed in the field was conducted over the course of a single night.\u00a0<\/span><\/p>\n

        In the future, the Stockholm Metro can use the digital twin for preparing tenders, validation and verification, reproducing issues from field error reports\/logs, replacing testing in the field, and training and documentation. <\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

        The Stockholm Metro was able to successfully validate the modularity of the proposed system and establish that it is feasible to replace the non-vital relays with a PLC system.<\/p>\n","protected":false},"author":16,"featured_media":14324,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[173,156],"tags":[174],"class_list":["post-6050","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-cots","category-modeling","tag-cots"],"yoast_head":"\nCase: Developing digital twins for the Stockholm Metro - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"When the Stockholm Metro set out to upgrade their rail control system, they contacted us at Prover to assist with the transition. Read more!\" \/>\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\/modeling\/case-developing-digital-twins-for-stockholm-metro\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Case: Developing digital twins for the Stockholm Metro - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"When the Stockholm Metro set out to upgrade their rail control system, they contacted us at Prover to assist with the transition. Read more!\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2022-07-11T07:56:05+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T13:33:08+00:00\" \/>\n<meta name=\"author\" content=\"Gunnar Smith\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/07\/Case-Developing-digital-twins-for-the-Stockholm-Metro-jpg.webp\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Gunnar Smith\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/\"},\"author\":{\"name\":\"Gunnar Smith\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10\"},\"headline\":\"Case: Developing digital twins for the Stockholm Metro\",\"datePublished\":\"2022-07-11T07:56:05+00:00\",\"dateModified\":\"2025-01-09T13:33:08+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/\"},\"wordCount\":1177,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/07\/Case-Developing-digital-twins-for-the-Stockholm-Metro-jpg.webp\",\"keywords\":[\"COTS\"],\"articleSection\":[\"COTS\",\"Modeling\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/\",\"url\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/\",\"name\":\"Case: Developing digital twins for the Stockholm Metro - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/07\/Case-Developing-digital-twins-for-the-Stockholm-Metro-jpg.webp\",\"datePublished\":\"2022-07-11T07:56:05+00:00\",\"dateModified\":\"2025-01-09T13:33:08+00:00\",\"description\":\"When the Stockholm Metro set out to upgrade their rail control system, they contacted us at Prover to assist with the transition. Read more!\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/07\/Case-Developing-digital-twins-for-the-Stockholm-Metro-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/07\/Case-Developing-digital-twins-for-the-Stockholm-Metro-jpg.webp\",\"width\":1200,\"height\":674,\"caption\":\"Developing digital twins for the Stockholm Metro\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"COTS\",\"item\":\"https:\/\/www.prover.com\/categories\/cots\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Case: Developing digital twins for the 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\/8fffe4665a1bd6297a1a72afbe980a10\",\"name\":\"Gunnar Smith\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g\",\"caption\":\"Gunnar Smith\"},\"url\":\"https:\/\/www.prover.com\/author\/gunnar-smith\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Case: Developing digital twins for the Stockholm Metro - Prover - Engineering a Safer World","description":"When the Stockholm Metro set out to upgrade their rail control system, they contacted us at Prover to assist with the transition. Read more!","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\/modeling\/case-developing-digital-twins-for-stockholm-metro\/","og_locale":"en_US","og_type":"article","og_title":"Case: Developing digital twins for the Stockholm Metro - Prover - Engineering a Safer World","og_description":"When the Stockholm Metro set out to upgrade their rail control system, they contacted us at Prover to assist with the transition. Read more!","og_url":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2022-07-11T07:56:05+00:00","article_modified_time":"2025-01-09T13:33:08+00:00","author":"Gunnar Smith","twitter_card":"summary_large_image","twitter_image":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/07\/Case-Developing-digital-twins-for-the-Stockholm-Metro-jpg.webp","twitter_misc":{"Written by":"Gunnar Smith","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/"},"author":{"name":"Gunnar Smith","@id":"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10"},"headline":"Case: Developing digital twins for the Stockholm Metro","datePublished":"2022-07-11T07:56:05+00:00","dateModified":"2025-01-09T13:33:08+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/"},"wordCount":1177,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/07\/Case-Developing-digital-twins-for-the-Stockholm-Metro-jpg.webp","keywords":["COTS"],"articleSection":["COTS","Modeling"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/","url":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/","name":"Case: Developing digital twins for the Stockholm Metro - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/07\/Case-Developing-digital-twins-for-the-Stockholm-Metro-jpg.webp","datePublished":"2022-07-11T07:56:05+00:00","dateModified":"2025-01-09T13:33:08+00:00","description":"When the Stockholm Metro set out to upgrade their rail control system, they contacted us at Prover to assist with the transition. Read more!","breadcrumb":{"@id":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/07\/Case-Developing-digital-twins-for-the-Stockholm-Metro-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/07\/Case-Developing-digital-twins-for-the-Stockholm-Metro-jpg.webp","width":1200,"height":674,"caption":"Developing digital twins for the Stockholm Metro"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/modeling\/case-developing-digital-twins-for-stockholm-metro\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"COTS","item":"https:\/\/www.prover.com\/categories\/cots\/"},{"@type":"ListItem","position":3,"name":"Case: Developing digital twins for the 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\/8fffe4665a1bd6297a1a72afbe980a10","name":"Gunnar Smith","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g","caption":"Gunnar Smith"},"url":"https:\/\/www.prover.com\/author\/gunnar-smith\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6050","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\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=6050"}],"version-history":[{"count":4,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6050\/revisions"}],"predecessor-version":[{"id":20742,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6050\/revisions\/20742"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14324"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=6050"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=6050"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=6050"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}