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 Release 2020b
ISO 26262: 2018
(ASIL A-D)

IEC 61508: 2010
(SIL 1-4)

EN 50128: 2011
(SIL 1-4)

IEC 62304: 2015
(SIL 1-4)

EN 50657: 2017
(SIL 1-4)

ISO 25119:
2018
(SRL B, 1-3)

IEC 61511: 2016
(SIL 1-4)

Embedded Coder




 
HDL Coder  
Polyspace Bug Finder  
Polyspace Bug Finder Server  
Polyspace Code Prover  
Polyspace Code Prover Server  
Simulink Check  
Simulink Coverage  
Simulink Design Verifier  
Simulink PLC Coder
Simulink Requirements  
Simulink Test  

Standards and products supported by previous releases of the IEC Certification Kit can be found here.