Launch of the next generation Signaling Design Automation platform: Prover Station

The industry needs to be modernized, standardized, and digitalized. The current processes for developing and maintaining signaling solutions are slow and inefficient. Prover’s approach to SDA, based on Digital Twins and Formal Methods, is taking automation and interoperability to a new level using our current tools and expertise.

Railway control systems are interconnected smaller pieces. Hence it needs to be checked that they are combined properly. Usually, this is done at a very late stage in the process, namely when the system is under verification and validation. With Prover Station, it will become natural to simulate components at an early stage of the process, allowing to ensure performance and to discover unwanted scenarios early.  

With the launch of Prover Station as our next-generation platform, we meet the increasing demands of simulation and scenario exploration in the railway industry. And not only is it possible to run predefined scenarios, but thanks to the power of Formal Methods, it is possible to explore scenarios that you did not even think of.