{"id":21876,"date":"2025-06-12T09:36:53","date_gmt":"2025-06-12T08:36:53","guid":{"rendered":"https:\/\/www.prover.com\/?p=21876"},"modified":"2025-07-03T10:35:38","modified_gmt":"2025-07-03T09:35:38","slug":"how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods","status":"publish","type":"post","link":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/","title":{"rendered":"How to streamline the approval of EULYNX interlockings with Formal Methods"},"content":{"rendered":"

Prover contributing in ForTeS project in Germany for DZSF with DLR<\/h3>\n

The <\/span>EULYNX<\/a> consortium and the <\/span>Europe’s Rail System Pillar<\/a> are publishing the specification of the latest generation of interlockings called “digital interlockings”. This is a precise description of interfaces of the interlocking core with its adjacent systems and of the behavior of several adjacent systems, for example, of the point controller. An important goal is to empower infrastructure managers through the standardized modularization of the interlockings to buy subsystems from different suppliers.<\/span><\/h3>\n
\n

EULYNX<\/strong> is a European initiative that standardizes railway signaling interfaces. It enables interoperability between systems, reduces vendor lock-in, and supports modular, digital, and cost-efficient signaling solutions.<\/p>\n<\/blockquote>\n

Objectives and goals of the project<\/strong><\/h3>\n

While many suppliers develop and offer corresponding products, it remains difficult for infrastructure managers to use subsystems of different suppliers as part of the same interlocking. After all, the interoperability of the subsystems and the safe function of the interlocking composed thereof need to be proven – a task for which the supplier of the complete interlocking used to be responsible in the past. Proof and approval of combinations of subsystems from arbitrary suppliers poses a new challenge.<\/p>\n

The ForTeS project aims to demonstrate an efficient and reliable approval process for modular systems. This involves two main steps:<\/p>\n

    \n
  1. The first step is about proving that the specification implies the necessary (interoperability, safety) properties. There, the project relies on the extremely rigorous method of formal verification.<\/li>\n
  2. The second step is about proving conformity of a system implementation to the specification. There, the project relies on highly automated tests as an efficient and broadly applicable method; the certification test cases published by the EULYNX consortium serve as a basis.<\/li>\n<\/ol>\n

    Together, these steps will be demonstrated through a simulated approval of a point controller. The resulting assessment report, alongside the formal proof and test suite, will be a key project outcome, helping to accelerate the safe and cost-effective rollout of digital interlockings.<\/p>\n

    Prover\u2019s contributions<\/strong><\/h3>\n

    With decades of experience, Prover\u2019s contribution focuses on applying formal methods in railway signaling to ensure compliance with regulatory requirements. Prover will leverage its extensive industry expertise to identify potential applications of formal methods, align them with European railway standards, and reinforce their impact on approval processes. Prover will also evaluate the feasibility and objectives of using formal methods in EULYNX systems, comparing alternative scenarios if applicable.<\/p>\n

    By contributing to the development of robust and standardized approval methods using Formal Methods, Prover supports the wider adoption of digital interlockings and supports the shift toward more modular, vendor-independent railway systems. This work is closely aligned with our Open Signaling initiative<\/a>, which promotes openness, transparency, and efficiency in railway signaling to drive innovation and reduce lifecycle costs.<\/p>\n

    \n

    Timeline and project contractors<\/strong><\/p>\n

    Project start:<\/strong> May 2025
    \nDuration:<\/strong> 24 months
    \nMain contractor:<\/strong> Prover Technology AB
    \nSubcontractors:<\/strong> Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e.V. (DLR) and ESE Engineering und Software-Entwicklung GmbH<\/p>\n<\/blockquote>\n

    Read the original press release from DZSF (in German):<\/strong><\/h4>\n

    https:\/\/www.dzsf.bund.de\/SharedDocs\/Standardartikel\/DZSF\/Projekte\/Projekt_205_DSTW-Zulassungsprozesse.html<\/a><\/p>\n

    \"\" \"\" \"\"<\/p>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

    Starting in May 2025, Prover will lead a 24-month project to develop standardized approval methods for modular digital interlockings. Using formal verification and automated testing, the project supports EULYNX and Europe\u2019s Rail goals for interoperable, vendor-independent signaling. Partners include DLR and ESE Engineering.<\/p>\n","protected":false},"author":45,"featured_media":21880,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[159,187],"tags":[],"class_list":["post-21876","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news","category-open-signaling"],"yoast_head":"\nHow to streamline the approval of EULYNX interlockings with Formal Methods - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover contributes to an EU project to develop approval methods for modular digital interlockings, supporting EULYNX and vendor-independent railway signaling.\" \/>\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\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"How to streamline the approval of EULYNX interlockings with Formal Methods - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover contributes to an EU project to develop approval methods for modular digital interlockings, supporting EULYNX and vendor-independent railway signaling.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2025-06-12T08:36:53+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-07-03T09:35:38+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/05\/iStock-540607030_edit-1-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1709\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\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\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/\"},\"author\":{\"name\":\"Amanda \u00d6berg\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2\"},\"headline\":\"How to streamline the approval of EULYNX interlockings with Formal Methods\",\"datePublished\":\"2025-06-12T08:36:53+00:00\",\"dateModified\":\"2025-07-03T09:35:38+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/\"},\"wordCount\":733,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/05\/iStock-540607030_edit-1-scaled.jpg\",\"articleSection\":[\"Company news\",\"Open signaling\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/\",\"url\":\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/\",\"name\":\"How to streamline the approval of EULYNX interlockings with Formal Methods - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/05\/iStock-540607030_edit-1-scaled.jpg\",\"datePublished\":\"2025-06-12T08:36:53+00:00\",\"dateModified\":\"2025-07-03T09:35:38+00:00\",\"description\":\"Prover contributes to an EU project to develop approval methods for modular digital interlockings, supporting EULYNX and vendor-independent railway signaling.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/05\/iStock-540607030_edit-1-scaled.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/05\/iStock-540607030_edit-1-scaled.jpg\",\"width\":2560,\"height\":1709},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Company news\",\"item\":\"https:\/\/www.prover.com\/categories\/company-news\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"How to streamline the approval of EULYNX interlockings with Formal Methods\"}]},{\"@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":"How to streamline the approval of EULYNX interlockings with Formal Methods - Prover - Engineering a Safer World","description":"Prover contributes to an EU project to develop approval methods for modular digital interlockings, supporting EULYNX and vendor-independent railway signaling.","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\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/","og_locale":"en_US","og_type":"article","og_title":"How to streamline the approval of EULYNX interlockings with Formal Methods - Prover - Engineering a Safer World","og_description":"Prover contributes to an EU project to develop approval methods for modular digital interlockings, supporting EULYNX and vendor-independent railway signaling.","og_url":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2025-06-12T08:36:53+00:00","article_modified_time":"2025-07-03T09:35:38+00:00","og_image":[{"width":2560,"height":1709,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/05\/iStock-540607030_edit-1-scaled.jpg","type":"image\/jpeg"}],"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\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/"},"author":{"name":"Amanda \u00d6berg","@id":"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2"},"headline":"How to streamline the approval of EULYNX interlockings with Formal Methods","datePublished":"2025-06-12T08:36:53+00:00","dateModified":"2025-07-03T09:35:38+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/"},"wordCount":733,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/05\/iStock-540607030_edit-1-scaled.jpg","articleSection":["Company news","Open signaling"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/","url":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/","name":"How to streamline the approval of EULYNX interlockings with Formal Methods - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/05\/iStock-540607030_edit-1-scaled.jpg","datePublished":"2025-06-12T08:36:53+00:00","dateModified":"2025-07-03T09:35:38+00:00","description":"Prover contributes to an EU project to develop approval methods for modular digital interlockings, supporting EULYNX and vendor-independent railway signaling.","breadcrumb":{"@id":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/05\/iStock-540607030_edit-1-scaled.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/05\/iStock-540607030_edit-1-scaled.jpg","width":2560,"height":1709},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/company-news\/how-to-streamline-the-approval-of-eulynx-interlockings-with-formal-methods\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Company news","item":"https:\/\/www.prover.com\/categories\/company-news\/"},{"@type":"ListItem","position":3,"name":"How to streamline the approval of EULYNX interlockings with Formal Methods"}]},{"@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\/21876","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=21876"}],"version-history":[{"count":31,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21876\/revisions"}],"predecessor-version":[{"id":21978,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21876\/revisions\/21978"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/21880"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=21876"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=21876"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=21876"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}