Signaling Design Automation

Cost-efficient delivery of reliable and safe Rail Control and Signalling Solutions, meeting the increased need for rail transportation.

Meeting the needs for increased rail transportation

The demands on rail transportation capacity is growing and the industry needs to step up. Efficient rail control and signalling solutions are an essential piece of the puzzle in making efficient use of available infrastructure, 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 have a highly negative impact on schedules and costs.

Prover is committed to simplifying the development of rail control solutions. Our mission is to supply 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 formal and automated methods to prove that the requirements are fulfilled. Leveraging our tools and processed could cut procjet 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 also, in the end, a better customer experience with increased traffic capacity and fewer delays.

How to succeed with your rail control project 

Rail control systems constitute a small, yet important, part of infrastructure investments. If the development is not managed properly, the result can be major project delays and cost overruns. A well-functioning signalling system is essential for the rider experience in a passenger network and the overall capacity of the system.

It is clear, based on industry reports and feedback from our clients and partners, that infrastructure managers benefits of more control over their rail control projects. It is essential in order to decrease these risks and to make sure that the systems live up to their expectations.

More control signifies a better ability to keep critical time schedules, lower procurement costs, and a better customer experience. With reduced dependency on a single supplier, the cost of maintenance also decreases and thereby the lifecycle cost of the system. The first step towards increased control is understanding what you need and to be able to communicate this with the supply chain. 

With proper requirement specifications the suppliers have a fair chance to deliver systems that meet customer expectations, and the customer can verify that the requirements are fulfilled. Clearly formulated requirement specifications make it possible to:

  • Procure the best solution and service for the best price
  • Efficiently handle change requests
  • Minimize risk for project delays
  • Validate that the delivered system meets the requirements and expectations
  • Automatically prove safety
  • Automate the development process
  • Simplify maintenance and upgrades after commissioning

Proper specifications that enable an automated development process is key to succeeding in the delivery of rail control solutions. That’s why infrastructure managers need to make early investments, both in defining these specifications and reinforcing their own knowledge of the current solutions and the solution that needs to be delivered.

RMI – Reference Model Implementation

Understanding and clearly specifying your needs, requirements, and expectations before you procure a new rail control solution is the key to getting the system you need at the best price. Then suppliers will also have a fair chance to develop a system to your specification in a time-efficient way with predictable delivery schedules and costs.

But, producing these specifications can be a challenge itself. How can you be sure that your specifications actually correspond to your needs and can easily be understood by all stakeholders? 

Our recommendation is to use a formal approach to develop a prototype, or an RMI – Reference Model Implementation, that you can use to validate your specifications with simulation and formal verification.

The RMI can be developed with the Prover iLock process, where formalized requirement specifications are easily validated using simulation and formal verification on large sets of configuration data. With validated requirements the procurement process is simplified with reduced risks and costs. The RMI can also be made available to suppliers to automate the development process, including design, code generation, test and verification.

The RMI helps infrastructure managers formulate, and evaluate, precise requirements that simplifies the procurement process and reduces the risks for misunderstandings and project delays. By enabling an efficient validation and verification process with automated simulation and formal verification it also reduces the time needed for costly on-site tests. Suppliers can use the RMI as input to the detailed design, using automation tools for code generation, test and verification, further shortening project schedules and reducing costs. The RMI will be used throughout the life cycle of the system, reducing costs for upgrades and adding new features in the maintenance phase.    

Prover SDA

Book a meeting to discuss how RMI can help your railway development project