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 IEC 62304:2015 ISO 25119: 2018IEC 61511:2016
Embedded Coder®R2011a- R2020aR2011a-R2020aR2012a-R2020aR2012a-R2020aR2016a-R2020aR2020a-
AUTOSAR BlocksetR2019a - R2020aR2019a-R2020aR2019a-R2020aR2019a-R2020aR2019a-R2020aR2020a-
Simulink® PLC Coder™R2010a- R2020aR2011a- R2020aR2018b - R2020aR2017b- R2020aR2016a- R2020aR2020aR2010b- R2020a
HDL Coder™R2020aR2020aR2020aR2020aR2020aR2020a 
Simulink Check™R2017b- R2020aR2017b- R2020aR2017b- R2020aR2017b- R2020aR2017b- R2020aR2020a-
Simulink Coverage™R2017b- R2020aR2017b- R2020aR2017b- R2020aR2017b- R2020aR2017b- R2020aR2020a-
Simulink Requirements™R2019a-R2020aR2019a-R2020aR2019a-R2020aR2019a-R2020aR2019a-R2020aR2020a-
Simulink Design Verifier™R2011a- R2020a, R2010bSP1R2011a- R2020aR2012a- R2020aR2012a- R2020aR2016a- R2020aR2020a-
Polyspace® Bug Finder™R2013b- R2020aR2013b- R2020aR2013b- R2020aR2013b- R2020aR2016a- R2020aR2020a-
Polyspace Bug Finder Server™R2019a - R2020aR2019a - R2020aR2019a - R2020aR2019a - R2020aR2019a - R2020aR2020a-
Polyspace Code Prover™R2013b- R2020aR2013b- R2020aR2013b- R2020aR2013b- R2020aR2016a- R2020aR2020a-
Polyspace Code Prover ServerR2019a - R2020aR2019a - R2020aR2019a - R2020aR2019a - R2020aR2019a - R2020aR2020a-
Simulink Test™R2015b- R2020aR2015b- R2020aR2015b- R2020aR2015b- R2020aR2016a- R2020aR2020a-
Workshop® Embedded Coder в реальном времени R2008a- R2010b, R2009bSP1, R2010bSP1, R2010bSP2[b]R2012a- R2012bR2012a- R2012bR2012a- R2012b---
Верификация Simulink и Validation™R2011a- R2017a, R2010bSP1[c]R2011a- R2017aR2012a- R2017aR2012a- R2017aR2016a- R2017a--
Polyspace Client™ для C/C++ и Сервер Polyspace для C/C++R2008a - R2008b, R2009b - R2013a, R2009a + [d]R2011a- R2013aR2012a- R2013aR2012a-R2013a---
Верификатор Polyspace для CR2007a + [e]R2011a-R2012a---

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

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

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

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

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

Документация IEC Certification Kit
Поддержка