Exponenta Banner

Продукты, поддержанные 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- R2020bR2011a-R2020bR2012a-R2020bR2012a-R2020bR2020bR2016a-R2020bR2020a - R2020b-
AUTOSAR BlocksetR2019a - R2020bR2019a-R2020bR2019a-R2020bR2019a-R2020bR2020bR2019a-R2020bR2020a - R2020b-
Simulink® PLC Coder™R2010a- R2020bR2011a- R2020bR2018b - R2020bR2017b- R2020bR2020bR2016a- R2020bR2020a - R2020bR2010b- R2020b
HDL Coder™R2020a - R2020bR2020a - R2020bR2020a - R2020bR2020a - R2020bR2020bR2020a - R2020bR2020a - R2020b-
Simulink Check™R2017b- R2020bR2017b- R2020bR2017b- R2020bR2017b- R2020bR2020bR2017b- R2020bR2020a - R2020b-
Simulink Coverage™R2017b- R2020bR2017b- R2020bR2017b- R2020bR2017b- R2020bR2020bR2017b- R2020bR2020a - R2020b-
Simulink Requirements™R2019a-R2020bR2019a-R2020bR2019a-R2020bR2019a-R2020bR2020bR2019a-R2020bR2020a - R2020b-
Simulink Design Verifier™R2011a- R2020b, R2010bSP1[b]R2011a- R2020bR2012a- R2020bR2012a- R2020bR2020bR2016a- R2020bR2020a - R2020b-
Polyspace® Bug Finder™R2013b- R2020bR2013b- R2020bR2013b- R2020bR2013b- R2020bR2020bR2016a- R2020bR2020a - R2020b-
Polyspace Bug Finder Server™R2019a - R2020bR2019a - R2020bR2019a - R2020bR2019a - R2020bR2020bR2019a - R2020bR2020a - R2020b-
Polyspace Code Prover™R2013b- R2020bR2013b- R2020bR2013b- R2020bR2013b- R2020bR2020bR2016a- R2020bR2020a - R2020b-
Polyspace Code Prover ServerR2019a - R2020bR2019a - R2020bR2019a - R2020bR2019a - R2020bR2020bR2019a - R2020bR2020a - R2020b-
Simulink Test™R2015b- R2020bR2015b- R2020bR2015b- R2020bR2015b- R2020bR2020bR2016a- R2020bR2020a - R2020b-
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 +

Документация IEC Certification Kit

Поддержка