{"id":1796,"date":"2017-10-03T11:15:59","date_gmt":"2017-10-03T10:15:59","guid":{"rendered":"https:\/\/www.prover.com\/?p=1796"},"modified":"2025-01-07T14:40:08","modified_gmt":"2025-01-07T13:40:08","slug":"new-way-thinking-railway-industry","status":"publish","type":"post","link":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/","title":{"rendered":"A new way of thinking for the railway industry"},"content":{"rendered":"

There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. Capacity must increase, preferably fast and cost efficient, and be delivered with a high service level to meet the demand of the future traveler.<\/p>\n

In the article Is \u2018outside-the-box\u2019 thinking enough to implement new rail technologies?<\/strong><\/a>, written by Rebeka Sellick, Head of Rail at TRL, Rebeka discusses innovations in rail and whether simply thinking \u2018outside-the-box\u2019 is enough to truly move forward with implementing new rail technologies.
\nOne of examples that Rebeka mentions is regarding our own product; Prover Certifier<\/a>.<\/p>\n

\u201cAutomation of classic processes (which combine expertise, experience and limited computational routines) has been successful in building confidence to overcome the critical initial acceptance barriers to innovation. For example, Siemens has automated signal interlocking proving SIL4 verification based on machine learning outputs has been achieved, paving the way for Prover Certifier sign-off within a day rather than months.\u201d<\/em><\/p>\n

Innovation is the way forward if the railway industry are going to keep up with our more and more digital world. Traditional methods are too labour-intensive and time-consuming to meet the infrastructure managers objectives and schedule of today and guarantee safety.<\/p>\n","protected":false},"excerpt":{"rendered":"

There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. […]<\/p>\n","protected":false},"author":13,"featured_media":1797,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[152],"tags":[80,85,83],"class_list":["post-1796","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-formal-methods","tag-automation-solutions","tag-future-of-railway","tag-railway-industry"],"yoast_head":"\nA new way of thinking for the railway industry - 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\/formal-methods\/new-way-thinking-railway-industry\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"A new way of thinking for the railway industry - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. [...]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2017-10-03T10:15:59+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-07T13:40:08+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/outside-the-box-blog-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"700\" \/>\n\t<meta property=\"og:image:height\" content=\"300\" \/>\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\/formal-methods\/new-way-thinking-railway-industry\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/\"},\"author\":{\"name\":\"Anders Linden\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8c9c39a0d3a9071571558e15bb704155\"},\"headline\":\"A new way of thinking for the railway industry\",\"datePublished\":\"2017-10-03T10:15:59+00:00\",\"dateModified\":\"2025-01-07T13:40:08+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/\"},\"wordCount\":207,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/outside-the-box-blog-jpg.webp\",\"keywords\":[\"Automation Solutions\",\"Future of Railway\",\"Railway Industry\"],\"articleSection\":[\"Formal methods\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/\",\"url\":\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/\",\"name\":\"A new way of thinking for the railway industry - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/outside-the-box-blog-jpg.webp\",\"datePublished\":\"2017-10-03T10:15:59+00:00\",\"dateModified\":\"2025-01-07T13:40:08+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/outside-the-box-blog-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/outside-the-box-blog-jpg.webp\",\"width\":700,\"height\":300},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#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\":\"A new way of thinking for the railway industry\"}]},{\"@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 new way of thinking for the railway industry - 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\/formal-methods\/new-way-thinking-railway-industry\/","og_locale":"en_US","og_type":"article","og_title":"A new way of thinking for the railway industry - Prover - Engineering a Safer World","og_description":"There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. [...]","og_url":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2017-10-03T10:15:59+00:00","article_modified_time":"2025-01-07T13:40:08+00:00","og_image":[{"width":700,"height":300,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/outside-the-box-blog-jpg.webp","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\/formal-methods\/new-way-thinking-railway-industry\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/"},"author":{"name":"Anders Linden","@id":"https:\/\/prover.com\/#\/schema\/person\/8c9c39a0d3a9071571558e15bb704155"},"headline":"A new way of thinking for the railway industry","datePublished":"2017-10-03T10:15:59+00:00","dateModified":"2025-01-07T13:40:08+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/"},"wordCount":207,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/outside-the-box-blog-jpg.webp","keywords":["Automation Solutions","Future of Railway","Railway Industry"],"articleSection":["Formal methods"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/","url":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/","name":"A new way of thinking for the railway industry - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/outside-the-box-blog-jpg.webp","datePublished":"2017-10-03T10:15:59+00:00","dateModified":"2025-01-07T13:40:08+00:00","breadcrumb":{"@id":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/outside-the-box-blog-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/outside-the-box-blog-jpg.webp","width":700,"height":300},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/formal-methods\/new-way-thinking-railway-industry\/#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":"A new way of thinking for the railway industry"}]},{"@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\/1796","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=1796"}],"version-history":[{"count":3,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1796\/revisions"}],"predecessor-version":[{"id":20645,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1796\/revisions\/20645"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/1797"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=1796"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=1796"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=1796"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}