Версии продукта 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 для C | R2007a + |
Поддержку 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 | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| R2018b | R2018b | R2018b | R2018b | R2018b | R2018b | - | |
| R2018a | R2018a | R2018a | R2018a | R2018a | R2018a | - | |
| R2017b | R2017b | R2017b | R2017b | R2017b | R2017b | - | |
| R2017a | R2017a | R2017a | R2017a | R2017a | R2017a | - | |
| R2016b | R2016b | R2016b | R2016b | R2016b | R2016b | - | |
| R2016a | R2016a | R2016a | R2016a | R2016a | R2016a | ||
| R2015b | R2015b | R2015b | R2015b | R2015b | |||
| R2015a | R2015a | R2015a | R2015a | R2015a | |||
| R2014b | R2014b | R2014b | R2014b | R2014b | |||
| R2014a | R2014a | R2014a | R2014a | R2014a | |||
| R2013b | R2013b | R2013b | R2013b | R2013b | |||
| R2013a | R2013a | R2013a | R2013a | R2013a | |||
| R2012b | R2012b | R2012b | R2012b | R2012b | |||
| R2012a | R2012a | R2012a | R2012a | R2012a | |||
| R2011b | R2011b | R2011b | |||||
| R2011a | R2011a | R2011a | |||||
| AUTOSAR Blockset | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| Embedded Coder Real - Time Workshop | R2010bSP2 | R2012b | R2012b | R2012b | R2012b | - | - |
| R2010bSP1 | R2011a | R2011a | R2012a | R2012a | |||
| R2010b | R2010b | ||||||
| R2010a | R2010a | ||||||
| R2009bSP1 | R2010b | ||||||
| R2009b | R2009b + | ||||||
| R2009a | R2009a + | ||||||
| R2008b | |||||||
| R2008a | |||||||
| Simulink PLC Coder | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a |
| R2018b | R2018b | R2018b | R2018b | R2018b | R2018b | R2018b | |
| R2018a | R2018a | R2018a | - | R2018a | R2018a | R2018a | |
| R2017b | R2017b | R2017b | - | R2017b | R2017b | R2017b | |
| R2017a | R2017a | R2017a | - | - | R2017a | R2017a | |
| R2016b | R2016b | R2016b | - | - | R2016b | R2016b | |
| R2016a | R2016a | R2016a | R2016a | R2016a | |||
| R2015b | R2015b | R2015b | R2015b | ||||
| R2015a | R2015a | R2015a | R2015a | ||||
| R2014b | R2014b | R2014b | R2014b | ||||
| R2014a | R2014a | R2014a | R2014a | ||||
| R2013b | R2013b | R2013b | R2013b | ||||
| R2013a | R2013a | R2013a | R2013a | ||||
| R2012b | R2012b | R2012b | R2012b | ||||
| R2012a | R2012a | R2012a | R2012a | ||||
| R2011b | R2011b | R2011b | R2011b | ||||
| R2011a | R2011a | R2011a | R2011a | ||||
| R2010b | R2010b | R2010b | |||||
| R2010a | |||||||
| Simulink Check | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| R2018b | R2018b | R2018b | R2018b | R2018b | R2018b | - | |
| R2018a | R2018a | R2018a | R2018a | R2018a | R2018a | - | |
| R2017b | R2017b | R2017b | R2017b | R2017b | R2017b | - | |
| Simulink Coverage | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| R2018b | R2018b | R2018b | R2018b | R2018b | R2018b | - | |
| R2018a | R2018a | R2018a | R2018a | R2018a | R2018a | - | |
| R2017b | R2017b | R2017b | R2017b | R2017b | R2017b | - | |
| Simulink Requirements | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| Simulink Verification and Validation | R2017a | R2017a | R2017a | R2017a | R2017a | R2017a | - |
| R2016b | R2016b | R2016b | R2016b | R2016b | R2016b | - | |
| R2016a | R2016a | R2016a | R2016a | R2016a | R2016a | ||
| R2015b | R2015b | R2015b | R2015b | R2015b | |||
| R2015a | R2015a | R2015a | R2015a | R2015a | |||
| R2014b | R2014b | R2014b | R2014b | R2014b | |||
| R2014a | R2014a | R2014a | R2014a | R2014a | |||
| R2013b | R2013b | R2013b | R2013b | R2013b | |||
| R2013a | R2013a | R2013a | R2013a | R2013a | |||
| R2012b | R2012b | R2012b | R2012b | R2012b | |||
| R2012a | R2012a | R2012a | R2012a | R2012a | |||
| R2011b | R2011b | R2011b | |||||
| R2011a | R2011a | R2011a | |||||
| R2010bSP1 | |||||||
| Simulink Design Verifier | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| R2018b | R2018b | R2018b | R2018b | R2018b | R2018b | - | |
| R2018a | R2018a | R2018a | R2018a | R2018a | R2018a | - | |
| R2017b | R2017b | R2017b | R2017b | R2017b | R2017b | - | |
| R2017a | R2017a | R2017a | R2017a | R2017a | R2017a | - | |
| R2016b | R2016b | R2016b | R2016b | R2016b | R2016b | - | |
| R2016a | R2016a | R2016a | R2016a | R2016a | R2016a | ||
| R2015b | R2015b | R2015b | R2015b | R2015b | |||
| R2015a | R2015a | R2015a | R2015a | R2015a | |||
| R2014b | R2014b | R2014b | R2014b | R2014b | |||
| R2014a | R2014a | R2014a | R2014a | R2014a | |||
| R2013b | R2013b | R2013b | R2013b | R2013b | |||
| R2013a | R2013a | R2013a | R2013a | R2013a | |||
| R2012b | R2012b | R2012b | R2012b | R2012b | |||
| R2012a | R2012a | R2012a | R2012a | R2012a | |||
| R2011b | R2011b | R2011b | |||||
| R2011a | R2011a | R2011a | |||||
| R2010bSP1 | |||||||
| Polyspace Bug Finder | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| R2018b | R2018b | R2018b | R2018b | R2018b | R2018b | - | |
| R2018a | R2018a | R2018a | R2018a | R2018a | R2018a | - | |
| R2017b | R2017b | R2017b | R2017b | R2017b | R2017b | - | |
| R2017a | R2017a | R2017a | R2017a | R2017a | R2017a | - | |
| R2016b | R2016b | R2016b | R2016b | R2016b | R2016b | - | |
| R2016a | R2016a | R2016a | R2016a | R2016a | R2016a | ||
| R2015b | R2015b | R2015b | R2015b | R2015b | |||
| R2015a | R2015a | R2015a | R2015a | R2015a | |||
| R2014b | R2014b | R2014b | R2014b | R2014b | |||
| R2014a | R2014a | R2014a | R2014a | R2014a | |||
| R2013b | R2013b | R2013b | R2013b | R2013b | |||
| Polyspace Bug Finder Server | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| Polyspace Code Prover | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| R2018b | R2018b | R2018b | R2018b | R2018b | R2018b | - | |
| R2018a | R2018a | R2018a | R2018a | R2018a | R2018a | - | |
| R2017b | R2017b | R2017b | R2017b | R2017b | R2017b | - | |
| R2017a | R2017a | R2017a | R2017a | R2017a | R2017a | - | |
| R2016b | R2016b | R2016b | R2016b | R2016b | R2016b | - | |
| R2016a | R2016a | R2016a | R2016a | R2016a | R2016a | ||
| R2015b | R2015b | R2015b | R2015b | R2015b | |||
| R2015a | R2015a | R2015a | R2015a | R2015a | |||
| R2014b | R2014b | R2014b | R2014b | R2014b | |||
| R2014a | R2014a | R2014a | R2014a | R2014a | |||
| R2013b | R2013b | R2013b | R2013b | R2013b | |||
| Polyspace Code Prover Server | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| Simulink Test | R2019a | R2019a | R2019a | R2019a | R2019a | R2019a | - |
| R2018b | R2018b | R2018b | R2018b | R2018b | R2018b | - | |
| R2018a | R2018a | R2018a | R2018a | R2018a | R2018a | - | |
| R2017b | R2017b | R2017b | R2017b | R2017b | R2017b | - | |
| R2017a | R2017a | R2017a | R2017a | R2017a | R2017a | - | |
| R2016b | R2016b | R2016b | R2016b | R2016b | R2016b | - | |
| R2016a | R2016a | R2016a | R2016a | R2016a | R2016a | ||
| R2015b | R2015b | R2015b | R2015b | R2015b | |||
| Клиент Polyspace для C/C++ и Сервер Polyspace для C/C++ | R2013a | R2013a | R2013a | R2013a | R2013a | - | - |
| R2012b | R2012b | R2012b | R2012b | R2012b | |||
| R2012a | R2012a | R2012a | R2012a | R2012a | |||
| R2011b | R2011b | R2011b | |||||
| R2011a | R2011a | R2011a | |||||
| R2010b | R2010b | ||||||
| R2010a | R2010a | ||||||
| R2009b | R2009b + | ||||||
| R2009a + | |||||||
| R2008b | |||||||
| R2008a | |||||||
| Верификатор Polyspace для C | R2007a + | R2009a + | R2011a | - | R2012a | - | |