{"id":1892,"date":"2017-10-25T15:33:16","date_gmt":"2017-10-25T14:33:16","guid":{"rendered":"https:\/\/www.prover.com\/?p=1892"},"modified":"2025-01-08T14:19:39","modified_gmt":"2025-01-08T13:19:39","slug":"shift2rail-formal-methods-standard-interfaces","status":"publish","type":"post","link":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/","title":{"rendered":"Shift2Rail &#8211; The work package on formal methods and standard interfaces has started"},"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-blend:overlay;--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-1\"><p>Back in March this year I wrote about a work package on formal methods and standard interfaces, led by the Swedish Transport Administration (<a href=\"http:\/\/www.trafikverket.se\/for-dig-i-branschen\/Forskning-och-innovation\/Pagaende-projekt\/Shift2rail\/\">Trafikverket<\/a>, and part of the European<a href=\"http:\/\/shift2rail.org\/\"> Shift2Rail<\/a> (S2R) Joint Undertaking. Since that time, the proposal for the overall project that includes this work package has been submitted and become approved, and the project started Sept 1, 2017.<\/p>\n<p>The project kickoff was held about a month ago in Brussels, and on the very same day, the recent news on two rail giants (Siemens and Alstom) planning to merge was disclosed. As representatives of these companies and many other European rail system suppliers and infrastructure managers were present, it was interesting to try to gauge their views on this merger (in short, most were surprised by the news and hadn\u2019t had time to digest).<\/p>\n<p>The project\u2019s official name is <strong><em>Enhancing railway signaling systems based on train satellite positioning, on-board safe train integrity, formal methods approach and standard interfaces, enhancing Traffic Management System functions<\/em><\/strong>, and <a href=\"https:\/\/shift2rail.org\/cfm\/x2rail-\">has a project website (click here).<\/a><\/p>\n<p>My assignment is to assist Trafikverket acting as deputy manager for this work package, called <strong><em>Formal methods and Standardization for Smart Signaling Systems<\/em><\/strong>. Formal verification will be a key topic in this work package, as will standard interfaces; interfaces constitute an orthogonal aspect to formal methods (one can use one without the other), but the combination can be key to increase competition, and enable more efficient application (and reuse) of formal methods. Ultimately, this work package aims to leverage state-of-the-art formal methods and standard interfaces to address the following high-level objectives:<\/p>\n<ul>\n<li>Cost savings in signaling system life-cycle (LCC)<\/li>\n<li>Increased market competition and standardization<\/li>\n<li>Improved interoperability and reliability<\/li>\n<li>Shortened time-to-market of new products<\/li>\n<\/ul>\n<p>The work will be performed in collaboration with many European railway industry actors within this Joint Undertaking during the next three years. Results from this and other work packages will be presented as part of Shift2Rail dissemination activities, so stay tuned!<\/p>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":14931,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[152],"tags":[72,91],"class_list":["post-1892","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-formal-methods","tag-formal-methods","tag-shift2rail"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Shift2Rail - Formal methods &amp; standard interfaces<\/title>\n<meta name=\"description\" content=\"Shift2Rail \u2013 The work package on formal methods and standard interfaces has started. Learn more now.\" \/>\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\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Shift2Rail - Formal Methods &amp; Standard Interfaces | Prover\" \/>\n<meta property=\"og:description\" content=\"Shift2Rail \u2013 The Work Package on Formal Methods and Standard Interfaces has Started. Learn more now.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2017-10-25T14:33:16+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-08T13:19:39+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=\"Emil Blomqvist, Digital Marketer\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"Shift2Rail - Formal Methods &amp; Standard Interfaces | Prover\" \/>\n<meta name=\"twitter:description\" content=\"Shift2Rail \u2013 The Work Package on Formal Methods and Standard Interfaces has Started. Learn more now.\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Emil Blomqvist, Digital Marketer\" \/>\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\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/\"},\"author\":{\"name\":\"Emil Blomqvist, Digital Marketer\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/ea6c1ef39063c583708a75142e7b9553\"},\"headline\":\"Shift2Rail &#8211; The work package on formal methods and standard interfaces has started\",\"datePublished\":\"2017-10-25T14:33:16+00:00\",\"dateModified\":\"2025-01-08T13:19:39+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/\"},\"wordCount\":455,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"keywords\":[\"Formal Methods\",\"Shift2Rail\"],\"articleSection\":[\"Formal methods\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/\",\"url\":\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/\",\"name\":\"Shift2Rail - Formal methods & standard interfaces\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"datePublished\":\"2017-10-25T14:33:16+00:00\",\"dateModified\":\"2025-01-08T13:19:39+00:00\",\"description\":\"Shift2Rail \u2013 The work package on formal methods and standard interfaces has started. Learn more now.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#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\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Formal methods\",\"item\":\"https:\/\/www.prover.com\/categories\/formal-methods\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Shift2Rail &#8211; The work package on formal methods and standard interfaces has started\"}]},{\"@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\/ea6c1ef39063c583708a75142e7b9553\",\"name\":\"Emil Blomqvist, Digital Marketer\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/43ba2dd017f42ef94454d4b9233082e9101042408efbc559ed79f25077740c63?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/43ba2dd017f42ef94454d4b9233082e9101042408efbc559ed79f25077740c63?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/43ba2dd017f42ef94454d4b9233082e9101042408efbc559ed79f25077740c63?s=96&d=mm&r=g\",\"caption\":\"Emil Blomqvist, Digital Marketer\"},\"description\":\"\u201dWe can map the complete workings of a unit at the heart of the cycle, look inside it and see what\u2019s going on.\u201d\",\"url\":\"https:\/\/www.prover.com\/author\/emil\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Shift2Rail - Formal methods & standard interfaces","description":"Shift2Rail \u2013 The work package on formal methods and standard interfaces has started. Learn more now.","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\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/","og_locale":"en_US","og_type":"article","og_title":"Shift2Rail - Formal Methods & Standard Interfaces | Prover","og_description":"Shift2Rail \u2013 The Work Package on Formal Methods and Standard Interfaces has Started. Learn more now.","og_url":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2017-10-25T14:33:16+00:00","article_modified_time":"2025-01-08T13:19:39+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":"Emil Blomqvist, Digital Marketer","twitter_card":"summary_large_image","twitter_title":"Shift2Rail - Formal Methods & Standard Interfaces | Prover","twitter_description":"Shift2Rail \u2013 The Work Package on Formal Methods and Standard Interfaces has Started. Learn more now.","twitter_misc":{"Written by":"Emil Blomqvist, Digital Marketer","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/"},"author":{"name":"Emil Blomqvist, Digital Marketer","@id":"https:\/\/prover.com\/#\/schema\/person\/ea6c1ef39063c583708a75142e7b9553"},"headline":"Shift2Rail &#8211; The work package on formal methods and standard interfaces has started","datePublished":"2017-10-25T14:33:16+00:00","dateModified":"2025-01-08T13:19:39+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/"},"wordCount":455,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","keywords":["Formal Methods","Shift2Rail"],"articleSection":["Formal methods"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/","url":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/","name":"Shift2Rail - Formal methods & standard interfaces","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","datePublished":"2017-10-25T14:33:16+00:00","dateModified":"2025-01-08T13:19:39+00:00","description":"Shift2Rail \u2013 The work package on formal methods and standard interfaces has started. Learn more now.","breadcrumb":{"@id":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#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\/formal-methods\/shift2rail-formal-methods-standard-interfaces\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Formal methods","item":"https:\/\/www.prover.com\/categories\/formal-methods\/"},{"@type":"ListItem","position":3,"name":"Shift2Rail &#8211; The work package on formal methods and standard interfaces has started"}]},{"@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\/ea6c1ef39063c583708a75142e7b9553","name":"Emil Blomqvist, Digital Marketer","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/43ba2dd017f42ef94454d4b9233082e9101042408efbc559ed79f25077740c63?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/43ba2dd017f42ef94454d4b9233082e9101042408efbc559ed79f25077740c63?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/43ba2dd017f42ef94454d4b9233082e9101042408efbc559ed79f25077740c63?s=96&d=mm&r=g","caption":"Emil Blomqvist, Digital Marketer"},"description":"\u201dWe can map the complete workings of a unit at the heart of the cycle, look inside it and see what\u2019s going on.\u201d","url":"https:\/\/www.prover.com\/author\/emil\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1892","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\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=1892"}],"version-history":[{"count":4,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1892\/revisions"}],"predecessor-version":[{"id":20706,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1892\/revisions\/20706"}],"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=1892"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=1892"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=1892"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}