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 webinar, we will 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 will also present a case study on how CASCO, a leading rail control supplier, benefits from formal verification in its safety process.
This webinar will cover:
- 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