Prover partners with EIFFAGE ÉNERGIE SYSTÈMES on the Villeneuve Demain project
We are proud to contribute to this large-scale initiative.
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.
Prover’s 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.
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.
We would like to thank our client, Eiffage Énergie Systèmes, for their trust in this railway infrastructure modernization project.
Prover accompagne EIFFAGE ÉNERGIE SYSTÈMES pour le projet Villeneuve Demain
Nous sommes fiers de contribuer à ce projet d’envergure. Prover développe et valide, selon la norme EN 50716, le logiciel de signalisation ferroviaire en niveau de sécurité SIL4 du PAVS, qui pilote la signalisation des installations des faisceaux de voies de service.
Les outils Prover permettent une automatisation des différents processus impliqués dans un tel projet, et préparent la maintenance future. De plus, la création d’une application instanciable sur tous les systèmes similaires facilitera la réutilisation et permettra de réduire le temps et les coûts sur les futurs projets.
Le logiciel sera porté sur un Automate Programmable de Sécurité (APS) grâce à la compatibilité de nos outils avec les environnements des fabricants. Les tests seront réalisés à tous les niveaux sans discontinuité, jusqu’au site opérationnel. Enfin, la vérification formelle des propriétés de sécurité assure une confiance maximale.
Merci à notre client Eiffage Énergie Systèmes pour sa confiance dans le cadre de ce projet de modernisation d’infrastructures ferroviaires.
Share this article
Learn to build a solid safety case for rail control systems using formal verification
Fill out your information here.
More News & Articles
The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.
By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
We are launching the Open Signaling Initiative. With this launch, we are helping the industry move beyond closed, monolithic systems to modular, sustainable solutions that give infrastructure managers greater control and freedom of choice.
Registration is now open for SDA Forum 2025. Join us on October 1 in Stockholm or online for a full-day conference.
This year we will focus on two key topics transforming the industry: open signaling and the increasing role of AI.
+46 (0)8 617 68 00