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 IEC 62304:2015 ISO 25119: 2018ISO/SAE 21434:2021IEC 61511:2016ASPICE, Version 3.1
Embedded Coder®R2011a -R2023bR2012a -R2023bR2012a -R2023bR2020b - R2023bR2016a -R2023bR2020a - R2023bR2022a - R2023b-R2022a - R2023b
AUTOSAR BlocksetbR2019a -R2023bR2019a -R2023bR2019a -R2023bR2020b - R2023bR2019a -R2023bR2020a - R2023bR2022a - R2023b-R2022a - R2023b
Simulink® PLC Coder™R2011a - R2023bR2018b - R2023bR2017b - R2023bR2020b - R2023bR2016a - R2023bR2020a - R2023bR2022a - R2023bR2010b - R2023b-
HDL Coder™R2020a - R2023bR2020a - R2023bR2020a - R2023bR2020b - R2023bR2020a - R2023bR2020a - R2023bR2022a - R2023b--
Simulink Check™R2017b - R2023bR2017b - R2023bR2017b - R2023bR2020b - R2023bR2017b - R2023bR2020a - R2023bR2022a - R2023b-R2022a - R2023b
Simulink Coverage™R2017b - R2023bR2017b - R2023bR2017b - R2023bR2020b - R2023bR2017b - R2023bR2020a - R2023bR2022a - R2023b-R2022a - R2023b
Requirements Toolbox™R2022a - R2023bR2022a - R2023bR2022a - R2023bR2022a - R2023bR2022a - R2023bR2022a - R2023bR2022a - R2023b-R2022a - R2023b
Simulink Design Verifier™R2011a - R2023bR2012a - R2023bR2012a - R2023bR2020b - R2023bR2016a - R2023bR2020a - R2023bR2022a - R2023b-R2022a - R2023b
Polyspace® Bug Finder™R2013b - R2023bR2013b - R2023bR2013b - R2023bR2020b - R2023bR2016a - R2023bR2020a - R2023bR2022a - R2023b-R2022a - R2023b
Polyspace Bug Finder Server™R2019a - R2023bR2019a - R2023bR2019a - R2023bR2020b - R2023bR2019a - R2023bR2020a - R2023bR2022a - R2023b-R2022a - R2023b
Polyspace Code Prover™R2013b - R2023bR2013b - R2023bR2013b - R2023bR2020b - R2023bR2016a - R2023bR2020a - R2023bR2022a - R2023b-R2022a - R2023b
Polyspace Code Prover ServerR2019a - R2023bR2019a - R2023bR2019a - R2023bR2020b - R2023bR2019a - R2023bR2020a - R2023bR2022a - R2023b-R2022a - R2023b
Polyspace Test™R2023bR2023bR2023bR2023bR2023bR2023b R2023b-R2023b
MATLAB® TestR2023a - R2023bR2023a - R2023bR2023a - R2023bR2023a - R2023bR2023a - R2023bR2023a - R2023bR2023a - R2023b-R2023a - R2023b
Simulink TestR2015b - R2023bR2015b - R2023bR2015b - R2023bR2020b - R2023bR2016a - R2023bR2020a - R2023bR2022a - R2023b-R2022a - R2023b
Simulink-R2022b - R2023b-------
MATLAB-R2022b - R2023b-------
Stateflow®-R2022b - R2023b-------
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 - R2021bR2019a -R2021bR2020a - R2021b---

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

b AUTOSAR Blockset is certified for use with Embedded Coder