Engineering safe rail control with Formal Verification

Let's 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.

In this guide you will learn:
  • Benefits of using Formal Verification

  • Engineering safe rail control systems

safe rail control with formal verification

Yes please, send me the guide!

Table of Content

  1. Introduction
  2. When things go wrong
  3. Rules and regulations
  4. Architecture of Railway Control Systems
  5. Verification of Safety Requirements
  6. Methods for safety verification
  7. State Explosion
  8. Basic Ideas of Formal Verification
  9. What is needed for using Formal Verification

The importance of software safety for railway 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.

Fill out the form to read the full guide.