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
Producta | IEC Certification Kit Release | ||||||||
---|---|---|---|---|---|---|---|---|---|
IEC 61508:2010 | ISO 26262:2018 | EN 50128: 2011/A2:2020 | EN 50657: 2017 | IEC 62304:2015 | ISO 25119: 2018 | ISO/SAE 21434:2021 | IEC 61511:2016 | ASPICE, Version 3.1 | |
Embedded Coder® | R2011a -R2024b | R2012a - R2024b | R2012a - R2024b | R2020b - R2024b | R2016a - R2024b | R2020a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
AUTOSAR Blocksetb | R2019a - R2024b | R2019a - R2024b | R2019a - R2024b | R2020b - R2024b | R2019a - R2024b | R2020a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
Simulink® PLC Coder™ | R2011a - R2024b | R2018b - R2024b | R2017b - R2024b | R2020b - R2024b | R2016a - R2024b | R2020a - R2024b | R2022a - R2024b | R2010b - R2024b | - |
HDL Coder™ | R2020a - R2024b | R2020a - R2024b | R2020a - R2024b | R2020b - R2024b | R2020a - R2024b | R2020a - R2024b | R2022a - R2024b | - | - |
Simulink Check™ | R2017b - R2024b | R2017b - R2024b | R2017b - R2024b | R2020b - R2024b | R2017b - R2024b | R2020a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
Simulink Coverage™ | R2017b - R2024b | R2017b - R2024b | R2017b - R2024b | R2020b - R2024b | R2017b - R2024b | R2020a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
Requirements Toolbox™ | R2022a - R2024b | R2022a - R2024b | R2022a - R2024b | R2022a - R2024b | R2022a - R2024b | R2022a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
Simulink Design Verifier™ | R2011a - R2024b | R2012a - R2024b | R2012a - R2024b | R2020b - R2024b | R2016a - R2024b | R2020a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
Polyspace® Bug Finder™ | R2013b - R2024b | R2013b - R2024b | R2013b - R2024b | R2020b - R2024b | R2016a - R2024b | R2020a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
Polyspace Bug Finder Server™ | R2019a - R2024b | R2019a - R2024b | R2019a - R2024b | R2020b - R2024b | R2019a - R2024b | R2020a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
Polyspace Code Prover™ | R2013b - R2024b | R2013b - R2024b | R2013b - R2024b | R2020b - R2024b | R2016a - R2024b | R2020a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
Polyspace Code Prover Server | R2019a - R2024b | R2019a - R2024b | R2019a - R2024b | R2020b - R2024b | R2019a - R2024b | R2020a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
Polyspace Test™ | R2023b - R2024b | R2023b - R2024b | R2023b - R2024b | R2023b - R2024b | R2023b - R2024b | R2023b - R2024b | R2023b - R2024b | - | R2023b - R2024b |
MATLAB® Test | R2023a - R2024b | R2023a - R2024b | R2023a - R2024b | R2023a - R2024b | R2023a - R2024b | R2023a - R2024b | R2023a - R2024b | - | R2023a - R2024b |
Simulink Test | R2015b - R2024b | R2015b - R2024b | R2015b - R2024b | R2020b - R2024b | R2016a - R2024b | R2020a - R2024b | R2022a - R2024b | - | R2022a - R2024b |
Simulink | - | R2022b - R2024b | - | - | - | - | - | - | - |
MATLAB | - | R2022b - R2024b | - | - | - | - | - | - | - |
Stateflow® | - | R2022b - R2024b | - | - | - | - | - | - | - |
Real-Time Workshop® Embedded Coder | R2012a - R2012b | R2012a - R2012b | R2012a - R2012b | - | - | - | - | - | - |
Simulink Verification and Validation™ | R2011a - R2017a | R2012a - R2017a | R2012a - R2017a | - | R2016a - R2017a | - | - | - | - |
Polyspace Client™ for C/C++ and Polyspace Server for C/C++ | R2011a - R2013a | R2012a - R2013a | R2012a -R2013a | - | - | - | - | - | - |
Polyspace Verifier for C | R2011a | - | R2012a | - | - | - | - | - | - |
Simulink Requirements™ | R2019a -R2021b | R2019a -R2021b | R2019a -R2021b | R2020b - R2021b | R2019a -R2021b | R2020a - R2021b | - | - | - |
a These products are not developed using an IEC 61508 certified process. b AUTOSAR Blockset is certified for use with Embedded Coder |