Main Content

Products Supported by IEC Certification Kit

The following table identifies the MathWorks® products that are supported by the IEC Certification Kit. You can use the information in the table to determine the products and standards that are supported for each release.

Note

ASPICE and ISO®/SAE 21434:2021 are not included in the scope of TÜV certification since there are no requirements for tool qualification for these standards.

IEC Certification Kit Support for Standards

ProductaIEC Certification Kit Release
IEC 61508:2010 ISO 26262:2018 EN 50128: 2011/A2:2020EN 50657: 2017 EN 50716: 2023IEC 62304:2015 ISO 25119: 2018ISO/SAE 21434:2021IEC 61511:2016ASPICE, Version 3.1
Embedded Coder®R2011a -R2026aR2012a - R2026aR2012a - R2026aR2020b - R2026aR2026aR2016a - R2026aR2020a - R2026aR2022a - R2026a-R2022a - R2026a
AUTOSAR BlocksetbR2019a - R2026aR2019a - R2026aR2019a - R2026aR2020b - R2026aR2026aR2019a - R2026aR2020a - R2026aR2022a - R2026a-R2022a - R2026a
Simulink® PLC Coder™R2011a - R2026aR2018b - R2026aR2017b - R2026aR2020b - R2026aR2026aR2016a - R2026aR2020a - R2026aR2022a - R2026aR2010b - R2026a-
HDL Coder™R2020a - R2026aR2020a - R2026aR2020a - R2026aR2020b - R2026aR2026aR2020a - R2026aR2020a - R2026aR2022a - R2026a--
Simulink Check™R2017b - R2026aR2017b - R2026aR2017b - R2026aR2020b - R2026aR2026aR2017b - R2026aR2020a - R2026aR2022a - R2026a-R2022a - R2026a
Simulink Coverage™R2017b - R2026aR2017b - R2026aR2017b - R2026aR2020b - R2026aR2026aR2017b - R2026aR2020a - R2026aR2022a - R2026a-R2022a - R2026a
Requirements Toolbox™R2022a - R2026aR2022a - R2026aR2022a - R2026aR2022a - R2026aR2026aR2022a - R2026aR2022a - R2026aR2022a - R2026a-R2022a - R2026a
Simulink Design Verifier™R2011a - R2026aR2012a - R2026aR2012a - R2026aR2020b - R2026aR2026aR2016a - R2026aR2020a - R2026aR2022a - R2026a-R2022a - R2026a
Polyspace® Bug Finder™R2013b - R2026aR2013b - R2026aR2013b - R2026aR2020b - R2026aR2026aR2016a - R2026aR2020a - R2026aR2022a - R2026a-R2022a - R2026a
Polyspace Bug Finder Server™R2019a - R2026aR2019a - R2026aR2019a - R2026aR2020b - R2026aR2026aR2019a - R2026aR2020a - R2026aR2022a - R2026a-R2022a - R2026a
Polyspace Code Prover™R2013b - R2026aR2013b - R2026aR2013b - R2026aR2020b - R2026aR2026aR2016a - R2026aR2020a - R2026aR2022a - R2026a-R2022a - R2026a
Polyspace Code Prover ServerR2019a - R2026aR2019a - R2026aR2019a - R2026aR2020b - R2026aR2026aR2019a - R2026aR2020a - R2026aR2022a - R2026a-R2022a - R2026a
Polyspace Test™R2023b - R2026aR2023b - R2026aR2023b - R2026aR2023b - R2026aR2026aR2023b - R2026aR2023b - R2026aR2023b - R2026a-R2023b - R2026a
MATLAB® TestR2023a - R2026aR2023a - R2026aR2023a - R2026aR2023a - R2026aR2026aR2023a - R2026aR2023a - R2026aR2023a - R2026a-R2023a - R2026a
Simulink TestR2015b - R2026aR2015b - R2026aR2015b - R2026aR2020b - R2026aR2026aR2016a - R2026aR2020a - R2026aR2022a - R2026a-R2022a - R2026a
Simulink-R2022b - R2026a--------
MATLAB-R2022b - R2026a--------
Stateflow®-R2022b - R2026a--------
Real-Time Workshop® Embedded Coder R2012a - R2012bR2012a - R2012bR2012a - R2012b-------
Simulink Verification and Validation™R2011a - R2017aR2012a - R2017aR2012a - R2017a--R2016a - R2017a----
Polyspace Client™ for C/C++ and Polyspace Server for C/C++R2011a - R2013aR2012a - R2013aR2012a -R2013a-------
Polyspace Verifier for CR2011a-R2012a-------
Simulink Requirements™R2019a -R2021bR2019a -R2021bR2019a -R2021bR2020b - R2021b-R2019a -R2021bR2020a - R2021b---
System Composer™-R2026a--------

a These products are not developed using an IEC 61508 certified process.

b AUTOSAR Blockset is certified for use with Embedded Coder