Продукты, поддержанные IEC Certification Kit

Следующая таблица идентифицирует продукты, которые поддерживаются в 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: 2018IEC 61511:2016
Embedded Coder®R2011a- R2021aR2011a-R2021aR2012a-R2021aR2012a-R2021aR2020b - R2021aR2016a-R2021aR2020a - R2021a-
AUTOSAR BlocksetR2019a - R2021aR2019a-R2021aR2019a-R2021aR2019a-R2021aR2020b - R2021aR2019a-R2021aR2020a - R2021a-
Simulink® PLC Coder™R2010a- R2021aR2011a- R2021aR2018b - R2021aR2017b- R2021aR2020b - R2021aR2016a- R2021aR2020a - R2021aR2010b- R2021a
HDL Coder™R2020a - R2021aR2020a - R2021aR2020a - R2021aR2020a - R2021aR2020b - R2021aR2020a - R2021aR2020a - R2021a-
Simulink Check™R2017b- R2021aR2017b- R2021aR2017b- R2021aR2017b- R2021aR2020b - R2021aR2017b- R2021aR2020a - R2021a-
Simulink Coverage™R2017b- R2021aR2017b- R2021aR2017b- R2021aR2017b- R2021aR2020b - R2021aR2017b- R2021aR2020a - R2021a-
Simulink Requirements™R2019a-R2021aR2019a-R2021aR2019a-R2021aR2019a-R2021aR2020b - R2021aR2019a-R2021aR2020a - R2021a-
Simulink Design Verifier™R2011a- R2021a, R2010bSP1[b]R2011a- R2021aR2012a- R2021aR2012a- R2021aR2020b - R2021aR2016a- R2021aR2020a - R2021a-
Polyspace® Bug Finder™R2013b- R2021aR2013b- R2021aR2013b- R2021aR2013b- R2021aR2020b - R2021aR2016a- R2021aR2020a - R2021a-
Polyspace Bug Finder Server™R2019a - R2021aR2019a - R2021aR2019a - R2021aR2019a - R2021aR2020b - R2021aR2019a - R2021aR2020a - R2021a-
Polyspace Code Prover™R2013b- R2021aR2013b- R2021aR2013b- R2021aR2013b- R2021aR2020b - R2021aR2016a- R2021aR2020a - R2021a-
Polyspace Code Prover ServerR2019a - R2021aR2019a - R2021aR2019a - R2021aR2019a - R2021aR2020b - R2021aR2019a - R2021aR2020a - R2021a-
Simulink Test™R2015b- R2021aR2015b- R2021aR2015b- R2021aR2015b- R2021aR2020b - R2021aR2016a- R2021aR2020a - R2021a-
Workshop® Embedded Coder в реальном времени R2008a- R2010b, R2009bSP1, R2010bSP1, R2010bSP2[c]R2012a- R2012bR2012a- R2012bR2012a- R2012b- --
Верификация Simulink и Validation™R2011a- R2017a, R2010bSP1[d]R2011a- R2017aR2012a- R2017aR2012a- R2017a-R2016a- R2017a--
Polyspace Client™ для C/C++ и Сервер Polyspace для C/C++R2008a - R2008b, R2009b - R2013a, R2009a + [e]R2011a- R2013aR2012a- R2013aR2012a-R2013a----
Верификатор Polyspace для CR2007a + [f]R2011a-R2012a----

[a]  AUTOSAR Blockset сертифицируется для использования с Embedded Coder

[b]  Начальная Поддержка была R2011a - текущий релиз

[c]  Начальная Поддержка была R2010a - 2012b, R2009a +, R2009b +

[d]  Начальная Поддержка была R2011a - R2017a

[e]  Начальная Поддержка была R2010a - R2013a, R2009b +

[f]  Начальная Поддержка была R2009a +