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 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.
