{"id":6250,"date":"2022-08-26T15:24:27","date_gmt":"2022-08-26T14:24:27","guid":{"rendered":"https:\/\/www.prover.com\/?p=6124"},"modified":"2025-01-13T14:20:39","modified_gmt":"2025-01-13T13:20:39","slug":"signaling-design-automation-forum-2022-stockholm","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/","title":{"rendered":"Signaling Design Automation Forum 2022 \u2013 Stockholm"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-1\" style=\"--awb-text-transform:none;\"><p>SDA Forum has been a success in the past and our goal is to exceed your expectations this autumn.<\/p>\n<p>The first conference was hosted by Prover in Stockholm 2018. After the success, we\u2019ve been to Shanghai 2019 and Paris 2021. Now it is time to close the circle in Stockholm again, on the 18th of October.<\/p>\n<p>This year\u2019s forum will circle around Digital Twins as a means to get in control of your signaling systems, now and for the future. The use of Digital Twins complements our SDA solution and leverages the use of Formal Methods. Manual methods and document based descriptions will not reveal the unknown relation nor behavior in your systems. Signaling systems are too complicated to describe in text, flowcharts or pictures. The capability to reach common understanding and share knowledge of the system as a whole is key to overcoming today\u2019s increasing demands in the railways.<\/p>\n<p>Our strive to address these challenges are pointing us in the direction of new solutions and collaborations. Railway\u2019s is a shared responsibility and our hope is that we in this forum can share expectations and experience among each other.<\/p>\n<p>Amongst our attendees, we have had leading infrastructure managers, suppliers, and engineering firms from all over the world, sharing experiences, being inspired, and networking. We are truly happy by the interest and the engagement shown during previous conferences and again, let us exceed our expectations!<\/p>\n<p>We are really looking forward to discussing these subjects with all of you, the 18th of October 2022 in Stockholm.<\/p>\n<p><a href=\"https:\/\/www.prover.com\/signaling-design-automation-forum\/\">Click here to learn more about SDA Forum 2022<\/a><\/p>\n<p>Anders Lind\u00e9n<br \/>\nCEO at Prover<\/p>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":13,"featured_media":14321,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[160],"tags":[],"class_list":["post-6250","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-events"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Signaling Design Automation Forum 2022 \u2013 Stockholm - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Signaling Design Automation Forum 2022 in Stockholm - The forum for sharing experiences and best practices as well as for networking.\" \/>\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\/events\/signaling-design-automation-forum-2022-stockholm\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Signaling Design Automation Forum 2022 \u2013 Stockholm - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Signaling Design Automation Forum 2022 in Stockholm - The forum for sharing experiences and best practices as well as for networking.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2022-08-26T14:24:27+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T13:20:39+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/08\/SDA-Forum-2022-is-coming-up.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"675\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Anders Linden\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Anders Linden\" \/>\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\/events\/signaling-design-automation-forum-2022-stockholm\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/\"},\"author\":{\"name\":\"Anders Linden\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8c9c39a0d3a9071571558e15bb704155\"},\"headline\":\"Signaling Design Automation Forum 2022 \u2013 Stockholm\",\"datePublished\":\"2022-08-26T14:24:27+00:00\",\"dateModified\":\"2025-01-13T13:20:39+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/\"},\"wordCount\":619,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/08\/SDA-Forum-2022-is-coming-up.jpg\",\"articleSection\":[\"Events\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/\",\"url\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/\",\"name\":\"Signaling Design Automation Forum 2022 \u2013 Stockholm - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/08\/SDA-Forum-2022-is-coming-up.jpg\",\"datePublished\":\"2022-08-26T14:24:27+00:00\",\"dateModified\":\"2025-01-13T13:20:39+00:00\",\"description\":\"Signaling Design Automation Forum 2022 in Stockholm - The forum for sharing experiences and best practices as well as for networking.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/08\/SDA-Forum-2022-is-coming-up.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/08\/SDA-Forum-2022-is-coming-up.jpg\",\"width\":1200,\"height\":675,\"caption\":\"SDA Forum 2022 is coming up\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Events\",\"item\":\"https:\/\/www.prover.com\/categories\/events\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Signaling Design Automation Forum 2022 \u2013 Stockholm\"}]},{\"@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\/8c9c39a0d3a9071571558e15bb704155\",\"name\":\"Anders Linden\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g\",\"caption\":\"Anders Linden\"},\"url\":\"https:\/\/www.prover.com\/author\/anders-linden\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Signaling Design Automation Forum 2022 \u2013 Stockholm - Prover - Engineering a Safer World","description":"Signaling Design Automation Forum 2022 in Stockholm - The forum for sharing experiences and best practices as well as for networking.","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\/events\/signaling-design-automation-forum-2022-stockholm\/","og_locale":"en_US","og_type":"article","og_title":"Signaling Design Automation Forum 2022 \u2013 Stockholm - Prover - Engineering a Safer World","og_description":"Signaling Design Automation Forum 2022 in Stockholm - The forum for sharing experiences and best practices as well as for networking.","og_url":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2022-08-26T14:24:27+00:00","article_modified_time":"2025-01-13T13:20:39+00:00","og_image":[{"width":1200,"height":675,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/08\/SDA-Forum-2022-is-coming-up.jpg","type":"image\/jpeg"}],"author":"Anders Linden","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Anders Linden","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/"},"author":{"name":"Anders Linden","@id":"https:\/\/prover.com\/#\/schema\/person\/8c9c39a0d3a9071571558e15bb704155"},"headline":"Signaling Design Automation Forum 2022 \u2013 Stockholm","datePublished":"2022-08-26T14:24:27+00:00","dateModified":"2025-01-13T13:20:39+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/"},"wordCount":619,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/08\/SDA-Forum-2022-is-coming-up.jpg","articleSection":["Events"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/","url":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/","name":"Signaling Design Automation Forum 2022 \u2013 Stockholm - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/08\/SDA-Forum-2022-is-coming-up.jpg","datePublished":"2022-08-26T14:24:27+00:00","dateModified":"2025-01-13T13:20:39+00:00","description":"Signaling Design Automation Forum 2022 in Stockholm - The forum for sharing experiences and best practices as well as for networking.","breadcrumb":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/08\/SDA-Forum-2022-is-coming-up.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/08\/SDA-Forum-2022-is-coming-up.jpg","width":1200,"height":675,"caption":"SDA Forum 2022 is coming up"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2022-stockholm\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Events","item":"https:\/\/www.prover.com\/categories\/events\/"},{"@type":"ListItem","position":3,"name":"Signaling Design Automation Forum 2022 \u2013 Stockholm"}]},{"@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\/8c9c39a0d3a9071571558e15bb704155","name":"Anders Linden","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g","caption":"Anders Linden"},"url":"https:\/\/www.prover.com\/author\/anders-linden\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6250","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\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=6250"}],"version-history":[{"count":4,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6250\/revisions"}],"predecessor-version":[{"id":20990,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6250\/revisions\/20990"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14321"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=6250"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=6250"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=6250"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}