Prover takes Railway Signaling Design Automation to a new level with the launch of Prover Station

Prover is dedicated to Engineering a Safer World, focusing on providing railway Signaling Design Automation (SDA) solutions that leverage digital twins and formal methods. With the launch of Prover Station as our next-generation platform, we meet the complex demands of design, verification, and validation (V&V) of rail and metro signaling systems.

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, takes automation and efficiency to a new level.

Our new web-based platform Prover Station focuses on critical parts of the design and V&V process, aiding them with digital twins for improved understanding and testing during the development, as well as for training support after delivery. Our extensive experience of formal verification led us to design a workflow for proof projects that will help you succeed in less time and with greater confidence. Progress and obstacles are presented clearly to aid the verification and validation work. We made it easier for non-experts to work with signaling design and for experts to become more efficient and communicate their insights. The result will significantly improve the overall SDA process.

Prover Station is currently available for on-premises installation and in a cloud edition.

Prover Station is a strategic platform that we continue to develop rapidly, aiming to cover the complete process. With capabilities for digital twins and proof projects in place, we now continue to develop what we find most important for efficient SDA projects, such as:

• Creation of digital twin models
• Extensive APIs for integration and automation of tasks
• Third-party contributions that connect Prover Station to other tools
• Data preparation capabilities

“We have leveraged our decades of expertise in Signaling Design Automation (SDA) based on formal methods to build a modern platform that will transform the industry,” says Jesper Carlström, Chief Product Officer at Prover.

Digital twins are a critical success factor for managing signaling design

In the digital transformation era, the ability to create and manage digital twins is becoming increasingly important for organizations in the railway industry. They are now used in model-based tendering, planning phases, design debugging, verification and validation, and post-delivery training.

Working practically with digital twins is a challenge, specifically if large complex systems need to be managed, like a complete railway line.

“The industry needs to be transformed through standardization, digitalization, and interoperability. Digital twins are a critical enabler of this transformation. I’m looking forward to an industry that finally can implement digital twins in real work, developing the signaling solution of the future, which will now be easier with the launch of Prover Station.” Says Anders Lindén, CEO Prover.

Prover Station provides state-of-the-art capabilities for setting up and configuring digital twins. Digital twins allow engineers and operators to understand what they have, to understand what they need to do, and to understand what the results became. You can monitor, analyze, and optimize system performance based on accurate models. By using digital twins, organizations can identify potential issues before they occur, reducing downtime and improving overall system efficiency.

One of Prover Station’s key strengths is its ability to connect multiple digital twins into a single, cohesive aggregate model that provides a holistic view of the entire signaling system, allowing for more effective decision making and system management. The aggregation process and configuration require no user programming.

The use of digital twins in Prover Station is not limited to monitoring and optimization, but also plays a crucial role in system design, testing, and maintenance. Engineers can use these models to try various ideas, helping to ensure that the final system design is robust and capable of meeting all operational requirements. By incorporating digital twin technology into the design process, Prover Station helps organizations achieve greater flexibility, scalability, and resilience in their signaling systems.

Formal methods are the standard methodology for signaling design

Formal methods are becoming more and more popular as the method to ensure safety in the railway industry. In particular, formal verification: you prove using automated mathematical logic reasoning that important safety properties are fulfilled by your system. To work effectively with such proof projects, you need tools that execute proofs and keep track of progress and results.

Prover Station helps you organize your formal verification work in Proof Projects. They allow you to have an overview of the ongoing work, follow progress, understand dependencies and report results. The workflow has been designed based on Prover’s comprehensive experience with success factors for verification and validation work. Engineers who are new to formal verification will appreciate the help to select verification strategies and understand what to do next, while senior verification engineers will discover that it has become easier to communicate ideas to colleagues.

Prover Station supports the entire proof lifecycle, from initial specification and modeling to final proof generation and validation. Prover Station’s capabilities include proving properties and showing why requirements are not fulfilled. This ensures that all logical errors are identified and rectified early in the design process, thereby reducing the risk of costly errors in later stages. Graphical illustrations provide overviews of status and aid in understanding details.

The formal verification process in Prover Station is highly customizable, allowing users to define and enforce their specific safety and performance criteria. The software’s powerful algorithms can handle the most complex signaling logic, ensuring that even the most intricate systems can be verified with confidence. By integrating formal verification into the design process, Prover Station helps organizations meet stringent regulatory standards and enhance their signaling systems’ overall safety and reliability.

Prover Station easily integrates into existing IT Environments

Prover Station can be used in the cloud but is also offered as on-premises software. We continue to expand its capabilities, and at every step, we ensure that it can be used via the web interface and in automated tasks using our APIs. External simulators can be connected via the MQTT protocol or OPC-UA, as can hardware for hardware-in-the-loop testing. If your software or hardware does not support these protocols, it is usually straightforward to develop the necessary adapters.

Conclusion

Prover Station is a comprehensive platform designed to meet the most demanding requirements of the railway and metro signaling industry. With its advanced capabilities in formal verification and digital twin technology, Prover Station empowers organizations to achieve higher levels of safety and reliability in their signaling systems, while also shortening development time. Whether you are involved in proof projects, system design, or ongoing system management, Prover Station provides the tools needed to succeed.

Ready to revolutionize your railway signaling systems?

Experience the power of Prover Station with a personalized demo.