• Main
• Software
• Berichte
• Verification
• Demonstrator
• Publications
• Contact

Reports

TÜV Süd Rail has confirmed the following in writing:

1. The software has been developed according to the safety norm IEC EN 61508:3 for up to safety integrity level SIL 3.
2. The verification environment developed on top of the theorem prover Isabelle can be used for the specification and verification of MISRA-C software according to IEC 61508:3 up to SIL 3.

Further details, in particular the measures from appendix B of IEC 61508 covered by our tool, can be found in the original letters (click on thumbnails below), or the technical report.