{"id":2389,"date":"2018-06-07T15:38:44","date_gmt":"2018-06-07T14:38:44","guid":{"rendered":"https:\/\/www.prover.com\/?p=2389"},"modified":"2025-01-07T15:54:53","modified_gmt":"2025-01-07T14:54:53","slug":"summary-signaling-design-automation-forum-2018","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/","title":{"rendered":"A summary of the Signaling Design Automation Forum 2018"},"content":{"rendered":"<p>The 15th of May Prover hosted the first <a href=\"https:\/\/www.prover.com\/signaling-design-automation-forum\/\">Signaling Design Automation Forum<\/a> with attendees from all over the world.<\/p>\n<p>Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation \u2013 software technologies to automate design and verification of railway signaling systems.<\/p>\n<p>We wanted to create a forum for sharing experiences and best practices, and for networking.<\/p>\n<p>We are really happy by the interest and the engagement shown during the conference. The interest exceeded our expectations. We had attendees from leading infrastructure managers, suppliers and engineering firms from all over the world.<\/p>\n<p><iframe class=\"lazyload\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27560%27%20height%3D%27315%27%20viewBox%3D%270%200%20560%20315%27%3E%3Crect%20width%3D%27560%27%20height%3D%27315%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.youtube.com\/embed\/lmKKO86ffwg?rel=0\" width=\"560\" height=\"315\" frameborder=\"0\" allowfullscreen=\"allowfullscreen\"><\/iframe><\/p>\n<h3>What happened during SDAF 2018?<\/h3>\n<p>During the day several interesting presentations were held, and we ran workshop sessions covering some key issues on formal methods and design automation in between presentations blocks<\/p>\n<p>Arne Bor\u00e4lv from Prover started the day off with giving an overview of the latest evolutions in design automation and formal methods. Afterwards, Jesper Carlstr\u00f6m and Daniel Fredholm from Prover held a presentation about Prover\u2019s approach to Signaling Design Automation.<\/p>\n<p>David Bonvoisin from RATP spoke about 30 years of formal verification, showing how RATP works with and uses formal methods. Julien Ordioni, also from RATP, provided an interesting session about RATP\u00b4s interlocking strategy, introducing the new relay based PHPI interlocking systems and formal proofs.<\/p>\n<p>Peter Duggan from Siemens held a session about introducing mathematical verification techniques to railway interlockings in order efficiently prove safety. Peter \u00b4s presentation lay out the drivers for change to automotated sign-off verification and automated development.<\/p>\n<p>Andreas M\u00e5rtensson from SL shared experiences of using a full design automation process, including auto generated software for interlocking on Roslagsbanan.<\/p>\n<p>Sofia Georgiadis and William Parrella from NYCT, shared NYCT benefits of using Prover iLock for interlocking safety verification at New York City Subway.<\/p>\n<p>Mohammed Tokunboh and Pierre Nicolleau from Ansaldo STS spoke about experiences of using formal methods and formal verification for safety verification of CBTC and ERTMS subsystems.<\/p>\n<p>The main part of the afternoon was spent in workshop sessions discussion experiences of working with formal methods and design automation, benefits and challenges and how to overcome these challenges. This workshop, as well as the survey before SDA Forum, will result in a report that we will publish.<\/p>\n<p>Stockholm offered fantastic weather all day and after a very rewarding day of sessions, a networking session on the rooftop bar and dinner closed off the conference.<\/p>\n<h3>SDAF 2019<\/h3>\n<p>We at Prover are very grateful to all attendees and speakers for joining us and making this day a truly inspiring and rewarding day. Given the success and the interest for the event, we plan to host this next year as well! We will keep you posted!<\/p>\n<p>Yours sincerely,<br \/>\nAnders Lind\u00e9n<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The 15th of May Prover hosted the first Signaling Design Automation Forum with attendees from all over the world. Our  [&#8230;]<\/p>\n","protected":false},"author":13,"featured_media":14931,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[160],"tags":[85,77,73],"class_list":["post-2389","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-events","tag-future-of-railway","tag-interlocking-design-automation","tag-railway-events"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>A summary of the Signaling Design Automation Forum 2018 - Prover - Engineering a Safer World<\/title>\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\/summary-signaling-design-automation-forum-2018\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"A summary of the Signaling Design Automation Forum 2018 - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"The 15th of May Prover hosted the first Signaling Design Automation Forum with attendees from all over the world. Our [...]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2018-06-07T14:38:44+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-07T14:54:53+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\" \/>\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\/webp\" \/>\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=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/\"},\"author\":{\"name\":\"Anders Linden\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8c9c39a0d3a9071571558e15bb704155\"},\"headline\":\"A summary of the Signaling Design Automation Forum 2018\",\"datePublished\":\"2018-06-07T14:38:44+00:00\",\"dateModified\":\"2025-01-07T14:54:53+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/\"},\"wordCount\":464,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"keywords\":[\"Future of Railway\",\"Interlocking Design Automation\",\"Railway Events\"],\"articleSection\":[\"Events\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/\",\"url\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/\",\"name\":\"A summary of the Signaling Design Automation Forum 2018 - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"datePublished\":\"2018-06-07T14:38:44+00:00\",\"dateModified\":\"2025-01-07T14:54:53+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"width\":1200,\"height\":675,\"caption\":\"Prover\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#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\":\"A summary of the Signaling Design Automation Forum 2018\"}]},{\"@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":"A summary of the Signaling Design Automation Forum 2018 - Prover - Engineering a Safer World","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\/summary-signaling-design-automation-forum-2018\/","og_locale":"en_US","og_type":"article","og_title":"A summary of the Signaling Design Automation Forum 2018 - Prover - Engineering a Safer World","og_description":"The 15th of May Prover hosted the first Signaling Design Automation Forum with attendees from all over the world. Our [...]","og_url":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2018-06-07T14:38:44+00:00","article_modified_time":"2025-01-07T14:54:53+00:00","og_image":[{"width":1200,"height":675,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","type":"image\/webp"}],"author":"Anders Linden","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Anders Linden","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/"},"author":{"name":"Anders Linden","@id":"https:\/\/prover.com\/#\/schema\/person\/8c9c39a0d3a9071571558e15bb704155"},"headline":"A summary of the Signaling Design Automation Forum 2018","datePublished":"2018-06-07T14:38:44+00:00","dateModified":"2025-01-07T14:54:53+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/"},"wordCount":464,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","keywords":["Future of Railway","Interlocking Design Automation","Railway Events"],"articleSection":["Events"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/","url":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/","name":"A summary of the Signaling Design Automation Forum 2018 - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","datePublished":"2018-06-07T14:38:44+00:00","dateModified":"2025-01-07T14:54:53+00:00","breadcrumb":{"@id":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","width":1200,"height":675,"caption":"Prover"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/events\/summary-signaling-design-automation-forum-2018\/#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":"A summary of the Signaling Design Automation Forum 2018"}]},{"@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\/2389","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=2389"}],"version-history":[{"count":2,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/2389\/revisions"}],"predecessor-version":[{"id":20668,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/2389\/revisions\/20668"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14931"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=2389"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=2389"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=2389"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}