Building a safety case for rail control software with Formal Verification

An easier path to CENELEC EN50128 SIL4 compliance

In almost every rail control project the effort for achieving compliance with safety standards such as CENLEC EN50128 is a significant part of the project. Traditionally, this involves many manual steps such as reviewing verification documents, test plans, and test reports.

Much of this work can be replaced with automated formal verification, reducing effort, increasing quality, and reducing risk for project delays.

Formal verification is a technique based on mathematical proofs that gives 100 % coverage and can be fully automated. In this recorded webinar, we focus on how formal verification, implemented with a pre-qualified T2 SIL4 tool, Prover Certifier, can be used in a CENELEC EN50128 compliant process.

We also present a case study on how CASCO, a leading rail control supplier, benefits from formal verification in its safety process.

  • What is formal verification and why do we need it
  • Formal verification in a CENELEC EN50128 SIL4 process
  • Introduction to Prover Certifier, a T2 SIL-4 qualified formal verification tool
  • A case study: Formal safety verification at CASCO

  • Recommendations and considerations for the implementation process
Building a safety case for rail control software with Formal Verification

Yes please, send me the recording!

Benjamin Blanc Prover

Benjamin Blanc
Solutions Manager, Prover

Olav Bandmann Prover

Olav Bandmann
Chief Technology Officer, Prover

Daniel Fredholm Prover

Daniel Fredholm
Senior Consultant, Prover