IEC Certification Kit 

Supported Standards and Products

TÜV SÜD has certified the latest version of the following products for use in development processes that are required to comply with the listed standards.

  IEC 61508: 2010
(SIL 1-3)
ISO 26262: 2011
(ASIL A-D)
EN 50128: 2010
(SIL 1-4)
IEC 61511: 2003
(SIL 1-3)
Embedded Coder Check Check Check  
Simulink Verification and Validation Check Check Check  
Simulink Design Verifier Check Check Check  
Polyspace Bug Finder Check Check Check  
Polyspace Code Prover Check Check Check  
Simulink PLC Coder Check     Check

Note: The MATLAB, Simulink, and Polyspace product families were not developed using certified processes.