Prover participation
Prover will be exhibiting at RailTech Europe on March 4–5 in Utrecht, the Netherlands.
Come and meet us in Booth 2.509 to discuss Open Signaling, migration to PLC-based architectures, and how Prover Station supports structured design, verification, and validation of signaling systems.
Workshop: Migration of Signaling Systems to PLC-Based SIL 4 Solutions
On March 4, our COO Jesper Carlström will host a workshop focused on the migration of signaling systems to PLC-based SIL 4 solutions. The session will draw on experience from the Stockholm Metro relay-to-PLC pilot project and share practical insights into modernizing legacy signaling installations and avoiding vendor lock-in by the use of open standards.
If you are planning modernization initiatives or exploring open signaling approaches, this session will provide valuable perspectives.
About RailTech Europe
RailTech Europe is one of the leading international exhibitions and conferences dedicated to railway technology, infrastructure, and innovation. Held in Utrecht, the Netherlands, the event brings together infrastructure managers, operators, system suppliers, engineering firms, and policymakers to discuss the future of rail modernization across Europe.
Book a meeting
Planning to attend RailTech Europe? Schedule a meeting with our team to discuss your modernization plans and signaling strategy.
You can also visit us directly at Booth 2.509.
See you in Utrecht.
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, 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.
Prover, together with NEAT, Schneider Electric, and Pilz will demo real railway interoperability at InnoTrans: three vendor platforms, one interlocking design, live at Prover's booth.
