“C.3 Artificial Intelligence and Machine Learning”.<\/li>\n<\/ul>\nLifecycle models<\/h3>\n
Section C.1 provides guidance and examples regarding two lifecycle models, i.e., linear lifecycle models (such as the waterfall and v model) and iterative lifecycle models. Linear lifecycle models offer a structured and predictable approach to software development, widely considered the conventional choice. The iterative lifecycle models, on the other hand, prioritize flexibility and responsiveness (to changes), albeit requiring more frequent communication and coordination among team members.<\/p>\n
There has been a growing interest in applying iterative models (or agile methodologies) in safety-critical systems including rail systems. We find it interesting that iterative lifecycle models are explicitly accepted by the standard. However, adopting these iterative lifecycle models requires careful consideration to balance flexibility and safety assurance, ensuring that safety and regulatory requirements are adequately addressed. Achieving such a balance can be facilitated by leveraging a model-based approach, adaptability (e.g., utilizing tool diversity as described above), and rigorous methods such as Formal Verification. The automation embedded in formal verification processes enables the assurance of safety with reduced verification times and great certainty. Prover’s SDA approach fits this profile perfectly.<\/p>\n
Modeling<\/h3>\n
In Section C.2, the advantages of modeling approaches are explored, and guidance is provided regarding their application in the context of the standard.<\/p>\n
At Prover, we are also excited by this new inclusion in the standard, as modeling (using our formal languages such as PiSPEC, LCF and HLL) serves as one of the cornerstone techniques in the Prover Trident solution and the Digital Twin approach. As highlighted in the excerpt from the standard below, the modeling approach brings even greater benefits when combined with Formal Verification (using formal proofs):<\/p>\n
\u201cModels can also reduce the need for certain activities, particularly when using formal proofs.\u201d<\/i><\/p>\nAI\/ML<\/h3>\n
Artificial Intelligence (AI), in particular Machine Learning (ML) as the most relevant among the AI areas, is discussed in Section C.3, with respect to the difficult challenges to be addressed in the context of applications in the scope of EN 50716. Because of the challenges (e.g., the V&V of ML components), the ML techniques have not yet become viable techniques for rigorous software development within the standard.<\/p>\n
While we agree that it is natural to have such concerns about ML given its inherent characteristics (such as statistical modeling and interpretability), from a different perspective, we at Prover have started to explore how ML techniques can accelerate the adoption of Formal Methods. For more details, see our blog post on AI<\/a>.<\/p>\nImprovements in management and organization<\/h2>\n
Following a significant refinement for Clause 5, the requirements on software management and organization have become more concise, succinct, and in some cases relaxed, thereby facilitating users to navigate standards with greater ease and flexibility.<\/p>\n
One example of removing\/relaxing unrealistic restrictions is the fact that changing the roles of Verifier and Validator is no longer prohibited (but is still discouraged) as outlined in Subclause 5.1.2.10 f of EN 50716, compared to Clause 5.1.2.4 of EN 50128.<\/p>\n
The role of Integrator in EN 50128 is removed from EN 50716 and the responsibilities of the role fall under the roles of Implementer and Tester. Instead of the Integrator, the Implementer is supposed to manage the integration process, whereas the Tester is supposed to take responsibility for writing relevant specifications such as the Software Integration Test Specifications and the Software\/Hardware Integration Test Specification.<\/p>\n
The \u201cSafety Authority\u201d body is no longer relevant in EN 50716. For example, the Assessor has the flexibility to belong to any stakeholder organization without requiring the approval of the “Safety Authority”, as outlined in Subclause 5.1.2.5.<\/p>\n
Miscellaneous changes<\/h2>\n
There are also some changes of various kinds we find interesting and worth highlighting here.<\/p>\n
\n- EN 50716 switched to \u201cBasic Integrity\u201d defined in EN 50126 and stopped using \u201cSIL 0\u201d, which probably corresponds to one change described in the foreword: \u201cBetter alignment with EN 50126-1:2017 and EN 50126-2:2017, including definitions, has been made;\u201d<\/li>\n
- Some justifications and documents are no longer required for the T2 tools used for Basic Integrity. See e.g., Subclauses 6.7.4.2 and 6.7.4.3.<\/li>\n
- Programming languages can also refer to diagrammatical or modeling languages rather than just textual programming languages (such as C, C++, Java, etc.). Additionally, Clause 7.3 (Architecture and Design) introduces criteria for choosing suitable programming languages, which in part replace the requirements related to the fitness for purpose of programming languages (Subclause 6.7.4.7 of EN 50128).<\/li>\n
- In EN 50716, the term \u201capplication algorithms\u201d has been removed from the title of Clause 8. This change may clarify that this clause primarily addresses the requirements for application data rather than generic or application software. The application data primarily consists of parameterization information for specific installations and the application software defines the intended behavior (or logic) of specific applications. Prover iLock is a complete development process for signaling systems, particularly application data and software. Hence it is part of our continuous endeavor to maintain its compliance with Clause 8 of EN 50716.<\/li>\n<\/ol>\n
Conclusion<\/h2>\n
In summary, here at Prover we are leading the way when it comes to embracing the latest advancements within the standard, while continually enhancing our solutions and products to closely align with the requirements of EN 50716. Our dedication ensures that our customers and partners are fully equipped to meet these requirements and thrive in their endeavors.<\/p>\n<\/div><\/div><\/div><\/div><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"
In the realm of railway software development, adhering to industrial standards is not just a matter of compliance; it\u2019s a cornerstone of ensuring safe, reliable, and efficient railway systems. The latest milestone along this journey is the introduction of the CENELEC standard EN 50716:2023.<\/p>\n","protected":false},"author":23,"featured_media":19272,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[163],"tags":[],"class_list":["post-19051","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-guide"],"yoast_head":"\n
A guide on CENELEC EN 50716 - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Adhering to industrial standards is not just a matter of compliance; it\u2019s a cornerstone of ensuring safe, reliable, and efficient railway.\" \/>\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\/guide\/cenelec-en-50716\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"A guide on CENELEC EN 50716 - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Adhering to industrial standards is not just a matter of compliance; it\u2019s a cornerstone of ensuring safe, reliable, and efficient railway.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2024-03-20T11:17:51+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-08T13:49:33+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/03\/Cenelec-EN-50716-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"627\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\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=\"7 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/\"},\"author\":{\"name\":\"Fei Niu\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/194250500afe128870121ec21dedacac\"},\"headline\":\"A guide on CENELEC EN 50716\",\"datePublished\":\"2024-03-20T11:17:51+00:00\",\"dateModified\":\"2025-01-08T13:49:33+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/\"},\"wordCount\":3969,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/03\/guide_cenelec.jpg\",\"articleSection\":[\"Guide\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/\",\"url\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/\",\"name\":\"A guide on CENELEC EN 50716 - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/03\/guide_cenelec.jpg\",\"datePublished\":\"2024-03-20T11:17:51+00:00\",\"dateModified\":\"2025-01-08T13:49:33+00:00\",\"description\":\"Adhering to industrial standards is not just a matter of compliance; it\u2019s a cornerstone of ensuring safe, reliable, and efficient railway.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/03\/guide_cenelec.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/03\/guide_cenelec.jpg\",\"width\":1500,\"height\":1099},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Guide\",\"item\":\"https:\/\/www.prover.com\/categories\/guide\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"A guide on CENELEC 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":"A guide on CENELEC EN 50716 - Prover - Engineering a Safer World","description":"Adhering to industrial standards is not just a matter of compliance; it\u2019s a cornerstone of ensuring safe, reliable, and efficient railway.","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\/guide\/cenelec-en-50716\/","og_locale":"en_US","og_type":"article","og_title":"A guide on CENELEC EN 50716 - Prover - Engineering a Safer World","og_description":"Adhering to industrial standards is not just a matter of compliance; it\u2019s a cornerstone of ensuring safe, reliable, and efficient railway.","og_url":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2024-03-20T11:17:51+00:00","article_modified_time":"2025-01-08T13:49:33+00:00","og_image":[{"width":1200,"height":627,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/03\/Cenelec-EN-50716-jpg.webp","type":"image\/jpeg"}],"author":"Fei Niu","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Fei Niu","Est. reading time":"7 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/"},"author":{"name":"Fei Niu","@id":"https:\/\/prover.com\/#\/schema\/person\/194250500afe128870121ec21dedacac"},"headline":"A guide on CENELEC EN 50716","datePublished":"2024-03-20T11:17:51+00:00","dateModified":"2025-01-08T13:49:33+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/"},"wordCount":3969,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/03\/guide_cenelec.jpg","articleSection":["Guide"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/","url":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/","name":"A guide on CENELEC EN 50716 - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/03\/guide_cenelec.jpg","datePublished":"2024-03-20T11:17:51+00:00","dateModified":"2025-01-08T13:49:33+00:00","description":"Adhering to industrial standards is not just a matter of compliance; it\u2019s a cornerstone of ensuring safe, reliable, and efficient railway.","breadcrumb":{"@id":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/guide\/cenelec-en-50716\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/03\/guide_cenelec.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/03\/guide_cenelec.jpg","width":1500,"height":1099},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Guide","item":"https:\/\/www.prover.com\/categories\/guide\/"},{"@type":"ListItem","position":3,"name":"A guide on CENELEC 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\/19051","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=19051"}],"version-history":[{"count":38,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/19051\/revisions"}],"predecessor-version":[{"id":20712,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/19051\/revisions\/20712"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/19272"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=19051"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=19051"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=19051"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}