{"id":21713,"date":"2025-04-28T07:54:18","date_gmt":"2025-04-28T06:54:18","guid":{"rendered":"https:\/\/www.prover.com\/?p=21713"},"modified":"2025-07-03T10:21:12","modified_gmt":"2025-07-03T09:21:12","slug":"prover-partners-with-eiffage-energie-systemes","status":"publish","type":"post","link":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/","title":{"rendered":"Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project"},"content":{"rendered":"

Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project<\/h3>\n

We are proud to contribute to this large-scale initiative.<\/p>\n

Prover is developing and verifying the railway signaling software of the PAVS system, which controls the signaling for the service track yards, in compliance with the EN 50716 standard and at SIL4 safety level.<\/p>\n

Prover\u2019s tools enable automation of the various processes involved in such a project and help prepare for future maintenance. Additionally, the creation of an instantiable application for all similar systems will facilitate reuse and help reduce time and costs on future projects.<\/p>\n

The software will be deployed on a Safety Programmable Logic Controller (PLC), made possible by the compatibility of our tools with vendor environments. Testing will be carried out continuously at all levels, up to the operational site. Finally, formal verification of safety properties ensures the highest level of confidence.<\/p>\n

We would like to thank our client, Eiffage \u00c9nergie Syst\u00e8mes<\/a>, for their trust in this railway infrastructure modernization project.<\/p>\n

\n

Prover accompagne EIFFAGE \u00c9NERGIE SYST\u00c8MES pour le projet Villeneuve Demain<\/h3>\n

Nous sommes fiers de contribuer \u00e0 ce projet d\u2019envergure. Prover d\u00e9veloppe et valide, selon la norme EN 50716, le logiciel de signalisation ferroviaire en niveau de s\u00e9curit\u00e9 SIL4 du PAVS, qui pilote la signalisation des installations des faisceaux de voies de service.<\/p>\n

Les outils Prover permettent une automatisation des diff\u00e9rents processus impliqu\u00e9s dans un tel projet, et pr\u00e9parent la maintenance future. De plus, la cr\u00e9ation d\u2019une application instanciable sur tous les syst\u00e8mes similaires facilitera la r\u00e9utilisation et permettra de r\u00e9duire le temps et les co\u00fbts sur les futurs projets.<\/p>\n

Le logiciel sera port\u00e9 sur un Automate Programmable de S\u00e9curit\u00e9 (APS) gr\u00e2ce \u00e0 la compatibilit\u00e9 de nos outils avec les environnements des fabricants. Les tests seront r\u00e9alis\u00e9s \u00e0 tous les niveaux sans discontinuit\u00e9, jusqu\u2019au site op\u00e9rationnel. Enfin, la v\u00e9rification formelle des propri\u00e9t\u00e9s de s\u00e9curit\u00e9 assure une confiance maximale.<\/p>\n

Merci \u00e0 notre client Eiffage \u00c9nergie Syst\u00e8mes<\/a> pour sa confiance dans le cadre de ce projet de modernisation d\u2019infrastructures ferroviaires.<\/p>\n

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

Prover is partnering with Eiffage \u00c9nergie Syst\u00e8mes on the Villeneuve Demain project, delivering railway signaling software for the PAVS system at SIL4 safety level. <\/p>\n

Using Prover\u2019s automation tools, the solution ensures EN 50716 compliance, facilitates future maintenance, and enables reuse across similar systems.<\/p>\n","protected":false},"author":45,"featured_media":21714,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[159],"tags":[],"class_list":["post-21713","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news"],"yoast_head":"\nProver partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover and Eiffage \u00c9nergie Syst\u00e8mes develop SIL4 signaling software for the Villeneuve Demain project, ensuring EN 50716 compliance, automation, and formal verification.\" \/>\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\/prover-partners-with-eiffage-energie-systemes\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover and Eiffage \u00c9nergie Syst\u00e8mes develop SIL4 signaling software for the Villeneuve Demain project, ensuring EN 50716 compliance, automation, and formal verification.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2025-04-28T06:54:18+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-07-03T09:21:12+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/04\/villeneuvedemain_1.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"912\" \/>\n\t<meta property=\"og:image:height\" content=\"565\" \/>\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=\"2 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\/prover-partners-with-eiffage-energie-systemes\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/\"},\"author\":{\"name\":\"Amanda \u00d6berg\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2\"},\"headline\":\"Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project\",\"datePublished\":\"2025-04-28T06:54:18+00:00\",\"dateModified\":\"2025-07-03T09:21:12+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/\"},\"wordCount\":365,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/04\/villeneuvedemain_1.jpg\",\"articleSection\":[\"Company news\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/\",\"url\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/\",\"name\":\"Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/04\/villeneuvedemain_1.jpg\",\"datePublished\":\"2025-04-28T06:54:18+00:00\",\"dateModified\":\"2025-07-03T09:21:12+00:00\",\"description\":\"Prover and Eiffage \u00c9nergie Syst\u00e8mes develop SIL4 signaling software for the Villeneuve Demain project, ensuring EN 50716 compliance, automation, and formal verification.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/04\/villeneuvedemain_1.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/04\/villeneuvedemain_1.jpg\",\"width\":912,\"height\":565,\"caption\":\"Villeneuve Demain\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#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\":\"Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project\"}]},{\"@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":"Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project - Prover - Engineering a Safer World","description":"Prover and Eiffage \u00c9nergie Syst\u00e8mes develop SIL4 signaling software for the Villeneuve Demain project, ensuring EN 50716 compliance, automation, and formal verification.","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\/prover-partners-with-eiffage-energie-systemes\/","og_locale":"en_US","og_type":"article","og_title":"Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project - Prover - Engineering a Safer World","og_description":"Prover and Eiffage \u00c9nergie Syst\u00e8mes develop SIL4 signaling software for the Villeneuve Demain project, ensuring EN 50716 compliance, automation, and formal verification.","og_url":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2025-04-28T06:54:18+00:00","article_modified_time":"2025-07-03T09:21:12+00:00","og_image":[{"width":912,"height":565,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/04\/villeneuvedemain_1.jpg","type":"image\/jpeg"}],"author":"Amanda \u00d6berg","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Amanda \u00d6berg","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/"},"author":{"name":"Amanda \u00d6berg","@id":"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2"},"headline":"Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project","datePublished":"2025-04-28T06:54:18+00:00","dateModified":"2025-07-03T09:21:12+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/"},"wordCount":365,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/04\/villeneuvedemain_1.jpg","articleSection":["Company news"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/","url":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/","name":"Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/04\/villeneuvedemain_1.jpg","datePublished":"2025-04-28T06:54:18+00:00","dateModified":"2025-07-03T09:21:12+00:00","description":"Prover and Eiffage \u00c9nergie Syst\u00e8mes develop SIL4 signaling software for the Villeneuve Demain project, ensuring EN 50716 compliance, automation, and formal verification.","breadcrumb":{"@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/04\/villeneuvedemain_1.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/04\/villeneuvedemain_1.jpg","width":912,"height":565,"caption":"Villeneuve Demain"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/company-news\/prover-partners-with-eiffage-energie-systemes\/#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":"Prover partners with EIFFAGE \u00c9NERGIE SYST\u00c8MES on the Villeneuve Demain project"}]},{"@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\/21713","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=21713"}],"version-history":[{"count":9,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21713\/revisions"}],"predecessor-version":[{"id":21983,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/21713\/revisions\/21983"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/21714"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=21713"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=21713"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=21713"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}