On September 20-23, Prover will be at Innotrans 2022! Come join us in hall 11.2 stand 260 to discuss the typical challenges faced in the procurement and development of rail control projects. We will talk about how these can be mastered with a modern approach based on Signaling Design Automation (SDA) and the use of digital twins early in the projects, e.g. validation of requirements for implementability and verifiability.
Modernization of rail control systems is critical for transportation. However, delays in delivery, acceptance, and safety approvals are often major bottlenecks that have a highly negative impact on costs and schedules.
There is an obvious need to simplify the development and verification processes by implementing solutions that supply the industry with the tools and processes needed to meet the requirements and expectations of the end customers.
We have found that the recipe for a successful rail control project is threefold: focus on the requirement specifications, automate design and development, and apply formal and automated methods to prove that requirements are fulfilled.
This recipe generates high-quality systems with guaranteed safety, but also cuts your project time and costs in half. Digitalization paves the way for increased competition, reduced life cycle costs, and ultimately, a better customer experience with increased traffic capacity and fewer delays.
If you share our experience, let’s book a meeting at Innotrans! Please use the link below.
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.
