Building a safety case for rail control software with Formal Verification

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.