
This is a great opportunity to meet with the railway industry and to get better insight in the needs of rail control software solutions. At RSSI 2022 on 16-18 May we will put our solutions on display and look forward to getting back to face-to-face dialogues with colleagues in the business again.
Since the last RSSI exhibition, prior Covid, several steps towards a digitalized railway have been taken. Prover’s solutions contribute to the digitalization and automation of signaling engineering tasks. With our Digital Twin concept, Prover will take part in the transformation from existing technologies towards a modern signaling system with control over the lifecycle of rail control systems.
Prover offers Signaling Design Automation solutions for automated coding, documentation, simulation and formal safety verification of application software, targeting major interlocking system platforms such as ElectroLogIXS, iVPI, Microlok II and Westrace. Users of the Prover iLock Process include major railroads and transit agencies such as Canadian Pacific, NYCT and the Paris Metro (RATP), as well as signal systems suppliers.
Looking forward to meeting you at RSSI 2022! Read more about the event.
Share this article

Learn more about how to develop specifications with Digital Twins
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.