Продукты, поддержанные IEC Certification Kit

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

Примечание

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

Поддержка 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^®	R2011a- R2019b	R2011a-R2019b	R2011a-R2019b	R2012a-R2019b	R2012a-R2019b	R2016a-R2019b	-
AUTOSAR Blockset	R2019a - R2019b	R2019a-R2019b	R2019a-R2019b	R2019a-R2019b	R2019a-R2019b	R2019a-R2019b	-
Simulink^® PLC Coder™	R2010a- R2019b	R2010b- R2019b	R2011a- R2019b	R2018b - R2019b	R2017b- R2019b	R2016a- R2019b	R2010b- R2019b
Simulink Check™	R2017b- R2019b	R2017b- R2019b	R2017b- R2019b	R2017b- R2019b	R2017b- R2019b	R2017b- R2019b	-
Simulink Coverage™	R2017b- R2019b	R2017b- R2019b	R2017b- R2019b	R2017b- R2019b	R2017b- R2019b	R2017b- R2019b	-
Simulink Requirements™	R2019a-R2019b	R2019a-R2019b	R2019a-R2019b	R2019a-R2019b	R2019a-R2019b	R2019a-R2019b	-
Simulink Design Verifier™	R2011a- R2019b R2010bSP1	R2011a- R2019b	R2011a- R2019b	R2012a- R2019b	R2012a- R2019b	R2016a- R2019b	-
Polyspace^® Bug Finder™	R2013b- R2019b	R2013b- R2019b	R2013b- R2019b	R2013b- R2019b	R2013b- R2019b	R2016a- R2019b	-
Polyspace Bug Finder Server™	R2019a - R2019b	R2019a - R2019b	R2019a - R2019b	R2019a - R2019b	R2019a - R2019b	R2019a - R2019b	-
Polyspace Code Prover™	R2013b- R2019b	R2013b- R2019b	R2013b- R2019b	R2013b- R2019b	R2013b- R2019b	R2016a- R2019b	-
Polyspace Code Prover Server	R2019a - R2019b	R2019a - R2019b	R2019a - R2019b	R2019a - R2019b	R2019a - R2019b	R2019a - R2019b	-
Simulink Test™	R2015b- R2019b	R2015b- R2019b	R2015b- R2019b	R2015b- R2019b	R2015b- R2019b	R2016a- R2019b	-
Workshop^® Embedded Coder в реальном времени	R2008a- R2010b, R2009bSP1, R2010bSP1, R2010bSP2	R2010a- 2012b, R2009a +, R2009b +	R2012a- R2012b	R2012a- R2012b	R2012a- R2012b	-	-
Верификация Simulink и Validation™	R2011a- R2017a, R2010bSP1	R2011a- R2017a	R2011a- R2017a	R2012a- R2017a	R2012a- R2017a	R2016a- R2017a	-
Polyspace Client™ для C/C++ и Сервер Polyspace для C/C++	R2008a - R2008b, R2009b - R2013a, R2009a +	R2010a- R2013a, R2009b +	R2011a- R2013a	R2012a- R2013a	R2012a-R2013a	-	-
Верификатор Polyspace для C	R2007a +	R2009a +	R2011a	-	R2012a	-	-

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

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.