There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. Capacity must increase, preferably fast and cost efficient, and be delivered with a high service level to meet the demand of the future traveler.
In the article Is ‘outside-the-box’ thinking enough to implement new rail technologies?, written by Rebeka Sellick, Head of Rail at TRL, Rebeka discusses innovations in rail and whether simply thinking ‘outside-the-box’ is enough to truly move forward with implementing new rail technologies.
One of examples that Rebeka mentions is regarding our own product; Prover Certifier.
“Automation of classic processes (which combine expertise, experience and limited computational routines) has been successful in building confidence to overcome the critical initial acceptance barriers to innovation. For example, Siemens has automated signal interlocking proving SIL4 verification based on machine learning outputs has been achieved, paving the way for Prover Certifier sign-off within a day rather than months.”
Innovation is the way forward if the railway industry are going to keep up with our more and more digital world. Traditional methods are too labour-intensive and time-consuming to meet the infrastructure managers objectives and schedule of today and guarantee safety.
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.
