Engineering safe rail control with Formal Verification
The importance of software safety for railway control systems
In this white paper we discuss why Formal Verification should be used to verify software safety requirements. As a provider of Formal Verification, we are fully convinced that it is the best methodology for safety verification and should be used when engineering safe rail control systems.
A typical passenger train weighs between 1500 and 6000 tons and its freight train counterpart weighs more, between 3000 and 18000 tons. Trains are massive. The risks involved in such a mass travelling at high speeds make the safety aspects of the railway industry unique.
Although the industry can pride itself with unusually high standards, each accident has the potential to develop into a major disaster. These risks demand verification techniques that go beyond the limits of testing. This is where the strengths of Formal Verification come into effect.
Download the white paper to see what motivates our conviction.