Prover partners with EIFFAGE ÉNERGIE SYSTÈMES on the Villeneuve Demain project

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.