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
When replacing relay interlockings, most conversations start with technology. The better starting point is governance: how do you make sure you can still change parts of the system 20 years from now? We look at what Open Signaling means in practice, and how our Stockholm Metro pilot was designed for replaceability from day one.
Prover, RATP and Systerel publish the unified HLL 4.0 specification, keeping the rail industry's formal verification language open and free of dialects.
Generative AI has entered railway software engineering ahead of the standards governing it. A new CENELEC draft amendment to EN 50716 doesn't add requirements. It clarifies which existing rules apply when AI drafts specs, writes code, or generates test cases, and why those rules are harder to satisfy with generative models than teams might assume.
+46 (0)8 617 68 00