{"id":21964,"date":"2025-07-03T10:42:31","date_gmt":"2025-07-03T09:42:31","guid":{"rendered":"https:\/\/www.prover.com\/?p=21964"},"modified":"2025-07-03T10:51:58","modified_gmt":"2025-07-03T09:51:58","slug":"prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems","status":"publish","type":"post","link":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/","title":{"rendered":"Prover and Region Stockholm lead model-based approach for traffic control systems"},"content":{"rendered":"<p>Sweden\u2019s rail and transit systems are facing a generational shift in both technology and expertise. At the same time, the need for more robust, high-capacity, and modern infrastructure has never been greater. To address this, the Public Transport Administration in Region Stockholm and Prover are leading a joint initiative that aims to fundamentally change how traffic control is developed, introduced, and maintained.<\/p>\n<h3><strong>Purpose and goals<\/strong><\/h3>\n<p>The main objective of the initiative, called <strong>MBATS<\/strong> (<em>Modellbaserat arbetss\u00e4tt f\u00f6r trafikstyrning<\/em>\/<em>Model-Based Approach for Traffic Control Systems<\/em>), is to enable a step-by-step digital transformation of traffic control systems by introducing a cross-functional platform and working method based on modeling techniques.<\/p>\n<p>By using digital twins and formal modeling techniques, the aim is to:<\/p>\n<ul>\n<li>improve decision-making through system-wide simulations<\/li>\n<li>increase control over cost, performance, and time during system updates<\/li>\n<li>reduce reliance on outdated, text-based, and manual processes<\/li>\n<li>create a long-term platform for safe and scalable innovation<\/li>\n<\/ul>\n<p>The approach helps ensure changes can be introduced gradually, without disrupting existing infrastructure or operations. Simulations and scenario analysis enable testing of solutions before deployment, increasing confidence and lowering operational risks.<\/p>\n<p>Long-term effects include:<\/p>\n<ul>\n<li>reduced climate impact through the reuse of existing systems<\/li>\n<li>increased rail network capacity by 20\u201330% through smarter analysis<\/li>\n<li>shorter lead times and reduced lifecycle costs<\/li>\n<li>enhanced collaboration across departments and suppliers<\/li>\n<li>stronger strategic control of technical assets and investments<\/li>\n<\/ul>\n<p>The initiative will integrate existing modules and services from the Public Transport Administration\u2019s IT environment to ensure compatibility and scalability. The value to the organization is stipulated through automated services to different users. New work methods are introduced step by step, together with user involvement and recollection of the challenges it entails.<\/p>\n<h3><strong>Solution<\/strong><\/h3>\n<p>The core is the introduction of new work methods and a user-friendly environment that enables structured system design, simulation, validation, and continuous improvement throughout the lifecycle of traffic control systems.<\/p>\n<p>The platform supports multiple use cases: from early-stage analysis and investment planning, to operations, maintenance, and future upgrades. A major advantage is the ability to test and verify changes digitally, before they impact passengers or operations.<\/p>\n<h3><strong>Background and Prover\u2019s contribution<\/strong><\/h3>\n<p>The innovative builds on the earlier <a href=\"https:\/\/www.smartbuilt.se\/projekt\/informationsinfrastruktur\/digits\/\" target=\"_blank\" rel=\"noopener\">DigiTS project<\/a>, where Prover and the Public Transport Administration mapped out 20 years of digital transformation across Stockholm\u2019s rail and metro network. The MBATS project is part of the <a href=\"https:\/\/smartbuilt.se\/projekt\/innovationer-och-nya-tillampningar\/modellbaserad-trafikstyrning\/\" target=\"_blank\" rel=\"noopener\">Smart Built Environment program<\/a>\u00a0and directly supports its mission to accelerate the digital transformation of the built environment, with a focus on sustainable and interoperable infrastructure.<\/p>\n<p>Prover leads the MBATS project and contributes with its expertise in traffic control systems, digital twin technologies, and formal methods. Prover will deliver several advanced modeling tools and the digital twin platform that is used in the solution.<\/p>\n<p>These tools enable formal, traceable, and repeatable modeling of rail systems. Prover\u2019s solutions help ensure that new configurations meet functional and safety requirements before anything is deployed.<\/p>\n<h3><strong>Conclusion <\/strong><\/h3>\n<p>Now, MBATS will integrate digital twins, rail system models, and data flows into a unified digital platform. This model-based approach allows changes to be tested and analyzed before implementation, significantly reducing lead times, costs, and risks while improving safety and system robustness.<\/p>\n<p>By introducing a structured, model-based methodology for traffic control, MBATS lays the groundwork for a smarter, more sustainable, and more reliable transportation infrastructure. The results of the project will be shared with national and international stakeholders and contribute to broader industry learning and innovation.<\/p>\n<blockquote><p><strong>Timeline and partners<\/strong><\/p>\n<p><strong>Project start:<\/strong> 2025<br \/>\n<strong>Duration: <\/strong>2 years<br \/>\n<strong>Partners: <\/strong>Region Stockholm Public Transport Administration and Prover<br \/>\n<strong>Funding program: <\/strong>Smart Built Environment<br \/>\n<strong>Key goal:<\/strong> Get in control of existing and future traffic control system<\/p><\/blockquote>\n<p><img decoding=\"async\" class=\"lazyload alignleft wp-image-21969\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-1024x241.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-1024x241.png\" alt=\"\" width=\"650\" height=\"153\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27650%27%20height%3D%27153%27%20viewBox%3D%270%200%20650%20153%27%3E%3Crect%20width%3D%27650%27%20height%3D%27153%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-200x47.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-300x71.png 300w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-400x94.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-600x141.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-768x181.png 768w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-800x188.png 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-1024x241.png 1024w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-1200x282.png 1200w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined-1536x361.png 1536w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/MBATS-logos-combined.png 1667w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 650px) 100vw, 650px\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Prover and Stockholm Public Transport is launching a project to create a model-based environment for traffic control systems. By integrating digital twins and simulation tools, the initiative will improve control, reduce risk, and enable better, data-driven decisions across the organization.<\/p>\n","protected":false},"author":45,"featured_media":21989,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[159,152,156],"tags":[],"class_list":["post-21964","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news","category-formal-methods","category-modeling"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Prover and Region Stockholm lead model-based approach for traffic control systems - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"A project to build a model-based environment that improves control, reduces risk, and supports better decisions for Stockholm Public Transport\u2019s traffic control systems.\" \/>\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\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover and Region Stockholm lead model-based approach for traffic control systems - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"A project to build a model-based environment that improves control, reduces risk, and supports better decisions for Stockholm Public Transport\u2019s traffic control systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2025-07-03T09:42:31+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-07-03T09:51:58+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/pexels-maxavans-5072402-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1707\" \/>\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=\"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\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/\"},\"author\":{\"name\":\"Amanda \u00d6berg\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2\"},\"headline\":\"Prover and Region Stockholm lead model-based approach for traffic control systems\",\"datePublished\":\"2025-07-03T09:42:31+00:00\",\"dateModified\":\"2025-07-03T09:51:58+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/\"},\"wordCount\":607,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/pexels-maxavans-5072402-scaled.jpg\",\"articleSection\":[\"Company news\",\"Formal methods\",\"Modeling\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/\",\"url\":\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/\",\"name\":\"Prover and Region Stockholm lead model-based approach for traffic control systems - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/pexels-maxavans-5072402-scaled.jpg\",\"datePublished\":\"2025-07-03T09:42:31+00:00\",\"dateModified\":\"2025-07-03T09:51:58+00:00\",\"description\":\"A project to build a model-based environment that improves control, reduces risk, and supports better decisions for Stockholm Public Transport\u2019s traffic control systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/pexels-maxavans-5072402-scaled.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/pexels-maxavans-5072402-scaled.jpg\",\"width\":2560,\"height\":1707},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Modeling\",\"item\":\"https:\/\/www.prover.com\/categories\/modeling\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover and Region Stockholm lead model-based approach for traffic control systems\"}]},{\"@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 and Region Stockholm lead model-based approach for traffic control systems - Prover - Engineering a Safer World","description":"A project to build a model-based environment that improves control, reduces risk, and supports better decisions for Stockholm Public Transport\u2019s traffic control systems.","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\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/","og_locale":"en_US","og_type":"article","og_title":"Prover and Region Stockholm lead model-based approach for traffic control systems - Prover - Engineering a Safer World","og_description":"A project to build a model-based environment that improves control, reduces risk, and supports better decisions for Stockholm Public Transport\u2019s traffic control systems.","og_url":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2025-07-03T09:42:31+00:00","article_modified_time":"2025-07-03T09:51:58+00:00","og_image":[{"width":2560,"height":1707,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/pexels-maxavans-5072402-scaled.jpg","type":"image\/jpeg"}],"author":"Amanda \u00d6berg","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Amanda \u00d6berg","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/"},"author":{"name":"Amanda \u00d6berg","@id":"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2"},"headline":"Prover and Region Stockholm lead model-based approach for traffic control systems","datePublished":"2025-07-03T09:42:31+00:00","dateModified":"2025-07-03T09:51:58+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/"},"wordCount":607,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/pexels-maxavans-5072402-scaled.jpg","articleSection":["Company news","Formal methods","Modeling"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/","url":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/","name":"Prover and Region Stockholm lead model-based approach for traffic control systems - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/pexels-maxavans-5072402-scaled.jpg","datePublished":"2025-07-03T09:42:31+00:00","dateModified":"2025-07-03T09:51:58+00:00","description":"A project to build a model-based environment that improves control, reduces risk, and supports better decisions for Stockholm Public Transport\u2019s traffic control systems.","breadcrumb":{"@id":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/pexels-maxavans-5072402-scaled.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/07\/pexels-maxavans-5072402-scaled.jpg","width":2560,"height":1707},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/modeling\/prover-and-region-stockholm-lead-model-based-approach-for-traffic-control-systems\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Modeling","item":"https:\/\/www.prover.com\/categories\/modeling\/"},{"@type":"ListItem","position":3,"name":"Prover and Region Stockholm lead model-based approach for traffic control systems"}]},{"@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\/21964","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=21964"}],"version-history":[{"count":14,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21964\/revisions"}],"predecessor-version":[{"id":21994,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21964\/revisions\/21994"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/21989"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=21964"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=21964"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=21964"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}