Артефакты сертификации средств

TÜV SÜD сертифицировал конкретные версии продуктов MathWorks ® в качестве инструментов, которые могут использоваться в процессах разработки, которые должны соответствовать стандартам ISO 26262:2018, IEC 61508:2010, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:2017. Эти инструменты предварительно квалифицированы в соответствии с ISO 26262-8: 2018 для уровней целостности автомобильной безопасности ASIL A через ASIL D.

Список продуктов MathWorks, поддерживаемых для каждого стандарта, см. в разделе Продукты, поддерживаемые комплектом для сертификации МЭК.

Примечание

Эти продукты не разрабатываются с использованием процесса, сертифицированного IEC 61508.

В следующей таблице указаны артефакты, относящиеся к инструментам, которые доступны в комплекте для сертификации МЭК. Чтобы просмотреть эти артефакты, откройте обозреватель артефактов и щелкните папку продукта. Дополнительные сведения см. в разделе Доступ к артефактам в обозревателе артефактов набора сертификации МЭК. Эти артефакты недоступны на веб-сайте MathWorks.

Инструмент	Компонент комплекта для сертификации МЭК
Инструмент	Свидетельство о сертификации инструмента	ISO 26262 Пакет квалификационных и справочных документов по инструментам (TQP)	Демонстрационные шаблоны соответствия (CDT)	Процедура испытаний и примеры испытаний
Встроенный кодер ®, версия 7.6 (R2021a) (если применимо) Блок AUTOSAR, версия 2.4 (R2021a) ^[a]	`certkitiec_ecoder_certificate.pdf` `certkitiec_ecoder_certreport.pdf`	`certkitiec_ecoder_tqp.docx`/`.pdf`	`certkitiec_ecoder_cdt.docx`/`.pdf`	`certkitiec_ecoder_run.mlx` `certkitiec_ecoder_tests.m` `certkitiec_ecoder_modelList.m` `/tests/` `/outputs/` `/baseline/*`
Simulink ® PLC Coder™, версия 3.4 (R2021a)	`certkitiec_plccoder_certificate.pdf` `certkitiec_plccoder_certreport.pdf`	`certkitiec_plccoder_tqp.docx`/`.pdf`	`certkitiec_plccoder_cdt.docx`/`.pdf`	Неприменимо
HDL Coder™, версия 3.18 (R2021a)	`certkitiec_hdlcoder_certificate.pdf` `certkitiec_hdlcoder_certreport.pdf`	`certkitiec_hdlcoder_tqp.docx`/`.pdf`	`certkitiec_hdlcoder_cdt.docx`/`.pdf`	Неприменимо
Simulink Design Verifier™, версия 4.5 (R2021a)	`certkitiec_sldv_certificate.pdf` `certkitiec_sldv_certreport.pdf`	`certkitiec_sldv_tqp.docx`/`.pdf`	`certkitiec_sldv_cdt.docx`/`.pdf`	`certkitiec_sldv_run.mlx` `certkitiec_sldv_rs.rpt` `certkitiec_sldv_trace.xlsx` `/tests/` `/expected_results/`
Simulink Check™, версия 5.1 (R2021a)	`certkitiec_slchk_certificate.pdf` `certkitiec_slchk_certreport.pdf`	`certkitiec_slchk_tqp.docx`/`.pdf`	`certkitiec_slchk_cdt.docx`/`.pdf`	`certkitiec_slchk_run.mlx` `certkitiec_slchk_tests.rpt` `certkitiec_slchk_tests.xls` `/tests/` `/expected_results/`
Simulink Coverage™, версия 5.2 (R2021a)	`certkitiec_slcov_certificate.pdf` `certkitiec_slcov_certreport.pdf`	`certkitiec_slcov_tqp.docx`/`.pdf`	`certkitiec_slcov_cdt.docx`/`.pdf`	`certkitiec_slcov_cc_run.mlx` `certkitiec_slcov_cc.rpt` `certkitiec_slcov_cc.xlsx` `certkitiec_slcov_mc_run.mlx` `certkitiec_slcov_mc.rpt` `certkitiec_slcov_dv.m` `certkitiec_slcov_dv.xlsx` `certkitiec_slcov_eml.m` `certkitiec_slcov_eml.xlsx` `certkitiec_slcov_etc.m` `certkitiec_slcov_etc.xlsx` `certkitiec_slcov_lim.m` `certkitiec_slcov_lim.xlsx` `certkitiec_slcov_sf.m` `certkitiec_slcov_sf.xlsx` `certkitiec_slcov_sl.m` `certkitiec_slcov_sl.xlsx` `/tests/mcov/` `/tests/ccov/` `/expected_results/mcov/` `/expected_results/ccov/`
Simulink Requirements™, версия 1.7 (R2021a)	`certkitiec_slreq_certificate.pdf` `certkitiec_slreq_certreport.pdf`	`certkitiec_slreq_tqp.docx`/`.pdf`	`certkitiec_slreq_cdt.docx`/`.pdf`	`certkitiec_slreq_run.mlx` `certkitiec_slreq_rs.rpt` `certkitiec_slreq_trace.xlsx` `/tests/` `/expected_results/`
Polyspace ® Bug Finder™, версия 3.4 (R2021a)	`certkitiec_bugfinder_certificate.pdf` `certkitiec_bugfinder_certreport.pdf`	`certkitiec_bugfinder_tqp.docx`/`.pdf`	`certkitiec_bugfinder_cdt.docx`/`.pdf`	Поиск ошибок Polyspace `certkitiec_bugfinder_run.mlx` `/tests/certkitiec_bugfinder_tests.bat`/`.sh` `/tests/<execution-folder-bug-finder>/` `/expected_results/reporting-bug-finder/`
Polyspace Bug Finder Server™, версия 3.4 (R2021a)		`certkitiec_bugfinder_tqp.docx`/`.pdf`	`certkitiec_bugfinder_cdt.docx`/`.pdf`	Сервер поиска ошибок Polyspace `certkitiec_bugfinder_run.mlx` `/tests/certkitiec_bugfinderserver_tests.bat`/`.sh`) `/tests/execution-folder-bug-finder-server/` `/expected_results/reporting-bug-finder-server/`
Код Polyspace Prover™, версия 10.4 (R2021a)	`certkitiec_codeprover_certificate.pdf` `certkitiec_codeprover_certreport.pdf`	`certkitiec_codeprover_tqp.docx`/`.pdf`	`certkitiec_codeprover_cdt.docx`/`.pdf`	Проверка кода Polyspace `certkitiec_codeprover_run.mlx` `/tests/certkitiec_codeprover_tests.bat`/`.sh`) `/tests/execution-folder-code-prover/` `/expected_results/reporting-code-prover/`
Сервер проверки кода Polyspace версии 10.4 (R2021a)		`certkitiec_codeprover_tqp.docx`/`.pdf`	`certkitiec_codeprover_cdt.docx`/`.pdf`	Сервер проверки кода Polyspace `certkitiec_codeprover_run.mlx` `/tests/certkitiec_codeproverserver_tests.bat`/`.sh`) `/tests/execution-folder-code-prover-server/` `/expected_results/reporting-code-prover-server/`
Simulink Test™, версия 3.4 (R2021a)	`certkitiec_sltest_certificate.pdf` `certkitiec_sltest_certreport.pdf`	`certkitiec_sltest_tqp.docx`/`.pdf`	`certkitiec_sltest_cdt.docx`/`.pdf`	`certkitiec_sltest_run.mlx` `certkitiec_sltest_rs.rpt` `certkitiec_sltest_trace.xlsx` `/tests/` `/expected_results/`
^[a] Блок AUTOSAR сертифицирован для использования с встроенным кодером

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

Артефакты сертификации средств

Документация по комплекту сертификации МЭК

Поддержка