{"id":18834,"date":"2024-02-23T09:15:56","date_gmt":"2024-02-23T08:15:56","guid":{"rendered":"https:\/\/www.prover.com\/?p=18834"},"modified":"2025-01-13T14:48:08","modified_gmt":"2025-01-13T13:48:08","slug":"exploring-the-evolution-of-railway-software-standards-with-en-50716","status":"publish","type":"post","link":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/","title":{"rendered":"Exploring the evolution of railway software standards with EN 50716"},"content":{"rendered":"

In the realm of railway software development, adherence to industrial standards is not just a matter of compliance; it’s a cornerstone of ensuring safety, reliability, and efficiency in railway operations. The latest milestone in this journey is the introduction of the CENELEC standard EN 50716:2023. This new standard represents a significant leap forward from its predecessors, EN 50128:2011 and EN 50657:2017, while maintaining a smooth transition from its predecessors and a closer alignment with the railway RAMS standards (EN 50126 and EN 50129).<\/p>\n

At Prover, we’ve been deeply involved in the landscape of railway software standards, providing compliant tools and applications for years. Now, as we delve into the nuances of the standard, we’re thrilled to share our insights and discoveries with you.<\/p>\n

One of the standout features of EN 50716 is the expanded endorsement of formal methods across all Safety Integrity Levels (SILs), a testament to the growing efficiency and effectiveness of these techniques for rail systems. Moreover, the concept of \u201ctool diversity\u201d, introduced in previous standards and further solidified in EN 50716, opens new avenues for trust delegation among T2 and T3 tools1<\/sup>, enhancing the robustness and flexibility of software development processes. These evolutions align seamlessly with our longstanding commitment to formal methods and the principles (regarding tool diversity) that have guided Prover\u2019s product design for many years.<\/p>\n

But evolution doesn’t stop there. Annex C of EN 50716 introduces fresh perspectives on software development, including guidance on two lifecycle models (linear versus iterative), modeling techniques, and the integration of Artificial Intelligence and Machine Learning (AI\/ML). While iterative lifecycle models offer flexibility, they also demand careful navigation to maintain safety and regulatory compliance\u2014a balance we’re well-equipped to address at Prover.<\/p>\n

As for AI\/ML, while their potential is undeniable, challenges in verification and validation of ML components within the context of EN 50716 remain. However, at Prover, we’re already exploring how these technologies can synergize with formal methods to drive innovation and efficiency.<\/p>\n

Another notable change we wish to highlight before concluding this blog post is the major improvements made to software management and organization (clause 5) in EN 50716. These improvements eliminate outdated terminology, enhance clarity, and improve readability, thereby facilitating users to navigate standards with greater ease and flexibility while maintaining the same level of rigor.<\/p>\n

1 <\/sup>Model checkers (such as Prover\u2019s PSL) and testing-related utilities fall into the class of T2 tools, which is specifically designed for verifying code or data. In contrast, T3 tools are involved in the creation or transformation of code, commonly represented by code compilers and generators.<\/em><\/p>\n

Read the complete guide on CENELEC standard EN 50716 here!<\/a><\/p>\n<\/div><\/div><\/div><\/div><\/div>

<\/span><\/div><\/div><\/div>
\n

How safe and efficient are your rail control systems? Let\u2019s find out!<\/a><\/u><\/h4>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"

In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement.<\/p>\n","protected":false},"author":23,"featured_media":18868,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[157],"tags":[],"class_list":["post-18834","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-quality"],"yoast_head":"\nExploring the evolution of railway software standards with EN 50716 - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement.\" \/>\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\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Exploring the evolution of railway software standards with EN 50716 - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2024-02-23T08:15:56+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T13:48:08+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/02\/Prover-CENELEC-timeline2.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1280\" \/>\n\t<meta property=\"og:image:height\" content=\"720\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"Fei Niu\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Fei Niu\" \/>\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\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/\"},\"author\":{\"name\":\"Fei Niu\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/194250500afe128870121ec21dedacac\"},\"headline\":\"Exploring the evolution of railway software standards with EN 50716\",\"datePublished\":\"2024-02-23T08:15:56+00:00\",\"dateModified\":\"2025-01-13T13:48:08+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/\"},\"wordCount\":559,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/02\/Prover-CENELEC-timeline2.png\",\"articleSection\":[\"Quality\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/\",\"url\":\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/\",\"name\":\"Exploring the evolution of railway software standards with EN 50716 - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/02\/Prover-CENELEC-timeline2.png\",\"datePublished\":\"2024-02-23T08:15:56+00:00\",\"dateModified\":\"2025-01-13T13:48:08+00:00\",\"description\":\"In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/02\/Prover-CENELEC-timeline2.png\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/02\/Prover-CENELEC-timeline2.png\",\"width\":1280,\"height\":720,\"caption\":\"CENELEC timeline Prover\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Quality\",\"item\":\"https:\/\/www.prover.com\/categories\/quality\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Exploring the evolution of railway software standards with EN 50716\"}]},{\"@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\/194250500afe128870121ec21dedacac\",\"name\":\"Fei Niu\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/84d4bf08bc0c6eb639c460e72cf7258282a71e56ddc6a6489817ee51fec59ba3?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/84d4bf08bc0c6eb639c460e72cf7258282a71e56ddc6a6489817ee51fec59ba3?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/84d4bf08bc0c6eb639c460e72cf7258282a71e56ddc6a6489817ee51fec59ba3?s=96&d=mm&r=g\",\"caption\":\"Fei Niu\"},\"url\":\"https:\/\/www.prover.com\/author\/fei\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Exploring the evolution of railway software standards with EN 50716 - Prover - Engineering a Safer World","description":"In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement.","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\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/","og_locale":"en_US","og_type":"article","og_title":"Exploring the evolution of railway software standards with EN 50716 - Prover - Engineering a Safer World","og_description":"In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement.","og_url":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2024-02-23T08:15:56+00:00","article_modified_time":"2025-01-13T13:48:08+00:00","og_image":[{"width":1280,"height":720,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/02\/Prover-CENELEC-timeline2.png","type":"image\/png"}],"author":"Fei Niu","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Fei Niu","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/"},"author":{"name":"Fei Niu","@id":"https:\/\/prover.com\/#\/schema\/person\/194250500afe128870121ec21dedacac"},"headline":"Exploring the evolution of railway software standards with EN 50716","datePublished":"2024-02-23T08:15:56+00:00","dateModified":"2025-01-13T13:48:08+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/"},"wordCount":559,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/02\/Prover-CENELEC-timeline2.png","articleSection":["Quality"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/","url":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/","name":"Exploring the evolution of railway software standards with EN 50716 - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/02\/Prover-CENELEC-timeline2.png","datePublished":"2024-02-23T08:15:56+00:00","dateModified":"2025-01-13T13:48:08+00:00","description":"In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement.","breadcrumb":{"@id":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/02\/Prover-CENELEC-timeline2.png","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/02\/Prover-CENELEC-timeline2.png","width":1280,"height":720,"caption":"CENELEC timeline Prover"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/quality\/exploring-the-evolution-of-railway-software-standards-with-en-50716\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Quality","item":"https:\/\/www.prover.com\/categories\/quality\/"},{"@type":"ListItem","position":3,"name":"Exploring the evolution of railway software standards with EN 50716"}]},{"@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\/194250500afe128870121ec21dedacac","name":"Fei Niu","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/84d4bf08bc0c6eb639c460e72cf7258282a71e56ddc6a6489817ee51fec59ba3?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/84d4bf08bc0c6eb639c460e72cf7258282a71e56ddc6a6489817ee51fec59ba3?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/84d4bf08bc0c6eb639c460e72cf7258282a71e56ddc6a6489817ee51fec59ba3?s=96&d=mm&r=g","caption":"Fei Niu"},"url":"https:\/\/www.prover.com\/author\/fei\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/18834","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\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18834"}],"version-history":[{"count":19,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/18834\/revisions"}],"predecessor-version":[{"id":21003,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/18834\/revisions\/21003"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/18868"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=18834"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=18834"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=18834"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}