Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications

Prover Certifier is the leading sign-off verification tool that allows you to automatically produce complete safety evidence for your signaling logic using formal verification. 

We are proud to announce that Prover Certifier has now been certified by TÜV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications. This means that it fulfills the toughest requirements for verification and validation tools for safety-critical systems with railway applications in the European Union. The rail and metro industry is moving to this new standard, which is replacing the way-side standard EN 50128 but also covering rolling stock applications.  

EN 50716 is a clear improvement over EN 50128. Model-based development and verification is encouraged more than before: “Models can also reduce the need for certain activities, particularly when using formal proofs.”. Formal Methods are now highly recommended for all kinds of software. 

With the release of version 1.4, we meet the complex requirements of the rail and metro domain. Besides introducing the new norm compliance, several improvements have been included in this release. Prover Certifier continues to be EN50128-compliant as well.