
Prover is proud to announce our integral role in the latest railway signaling project for the Orléans tramway. In Consortium with Fortil Mobility, ETF, SES Signalisation, Prover have secured a turnkey project that will see the adaptation of the existing signaling system to create a new intersection with Avenue Emile Bernon. This endeavor not only marks a significant milestone for our cluster but also underscores the cutting-edge technology and expertise that Prover brings to the table.
Our advanced automation solutions are at the heart of this project, ensuring that every aspect of the signaling system maintains its safety, efficiency, and reliability. Here’s how our products are making a difference:
Comprehensive design and development
Prover’s state-of-the-art software solutions are being utilized to update and validate the automation systems required for this project. Our product Prover iLock ensures that every component of the signaling system meets their requirements. The Schneider PLC code for non-vital logic developed initially with Control Expert has been uploaded to Prover iLock to connect it to the railway layout. In addition, a model of relay vital logic was created from the relay schematics. The combination of these two components, complemented by wayside objects behaviors, provides a working Digital Twin of complete interlocking.
Seamless integration and validation
One of the key challenges in railway signaling projects is ensuring that all systems work seamlessly together. Prover iLock is designed to facilitate smooth integration and rigorous validation processes. With Prover’s expert staff, we performed comprehensive testing and validation, ensuring that the signaling system operated flawlessly from day one. This reduces risks and accelerates the project timeline, with the commissioning scheduled for this summer.
Collaborative success
This project is a perfect example of how collaborative efforts can lead to outstanding results. Prover is proud to work alongside Fortil Mobility, ETF (Vinci group), and SES Signalisation to bring this project to fruition. Each partner brings unique expertise and capabilities, creating a synergy that drives the project forward.

How safe and efficient are your rail control systems? Let’s find out!
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
Prover is partnering with Eiffage Énergie Systèmes on the Villeneuve Demain project, delivering railway signaling software for the PAVS system at SIL4 safety level.
Using Prover’s automation tools, the solution ensures EN 50716 compliance, facilitates future maintenance, and enables reuse across similar systems.
Prover will be at Train & Rail, meet us in our booth located at A06:31.
Learn how Prover’s Relay Signaling Migration enables safe, efficient modernization of legacy railway systems with formal verification and digital twin technology.