IEC Certification Kit Supported Standards and Products
The latest version of the following products is supported by IEC Certification Kit, and has been certified by TÜV SÜD for suitability for use in developing safety-related software according to the listed standards and corresponding integrity levels.
|Supported Product||IEC Certification Kit|
|ISO 26262: 2018
IEC 61508: 2010
EN 50128: 2011
IEC 62304: 2015
EN 50657: 2017
IEC 61511: 2016
|Polyspace Bug Finder|
|Polyspace Bug Finder Server|
|Polyspace Code Prover|
|Polyspace Code Prover Server|
|Simulink Design Verifier|
|Simulink PLC Coder|
Note: Use of certified or qualified tools does not ensure the safety of the software or the system under consideration.
In addition to the TÜV SÜD certificates and assessment reports, the IEC Certification Kit provides reference workflows and mapping docs for the above and other standards, including ISO/PAS 21448 (SOTIF), Automotive SPICE and ISO 21434 (Cybersecurity).
You can also use the IEC Certification Kit reusable evidence as a basis for tool qualification and for guidance on using Model-Based Design to develop systems requiring certification per other IEC 61508–related standards and adaptations (e.g., ISO 13849, IEC 62061).
Standards and products supported by previous releases of the IEC Certification Kit can be found here.