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 |
EN 50128: 2011 |
IEC 62304: 2015 |
EN 50657: 2017 |
ISO 25119: |
IEC 61511: 2016 |
|
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.
