Signaling design automation
Signaling Design Automation in Rail Control Systems
Signaling Design Automation in Rail Control Systems
Many of the challenges you encounter during rail control projects can be solved with a better development and verification process. We call it Signaling Design Automation.
All the challenges you encounter during rail control projects can be solved with a better production process. We call it Signaling Design Automation.
Meeting the needs for increased rail transportation
The demand for rail transportation capacity is growing. Efficient rail control and signaling solutions are essential in making use of available infrastructure and enabling reliable and safe transport.
The development of these software-based systems is critical in rail transport projects. Delays in delivery, acceptance and safety approvals of rail control solutions negatively impact schedules and costs.
There is an obvious need to simplify the rail control solution development process.
Signaling Design Automation (SDA) enables faster delivery, lower costs and guaranteed safety.
Prover supplies the industry with tools and processes that meet the requirements and expectations of the end customers. We do this by focusing on the requirement specifications, using automation to develop the systems and applying formal and automated methods to prove that the requirements are fulfilled.
Leveraging our tools and processes could cut project time and costs in half with high-quality software and guaranteed safety. Together with more standardization, this paves the way for increased competition and reduced life cycle costs. And in the end, a better customer experience with increased traffic capacity and fewer delays.
Digital Twin – a digital model of the entire railway infrastructure
In signaling design automation projects, we start by developing a digital twin of your existing systems, future systems and conceptual systems.
The digital twin is developed using formal methods that utilize automated simulation and can test and validate every step of your rail control project.
Signaling Design Automation with Digital twin
in Rail Control Projects
By using signaling design automation in your Rail Control project, you can generate accurate requirements, get correct system architecture and develop applications verified with 100% safety.
How safe and efficient are your rail control systems?
Initiate a transformation in rail control safety with our specialized automation packages, designed to advance signaling systems efficiently and safely.
The Signaling Design Automation Steps
Prover SDA Software Suite – Verify safety in every step of your project.
Prover is a complete process and tool suite that reduces engineering efforts and life cycle costs, provide prompt time-to-market and ensures certification to the highest available safety standards.
Our software suite contains the following three solutions: Prover Studio, Prover iLock and Prover Certifier.
Prover SDA Software Suite – Verify safety in every step of your project.
Prover is a complete process and tool suite that reduces engineering efforts and life cycle costs, provide prompt time-to-market and ensures certification to the highest available safety standards.
Our software suite contains the following three solutions: Prover Studio, Prover iLock and Prover Certifier.
References
Prover’s innovative solution bring benefits to many types of Rail Control Projects.
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
How much can you save by implementing Signaling Design Automation?
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.
+46 (0)8 617 68 00