EN 50716 (the successor to EN 50128/EN 50657) sets the software development and verification expectations for railway applications, clarifying how formal methods and tool qualification contribute to a robust safety case. This session takes a practitioner’s view of applying that framework to real systems and on‑board functions.
EN 50716 (the successor to EN 50128/EN 50657) sets the software development and verification expectations for railway applications, clarifying how formal methods and tool qualification contribute to a robust safety case. This session takes a practitioner’s view of applying that framework to real systems and on‑board functions.
Imagine an infrastructure manager in need of a new rail control system; maybe a new line is to be built, extended or re-signaled to increase capacity or to solve issues with aging equipment requiring more and more maintenance. In this guide, we present a process that gives significant benefits to the supplier as well as the infrastructure manager.
This document aims to help infrastructure- vendors and managers developing rail control systems to create a compelling business case for investing in a modern interlocking design automation process. A state-of-the-art process based on formalized specifications and automation tools compared to traditional methods for developing signaling applications.
Railway signaling systems are surprisingly expensive to produce. Why did this happen?
Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]
I am proud to present Prover Studio, an integrated development environment for formal specifications. I must admit, we should have [...]
The CBTC User Group - discussing the CBTC signaling systems of today and tomorrow
Prover is strengthening its Signaling Design Automation solution with the introduction of the software Prover Studio.
There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
Prover introduces AI-tuned proof tactics, significantly speeding up formal verification processes, especially for systems like CBTC. Their AI-driven tool, PSL fine-tuner, accelerates proofs by up to 100x, with potential future integration into Prover Cloud Apps.
Imagine an infrastructure manager in need of a new rail control system; maybe a new line is to be built, extended or re-signaled to increase capacity or to solve issues with aging equipment requiring more and more maintenance. In this guide, we present a process that gives significant benefits to the supplier as well as the infrastructure manager.
This document aims to help infrastructure- vendors and managers developing rail control systems to create a compelling business case for investing in a modern interlocking design automation process. A state-of-the-art process based on formalized specifications and automation tools compared to traditional methods for developing signaling applications.
Railway signaling systems are surprisingly expensive to produce. Why did this happen?
Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]
I am proud to present Prover Studio, an integrated development environment for formal specifications. I must admit, we should have [...]
The CBTC User Group - discussing the CBTC signaling systems of today and tomorrow
Prover is strengthening its Signaling Design Automation solution with the introduction of the software Prover Studio.
There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
Prover introduces AI-tuned proof tactics, significantly speeding up formal verification processes, especially for systems like CBTC. Their AI-driven tool, PSL fine-tuner, accelerates proofs by up to 100x, with potential future integration into Prover Cloud Apps.
Fill out your information here.
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
© 2024 Prover Technology AB All Rights Reserved
© 2023 Prover All Rights Reserved
