В следующей таблице указаны продукты, поддерживаемые в IEC Certification Kit. Можно использовать содержащуюся в таблице информацию для определения продуктов и стандартов, поддерживаемых для каждого релиза.
Примечание
В IEC Certification Kit для релиза могут быть включены программные продукты сертификации для продуктов в предыдущем релизе. Это включение происходит, например, когда IEC Certification Kit поддерживает новый стандарт или новый продукт.
Поддержка IEC Certification Kit для стандартов
Поддерживаемый продукт | Поддерживаемый продукт Релиза | Релиз IEC Certification Kit | ||||||
---|---|---|---|---|---|---|---|---|
МЭК 61508:2010 | ISO 26262:2018 | EN 50128:2011 | EN 50657:2017 | МЭК 62304:2015 | ISO 25119:2018 | МЭК 61511:2016 | ||
Embedded Coder® | R2011a - R2021a | R2011a-R2021a | R2012a-R2021a | R2012a-R2021a | R2020b - R2021a | R2016a-R2021a | R2020a - R2021a | - |
AUTOSAR Blockset[a] | R2019a - R2021a | R2019a-R2021a | R2019a-R2021a | R2019a-R2021a | R2020b - R2021a | R2019a-R2021a | R2020a - R2021a | - |
Simulink® PLC- Coder™ | R2010a - R2021a | R2011a - R2021a | R2018b - R2021a | R2017b - R2021a | R2020b - R2021a | R2016a - R2021a | R2020a - R2021a | R2010b - R2021a |
HDL Coder™ | R2020a - R2021a | R2020a - R2021a | R2020a - R2021a | R2020a - R2021a | R2020b - R2021a | R2020a - R2021a | R2020a - R2021a | - |
Функции Simulink Check™ | R2017b - R2021a | R2017b - R2021a | R2017b - R2021a | R2017b - R2021a | R2020b - R2021a | R2017b - R2021a | R2020a - R2021a | - |
Функции Simulink Coverage™ | R2017b - R2021a | R2017b - R2021a | R2017b - R2021a | R2017b - R2021a | R2020b - R2021a | R2017b - R2021a | R2020a - R2021a | - |
Функции Simulink Requirements™ | R2019a-R2021a | R2019a-R2021a | R2019a-R2021a | R2019a-R2021a | R2020b - R2021a | R2019a-R2021a | R2020a - R2021a | - |
Simulink Design Verifier™ | R2011a - R2021a, R2010bSP1[b] | R2011a - R2021a | R2012a - R2021a | R2012a - R2021a | R2020b - R2021a | R2016a - R2021a | R2020a - R2021a | - |
Polyspace® Bug- Finder™ | R2013b - R2021a | R2013b - R2021a | R2013b - R2021a | R2013b - R2021a | R2020b - R2021a | R2016a - R2021a | R2020a - R2021a | - |
Polyspace Bug Finder Server™ | R2019a - R2021a | R2019a - R2021a | R2019a - R2021a | R2019a - R2021a | R2020b - R2021a | R2019a - R2021a | R2020a - R2021a | - |
Polyspace Code Prover™ | R2013b - R2021a | R2013b - R2021a | R2013b - R2021a | R2013b - R2021a | R2020b - R2021a | R2016a - R2021a | R2020a - R2021a | - |
Polyspace Code Prover Server | R2019a - R2021a | R2019a - R2021a | R2019a - R2021a | R2019a - R2021a | R2020b - R2021a | R2019a - R2021a | R2020a - R2021a | - |
Функции Simulink Test™ | R2015b - R2021a | R2015b - R2021a | R2015b - R2021a | R2015b - R2021a | R2020b - R2021a | R2016a - R2021a | R2020a - R2021a | - |
Real-Time Workshop® Embedded Coder | R2008a - R2010b, R2009bSP1, R2010bSP1, R2010bSP2[c] | R2012a - R2012b | R2012a - R2012b | R2012a - R2012b | - | - | - | |
Верификация и Validation™ Simulink | R2011a - R2017a, R2010bSP1[d] | R2011a - R2017a | R2012a - R2017a | R2012a - R2017a | - | R2016a - R2017a | - | - |
Polyspace Client™ для C/C + + и Polyspace Server для C/C + + | R2008a - R2008b, R2009b - R2013a, R2009a +[e] | R2011a - R2013a | R2012a - R2013a | R2012a-R2013a | - | - | - | - |
Верификатор Polyspace для C | R2007a +[f] | R2011a | - | R2012a | - | - | - | - |
[a] AUTOSAR Blockset сертифицирован для использования с Embedded Coder [b] Начальная поддержка была R2011a - текущий релиз [c] Начальная поддержка была R2010a - 2012b, R2009a +, R2009b + [d] Начальная поддержка была R2011a - R2017a [e] Начальная поддержка была R2010a - R2013a, R2009b + [f] Начальная поддержка R2009a + |