{"id":1470,"date":"2017-05-08T14:31:11","date_gmt":"2017-05-08T13:31:11","guid":{"rendered":"https:\/\/www.prover.com\/?p=1470"},"modified":"2025-01-07T14:24:15","modified_gmt":"2025-01-07T13:24:15","slug":"report-smart-rail-europe-amsterdam-5-6-april-2017","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/","title":{"rendered":"Report from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017"},"content":{"rendered":"

Smart Rail Europ<\/a>e is the event attended by rail technology professional involved in the digitization of European railway. The conference gathers CEOs, Infrastructure managers, TOCs, suppliers, integrators, consultants and government bodies for an intensive two-day knowledge sharing where experience and solutions are presented between experts.<\/span><\/p>\n

Swift changes in European rail industry<\/h3>\n

During these days, it became obvious that the European rail industry is now evolving and that the change is swift. Increasing capacity, safety and revenue are top priorities for the business and to accomplish that it is crucial to exploit advanced technology in a time- and cost-efficient manner. However, this requires a collaborative, integrated and system-wide approach. In the exhibition speakers from rail operators, infrastructure managers, and European government bodies shared their own views on these key challenges.<\/span><\/p>\n

As in previous years, Prover participated in the conference and this time contributed with a workshop on the topic <\/span>Safety with Mathematical Precision<\/span><\/i> (more on that below). We also had a frequented booth demonstrating the concept of <\/span>Interlocking Design Automation (IDeA)<\/b><\/a>. With so many interesting discussions with suppliers of signaling systems it is quite clear there is a game changer going on and that <\/span>Interlocking Design Automation (IDeA)<\/b><\/a> will be an essential part for the success of handling the many aspects and problems of today\u00b4s landscape of ERTMS and other systems.<\/span><\/p>\n

The digital evolution has just begun and it will be interesting to follow how this will affect the railway business in different areas. Prover is very much a part of the innovation and will contribute to the development.<\/span><\/p>\n

Smart Rail workshops<\/b><\/h3>\n

The workshop sessions at SmartRail offers a perfect platform for interaction, debate and best practice sharing. During our workshop, expert speaker Jesper Carlstr\u00f6m made the point that by using the concept of mathematical proof and formal verification methods, there are many advantages to gain in the development of software for Signaling control solutions.<\/span><\/p>\n

The conclusion is quite clear that one need to look at formal methods in three different ways; as <\/span>Hazard-based addressing the high-level requirements about dangerous scenarios being impossible. Also signaling principles-based to have the requirements about safety principles being fulfilled and finally as Design-based, addressing the requirements about design principles being followed<\/span><\/p>\n

For those who missed the presentation or want a rehearsal, I\u2019d happily send it over \u2013 just send me a notification at anders.loov@prover.com.<\/span><\/p>\n

Trafikverket plans for ERTMS L2 in Sweden<\/b><\/p>\n

Also noted from Trafikverket\u00b4s presentation was the intense work on-going in Sweden to plan for the new ERTMS L2 high speed train line, S\u00f6dra stambanan with its connection to G\u00f6teborg and Malm\u00f6. It has been handled by the National Negotiation on Housing and Infrastructure group and the high level view is to plan for new cities close to the railway in order to reach labor markets by sustainable travel.<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

Smart Rail Europe is the event attended by rail technology professional involved in the digitization of European railway. The conference […]<\/p>\n","protected":false},"author":45,"featured_media":1472,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[160],"tags":[77,73],"class_list":["post-1470","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-events","tag-interlocking-design-automation","tag-railway-events"],"yoast_head":"\nReport from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017 - 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\/report-smart-rail-europe-amsterdam-5-6-april-2017\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Report from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017 - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Smart Rail Europe is the event attended by rail technology professional involved in the digitization of European railway. The conference [...]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2017-05-08T13:31:11+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-07T13:24:15+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/smartrail-report.png\" \/>\n\t<meta property=\"og:image:width\" content=\"460\" \/>\n\t<meta property=\"og:image:height\" content=\"378\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\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\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/\"},\"author\":{\"name\":\"Amanda \u00d6berg\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2\"},\"headline\":\"Report from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017\",\"datePublished\":\"2017-05-08T13:31:11+00:00\",\"dateModified\":\"2025-01-07T13:24:15+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/\"},\"wordCount\":481,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/smartrail-report.png\",\"keywords\":[\"Interlocking Design Automation\",\"Railway Events\"],\"articleSection\":[\"Events\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/\",\"url\":\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/\",\"name\":\"Report from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017 - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/smartrail-report.png\",\"datePublished\":\"2017-05-08T13:31:11+00:00\",\"dateModified\":\"2025-01-07T13:24:15+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/smartrail-report.png\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/smartrail-report.png\",\"width\":460,\"height\":378,\"caption\":\"SmartRail report 2017\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#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\":\"Report from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017\"}]},{\"@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":"Report from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017 - 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\/report-smart-rail-europe-amsterdam-5-6-april-2017\/","og_locale":"en_US","og_type":"article","og_title":"Report from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017 - Prover - Engineering a Safer World","og_description":"Smart Rail Europe is the event attended by rail technology professional involved in the digitization of European railway. The conference [...]","og_url":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2017-05-08T13:31:11+00:00","article_modified_time":"2025-01-07T13:24:15+00:00","og_image":[{"width":460,"height":378,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/smartrail-report.png","type":"image\/png"}],"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\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/"},"author":{"name":"Amanda \u00d6berg","@id":"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2"},"headline":"Report from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017","datePublished":"2017-05-08T13:31:11+00:00","dateModified":"2025-01-07T13:24:15+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/"},"wordCount":481,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/smartrail-report.png","keywords":["Interlocking Design Automation","Railway Events"],"articleSection":["Events"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/","url":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/","name":"Report from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017 - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/smartrail-report.png","datePublished":"2017-05-08T13:31:11+00:00","dateModified":"2025-01-07T13:24:15+00:00","breadcrumb":{"@id":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/smartrail-report.png","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/05\/smartrail-report.png","width":460,"height":378,"caption":"SmartRail report 2017"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/events\/report-smart-rail-europe-amsterdam-5-6-april-2017\/#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":"Report from Smart Rail Europe \u2013 Amsterdam, 5-6 April 2017"}]},{"@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\/1470","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=1470"}],"version-history":[{"count":2,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1470\/revisions"}],"predecessor-version":[{"id":20640,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1470\/revisions\/20640"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/1472"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=1470"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=1470"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=1470"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}