Project Description
WHITE PAPER
Safety Verification Methods for Rail Control Software
A brief overview of methodologies and techniques for railway safety assurance
Since the introduction of modern software-based automated rail control solutions, the complexity of rail control- and signalling systems has grown significantly. These advanced systems can help optimizing the use of critical infrastructure resulting in a better passenger experience, but the main priority is always to guarantee safety.
Furthermore, the increased complexity and responsibilities of these systems means that it has become even more important to ensure that the systems themselves are safe.
This means that the systems need to be developed according to rigorous safety standards, and safety assurance is a significant part of any rail control project.
In this article we give an overview of the safety verification practices commonly used in rail control projects in The United States, Sweden and France.