Main Content

Products Supported by IEC Certification Kit

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

Note

The IEC Certification Kit for a release can include certification artifacts for products in a previous release. This inclusion occurs, for example, when the IEC Certification Kit supports a new standard or a new product.

Note

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

IEC Certification Kit Support for Standards

Supported ProductSupported Product ReleaseIEC Certification Kit Release
IEC 61508:2010 ISO 26262:2018 EN 50128: 2011/A2:2020EN 50657: 2017 IEC 62304:2015 ISO 25119: 2018IEC 61511:2016
Embedded Coder®R2011a - R2023aR2011a -R2023aR2012a -R2023aR2012a -R2023aR2020b - R2023aR2016a -R2023aR2020a - R2023a-
AUTOSAR BlocksetaR2019a - R2023aR2019a -R2023aR2019a -R2023aR2019a -R2023aR2020b - R2023aR2019a -R2023aR2020a - R2023a-
Simulink® PLC Coder™R2010a - R2023aR2011a - R2023aR2018b - R2023aR2017b - R2023aR2020b - R2023aR2016a - R2023aR2020a - R2023aR2010b - R2023a
HDL Coder™R2020a - R2023aR2020a - R2023aR2020a - R2023aR2020a - R2023aR2020b - R2023aR2020a - R2023aR2020a - R2023a-
Simulink Check™R2017b - R2023aR2017b - R2023aR2017b - R2023aR2017b - R2023aR2020b - R2023aR2017b - R2023aR2020a - R2023a-
Simulink Coverage™R2017b - R2023aR2017b - R2023aR2017b - R2023aR2017b - R2023aR2020b - R2023aR2017b - R2023aR2020a - R2023a-
Requirements Toolbox™R2022a - R2023aR2022a - R2023aR2022a - R2023aR2022a - R2023aR2022a - R2023aR2022a - R2023aR2022a - R2023a-
Simulink Design Verifier™R2011a - R2021b, R2010bSP1bR2011a - R2023aR2012a - R2023aR2012a - R2023aR2020b - R2023aR2016a - R2023aR2020a - R2023a-
Polyspace® Bug Finder™R2013b - R2023aR2013b - R2023aR2013b - R2023aR2013b - R2023aR2020b - R2023aR2016a - R2023aR2020a - R2023a-
Polyspace Bug Finder Server™R2019a - R2023aR2019a - R2023aR2019a - R2023aR2019a - R2023aR2020b - R2023aR2019a - R2023aR2020a - R2023a-
Polyspace Code Prover™R2013b - R2023aR2013b - R2023aR2013b - R2023aR2013b - R2023aR2020b - R2023aR2016a - R2023aR2020a - R2023a-
Polyspace Code Prover ServerR2019a - R2023aR2019a - R2023aR2019a - R2023aR2019a - R2023aR2020b - R2023aR2019a - R2023aR2020a - R2023a-
MATLAB® Test™R2023aR2023aR2023aR2023aR2023aR2023aR2023a-
Simulink TestR2015b - R2023aR2015b - R2023aR2015b - R2023aR2015b - R2023aR2020b - R2023aR2016a - R2023aR2020a - R2023a-
SimulinkR2022b - R2023a-R2022b - R2023a-----
MATLABR2022b - R2023a-R2022b - R2023a-----
Stateflow®R2022b - R2023a-R2022b - R2023a-----
Real-Time Workshop® Embedded Coder R2008a - R2010b, R2009bSP1, R2010bSP1, R2010bSP2cR2012a - R2012bR2012a - R2012bR2012a - R2012b----
Simulink Verification and Validation™R2011a - R2017a, R2010bSP1dR2011a - R2017aR2012a - R2017aR2012a - R2017a-R2016a - R2017a--
Polyspace Client™ for C/C++ and Polyspace Server for C/C++R2008a - R2008b, R2009b - R2013a, R2009a+eR2011a - R2013aR2012a - R2013aR2012a -R2013a----
Polyspace Verifier for CR2007a+fR2011a-R2012a----
Simulink Requirements™R2019a -R2021bR2019a -R2021bR2019a -R2021bR2019a -R2021bR2020b - R2021bR2019a -R2021bR2020a - R2021b-

a AUTOSAR Blockset is certified for use with Embedded Coder

b Initial Support was R2011a - current release

c Initial Support was R2010a - 2012b, R2009a+, R2009b+

d Initial Support was R2011a - R2017a

e Initial Support was R2010a - R2013a, R2009b+

f Initial Support was R2009a+