Следующая таблица идентифицирует продукты, которые поддерживаются в IEC Certification Kit. Можно использовать информацию в таблице, чтобы определить продукты и стандарты, которые поддерживаются для каждого релиза.
Примечание
IEC Certification Kit для релиза может включать артефакты сертификации для продуктов в предыдущем релизе. Это включение происходит, например, когда IEC Certification Kit поддерживает новый стандарт или новый продукт.
Поддержка IEC Certification Kit стандартов
| Поддерживаемый продукт | Релиз поддерживаемого продукта | Релиз IEC Certification Kit | ||||||
|---|---|---|---|---|---|---|---|---|
| IEC 61508:2010 | ISO 26262:2018 | EN 50128: 2011 | EN 50657: 2017 | IEC 62304:2015 | ISO 25119: 2018 | IEC 61511:2016 | ||
| Embedded Coder® | R2011a- R2021b | R2011a-R2021b | R2012a-R2021b | R2012a-R2021b | R2020b - R2021b | R2016a-R2021b | R2020a - R2021b | - |
| AUTOSAR Blockset[a] | R2019a - R2021b | R2019a-R2021b | R2019a-R2021b | R2019a-R2021b | R2020b - R2021b | R2019a-R2021b | R2020a - R2021b | - |
| Simulink® PLC Coder™ | R2010a- R2021b | R2011a- R2021b | R2018b - R2021b | R2017b- R2021b | R2020b - R2021b | R2016a- R2021b | R2020a - R2021b | R2010b- R2021b |
| HDL Coder™ | R2020a - R2021b | R2020a - R2021b | R2020a - R2021b | R2020a - R2021b | R2020b - R2021b | R2020a - R2021b | R2020a - R2021b | - |
| Simulink Check™ | R2017b- R2021b | R2017b- R2021b | R2017b- R2021b | R2017b- R2021b | R2020b - R2021b | R2017b- R2021b | R2020a - R2021b | - |
| Simulink Coverage™ | R2017b- R2021b | R2017b- R2021b | R2017b- R2021b | R2017b- R2021b | R2020b - R2021b | R2017b- R2021b | R2020a - R2021b | - |
| Simulink Requirements™ | R2019a-R2021b | R2019a-R2021b | R2019a-R2021b | R2019a-R2021b | R2020b - R2021b | R2019a-R2021b | R2020a - R2021b | - |
| Simulink Design Verifier™ | R2011a- R2021b, R2010bSP1[b] | R2011a- R2021b | R2012a- R2021b | R2012a- R2021b | R2020b - R2021b | R2016a- R2021b | R2020a - R2021b | - |
| Polyspace® Bug Finder™ | R2013b- R2021b | R2013b- R2021b | R2013b- R2021b | R2013b- R2021b | R2020b - R2021b | R2016a- R2021b | R2020a - R2021b | - |
| Polyspace Bug Finder Server™ | R2019a - R2021b | R2019a - R2021b | R2019a - R2021b | R2019a - R2021b | R2020b - R2021b | R2019a - R2021b | R2020a - R2021b | - |
| Polyspace Code Prover™ | R2013b- R2021b | R2013b- R2021b | R2013b- R2021b | R2013b- R2021b | R2020b - R2021b | R2016a- R2021b | R2020a - R2021b | - |
| Polyspace Code Prover Server | R2019a - R2021b | R2019a - R2021b | R2019a - R2021b | R2019a - R2021b | R2020b - R2021b | R2019a - R2021b | R2020a - R2021b | - |
| Simulink Test™ | R2015b- R2021b | R2015b- R2021b | R2015b- R2021b | R2015b- R2021b | R2020b - R2021b | R2016a- R2021b | R2020a - R2021b | - |
| Real - Time Workshop® Embedded Coder | R2008a- R2010b, R2009bSP1, R2010bSP1, R2010bSP2[c] | R2012a- R2012b | R2012a- R2012b | R2012a- R2012b | - | - | - | |
| Верификация Simulink и Validation™ | R2011a- R2017a, R2010bSP1[d] | R2011a- R2017a | R2012a- R2017a | R2012a- R2017a | - | R2016a- R2017a | - | - |
| Polyspace Client™ для C/C++ и Сервер Polyspace для C/C++ | R2008a - R2008b, R2009b - R2013a, R2009a +[e] | R2011a- R2013a | R2012a- R2013a | R2012a-R2013a | - | - | - | - |
| Верификатор Polyspace для C | R2007a +[f] | R2011a | - | R2012a | - | - | - | - |
[a] AUTOSAR Blockset сертифицируется для использования с Embedded Coder [b] Начальная Поддержка была R2011a - текущий релиз [c] Начальная Поддержка была R2010a - 2012b, R2009a +, R2009b + [d] Начальная Поддержка была R2011a - R2017a [e] Начальная Поддержка была R2010a - R2013a, R2009b + [f] Начальная Поддержка была R2009a + | ||||||||
