Продукты, поддержанные IEC Certification Kit для каждого MathWorks Release

Версии продукта MathWorks®, поддержанные IEC Certification Kit, перечислены в следующей таблице.

Сводные данные поддержки IEC Certification Kit продуктов Mathworks

Поддерживаемый продуктВерсии продукта, поддержанные IEC Certification Kit
Embedded Coder®R2011a- R2019a
AUTOSAR Blockset R2019a
Workshop® Embedded Coder в реальном времени R2008a- R2010b, R2009bSP1, R2010bSP1, R2010bSP2
Simulink® PLC Coder™R2010a- R2019a
Simulink Check™ R2017b- R2019a
Simulink Coverage™ R2017b- R2019a
Simulink Requirements™ R2019a
Верификация Simulink и Validation™ R2011a- R2017a, R2010bSP1
Simulink Design Verifier™R2011a- R2019a, R2010bSP1
Polyspace® Client™ для C/C++ и Polyspace Server™ для C/C++R2008a - R2008b, R2009b - R2013a, R2009a +
Polyspace Bug Finder™ R2013b- R2019a
Polyspace Bug Finder Server R2019a
Polyspace Code Prover™R2013b- R2019a
Polyspace Code Prover Server R2019a
Simulink Test™R2015b- R2019a
Верификатор Polyspace для CR2007a +

Поддержку IEC Certification Kit продуктов, релизов и стандартов показывают в таблице IEC Certification Kit Support for Standards. IEC Certification Kit для релиза может включать артефакты сертификации для продуктов в предыдущем релизе. Это включение происходит, например, когда IEC Certification Kit поддерживает новый стандарт или новый продукт.

Можно использовать информацию в таблице IEC Certification Kit Support for Standards, чтобы определить продукты и стандарты, которые поддерживаются для каждого релиза. Например:

  • Начальная поддержка Embedded Coder для IEC 62304 оказывается в IEC Certification Kit R2016a.

  • Начальная поддержка Embedded Coder для 26262-8:2018 ISO оказывается в IEC Certification Kit R2012a.

  • IEC Certification Kit R2012a предоставляет ISO 26262-8:2018 артефакты сертификации для R2011a через R2012a Embedded Coder.

  • Начальная поддержка Simulink PLC Coder для IEC 61511:2003 оказывается в IEC Certification Kit R2010b.

  • IEC Certification Kit R2010b обеспечивает IEC 61511:2003 артефакты сертификации для R2010a и R2010b Simulink PLC Coder.

Поддержка IEC Certification Kit стандартов

Поддерживаемый продуктПоддерживаемый
Продукт
Релиз
Релиз IEC Certification Kit
Начальная буква
Поддержка
IEC 61508–3:
2010
Поддержка
ISO 26262-8:
2018
Поддержка
EN 50128: 2011
Поддержка
IEC 62304: 2006
Поддержка
IEC 61511:
2003
Поддержка
Embedded Coder R2019aR2019aR2019aR2019aR2019aR2019a-
R2018bR2018bR2018bR2018bR2018bR2018b-
R2018aR2018aR2018aR2018aR2018aR2018a-
R2017bR2017bR2017bR2017bR2017bR2017b-
R2017aR2017aR2017aR2017aR2017aR2017a-
R2016bR2016bR2016bR2016bR2016bR2016b-
R2016aR2016aR2016aR2016aR2016aR2016a
R2015bR2015bR2015bR2015bR2015b
R2015aR2015aR2015aR2015aR2015a
R2014bR2014bR2014bR2014bR2014b
R2014aR2014aR2014aR2014aR2014a
R2013bR2013bR2013bR2013bR2013b
R2013aR2013aR2013aR2013aR2013a
R2012bR2012bR2012bR2012bR2012b
R2012aR2012aR2012aR2012aR2012a
R2011bR2011bR2011b
R2011aR2011aR2011a
AUTOSAR Blockset R2019aR2019aR2019aR2019aR2019aR2019a-
Embedded Coder Real - Time Workshop R2010bSP2R2012bR2012bR2012bR2012b--
R2010bSP1R2011aR2011aR2012aR2012a
R2010bR2010b
R2010aR2010a
R2009bSP1R2010b
R2009bR2009b +
R2009aR2009a +
R2008b
R2008a
Simulink PLC Coder R2019aR2019aR2019aR2019aR2019aR2019aR2019a
R2018bR2018bR2018bR2018bR2018bR2018bR2018b
R2018aR2018aR2018a-R2018aR2018aR2018a
R2017bR2017bR2017b-R2017bR2017bR2017b
R2017aR2017aR2017a--R2017aR2017a
R2016bR2016bR2016b--R2016bR2016b
R2016aR2016aR2016aR2016aR2016a
R2015bR2015bR2015bR2015b
R2015aR2015aR2015aR2015a
R2014bR2014bR2014bR2014b
R2014aR2014aR2014aR2014a
R2013bR2013bR2013bR2013b
R2013aR2013aR2013aR2013a
R2012bR2012bR2012bR2012b
R2012aR2012aR2012aR2012a
R2011bR2011bR2011bR2011b
R2011aR2011aR2011aR2011a
R2010bR2010bR2010b
R2010a
Simulink Check R2019aR2019aR2019aR2019aR2019aR2019a-
R2018bR2018bR2018bR2018bR2018bR2018b-
R2018aR2018aR2018aR2018aR2018aR2018a-
R2017bR2017bR2017bR2017bR2017bR2017b-
Simulink Coverage R2019aR2019aR2019aR2019aR2019aR2019a-
R2018bR2018bR2018bR2018bR2018bR2018b-
R2018aR2018aR2018aR2018aR2018aR2018a-
R2017bR2017bR2017bR2017bR2017bR2017b-
Simulink Requirements R2019aR2019aR2019aR2019aR2019aR2019a-
Simulink Verification and Validation R2017aR2017aR2017aR2017aR2017aR2017a-
R2016bR2016bR2016bR2016bR2016bR2016b-
R2016aR2016aR2016aR2016aR2016aR2016a
R2015bR2015bR2015bR2015bR2015b
R2015aR2015aR2015aR2015aR2015a
R2014bR2014bR2014bR2014bR2014b
R2014aR2014aR2014aR2014aR2014a
R2013bR2013bR2013bR2013bR2013b
R2013aR2013aR2013aR2013aR2013a
R2012bR2012bR2012bR2012bR2012b
R2012aR2012aR2012aR2012aR2012a
R2011bR2011bR2011b
R2011aR2011aR2011a
R2010bSP1
Simulink Design Verifier R2019aR2019aR2019aR2019aR2019aR2019a-
R2018bR2018bR2018bR2018bR2018bR2018b-
R2018aR2018aR2018aR2018aR2018aR2018a-
R2017bR2017bR2017bR2017bR2017bR2017b-
R2017aR2017aR2017aR2017aR2017aR2017a-
R2016bR2016bR2016bR2016bR2016bR2016b-
R2016aR2016aR2016aR2016aR2016aR2016a
R2015bR2015bR2015bR2015bR2015b
R2015aR2015aR2015aR2015aR2015a
R2014bR2014bR2014bR2014bR2014b
R2014aR2014aR2014aR2014aR2014a
R2013bR2013bR2013bR2013bR2013b
R2013aR2013aR2013aR2013aR2013a
R2012bR2012bR2012bR2012bR2012b
R2012aR2012aR2012aR2012aR2012a
R2011bR2011bR2011b
R2011aR2011aR2011a
R2010bSP1
Polyspace Bug Finder R2019aR2019aR2019aR2019aR2019aR2019a-
R2018bR2018bR2018bR2018bR2018bR2018b-
R2018aR2018aR2018aR2018aR2018aR2018a-
R2017bR2017bR2017bR2017bR2017bR2017b-
R2017aR2017aR2017aR2017aR2017aR2017a-
R2016bR2016bR2016bR2016bR2016bR2016b-
R2016aR2016aR2016aR2016aR2016aR2016a
R2015bR2015bR2015bR2015bR2015b
R2015aR2015aR2015aR2015aR2015a
R2014bR2014bR2014bR2014bR2014b
R2014aR2014aR2014aR2014aR2014a
R2013bR2013bR2013bR2013bR2013b
Polyspace Bug Finder Server R2019aR2019aR2019aR2019aR2019aR2019a-
Polyspace Code Prover R2019aR2019aR2019aR2019aR2019aR2019a-
R2018bR2018bR2018bR2018bR2018bR2018b-
R2018aR2018aR2018aR2018aR2018aR2018a-
R2017bR2017bR2017bR2017bR2017bR2017b-
R2017aR2017aR2017aR2017aR2017aR2017a-
R2016bR2016bR2016bR2016bR2016bR2016b-
R2016aR2016aR2016aR2016aR2016aR2016a
R2015bR2015bR2015bR2015bR2015b
R2015aR2015aR2015aR2015aR2015a
R2014bR2014bR2014bR2014bR2014b
R2014aR2014aR2014aR2014aR2014a
R2013bR2013bR2013bR2013bR2013b
Polyspace Code Prover Server R2019aR2019aR2019aR2019aR2019aR2019a-
Simulink Test R2019aR2019aR2019aR2019aR2019aR2019a-
R2018bR2018bR2018bR2018bR2018bR2018b-
R2018aR2018aR2018aR2018aR2018aR2018a-
R2017bR2017bR2017bR2017bR2017bR2017b-
R2017aR2017aR2017aR2017aR2017aR2017a-
R2016bR2016bR2016bR2016bR2016bR2016b-
R2016aR2016aR2016aR2016aR2016aR2016a
R2015bR2015bR2015bR2015bR2015b 
Клиент Polyspace для C/C++ и Сервер Polyspace для C/C++R2013aR2013aR2013aR2013aR2013a--
R2012bR2012bR2012bR2012bR2012b
R2012aR2012aR2012aR2012aR2012a
R2011bR2011bR2011b
R2011aR2011aR2011a
R2010bR2010b
R2010aR2010a
R2009bR2009b +
R2009a +
R2008b
R2008a
Верификатор Polyspace для CR2007a +R2009a +R2011a-R2012a -