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 Product | Supported Product Release | IEC Certification Kit Release | ||||||
---|---|---|---|---|---|---|---|---|
IEC 61508:2010 | ISO 26262:2018 | EN 50128: 2011/A2:2020 | EN 50657: 2017 | IEC 62304:2015 | ISO 25119: 2018 | IEC 61511:2016 | ||
Embedded Coder® | R2011a - R2023a | R2011a -R2023a | R2012a -R2023a | R2012a -R2023a | R2020b - R2023a | R2016a -R2023a | R2020a - R2023a | - |
AUTOSAR Blockseta | R2019a - R2023a | R2019a -R2023a | R2019a -R2023a | R2019a -R2023a | R2020b - R2023a | R2019a -R2023a | R2020a - R2023a | - |
Simulink® PLC Coder™ | R2010a - R2023a | R2011a - R2023a | R2018b - R2023a | R2017b - R2023a | R2020b - R2023a | R2016a - R2023a | R2020a - R2023a | R2010b - R2023a |
HDL Coder™ | R2020a - R2023a | R2020a - R2023a | R2020a - R2023a | R2020a - R2023a | R2020b - R2023a | R2020a - R2023a | R2020a - R2023a | - |
Simulink Check™ | R2017b - R2023a | R2017b - R2023a | R2017b - R2023a | R2017b - R2023a | R2020b - R2023a | R2017b - R2023a | R2020a - R2023a | - |
Simulink Coverage™ | R2017b - R2023a | R2017b - R2023a | R2017b - R2023a | R2017b - R2023a | R2020b - R2023a | R2017b - R2023a | R2020a - R2023a | - |
Requirements Toolbox™ | R2022a - R2023a | R2022a - R2023a | R2022a - R2023a | R2022a - R2023a | R2022a - R2023a | R2022a - R2023a | R2022a - R2023a | - |
Simulink Design Verifier™ | R2011a - R2021b, R2010bSP1b | R2011a - R2023a | R2012a - R2023a | R2012a - R2023a | R2020b - R2023a | R2016a - R2023a | R2020a - R2023a | - |
Polyspace® Bug Finder™ | R2013b - R2023a | R2013b - R2023a | R2013b - R2023a | R2013b - R2023a | R2020b - R2023a | R2016a - R2023a | R2020a - R2023a | - |
Polyspace Bug Finder Server™ | R2019a - R2023a | R2019a - R2023a | R2019a - R2023a | R2019a - R2023a | R2020b - R2023a | R2019a - R2023a | R2020a - R2023a | - |
Polyspace Code Prover™ | R2013b - R2023a | R2013b - R2023a | R2013b - R2023a | R2013b - R2023a | R2020b - R2023a | R2016a - R2023a | R2020a - R2023a | - |
Polyspace Code Prover Server | R2019a - R2023a | R2019a - R2023a | R2019a - R2023a | R2019a - R2023a | R2020b - R2023a | R2019a - R2023a | R2020a - R2023a | - |
MATLAB® Test™ | R2023a | R2023a | R2023a | R2023a | R2023a | R2023a | R2023a | - |
Simulink Test | R2015b - R2023a | R2015b - R2023a | R2015b - R2023a | R2015b - R2023a | R2020b - R2023a | R2016a - R2023a | R2020a - R2023a | - |
Simulink | R2022b - R2023a | - | R2022b - R2023a | - | - | - | - | - |
MATLAB | R2022b - R2023a | - | R2022b - R2023a | - | - | - | - | - |
Stateflow® | R2022b - R2023a | - | R2022b - R2023a | - | - | - | - | - |
Real-Time Workshop® Embedded Coder | R2008a - R2010b, R2009bSP1, R2010bSP1, R2010bSP2c | R2012a - R2012b | R2012a - R2012b | R2012a - R2012b | - | - | - | - |
Simulink Verification and Validation™ | R2011a - R2017a, R2010bSP1d | R2011a - R2017a | R2012a - R2017a | R2012a - R2017a | - | R2016a - R2017a | - | - |
Polyspace Client™ for C/C++ and Polyspace Server for C/C++ | R2008a - R2008b, R2009b - R2013a, R2009a+e | R2011a - R2013a | R2012a - R2013a | R2012a -R2013a | - | - | - | - |
Polyspace Verifier for C | R2007a+f | R2011a | - | R2012a | - | - | - | - |
Simulink Requirements™ | R2019a -R2021b | R2019a -R2021b | R2019a -R2021b | R2019a -R2021b | R2020b - R2021b | R2019a -R2021b | R2020a - 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+ |