RECORDED WEBINAR
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.
Agenda:
Yes please, send me the recording!
Hosts
Benjamin Blanc
Solutions Manager, Prover
Olav Bandmann
Chief Technology Officer, Prover
Daniel Fredholm
Senior Consultant, Prover