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
Do you have experience in leading strategic and complex customer projects? Are you looking for an opportunity to leverage your experience throughout our company? Then this role might be right for you! We are now recruiting to a new position as a Commercial Project Management (PM) Lead.
Prover uses formal methods to make railway signaling provably safe. Our solutions build safe, reliable, and cost-efficient systems that move and protect millions of passengers every day. Through our Open Signaling Initiative, we're reshaping how the industry builds and maintains signaling systems across Europe and beyond. Now we're looking for someone to join us and bring AI, LLMs, and agentic workflows into the heart of how we work and what we build.
Meet Prover at RailTech Europe in Utrecht, March 4–5. Visit Booth 2.509 and join our workshop on migration of signaling systems to PLC-based SIL 4 solutions.
