Артефакты сертификации инструмента

ТЮВ СЮД сертифицировал определенные версии продуктов MathWorks^® как инструменты, которые могут использоваться в процессах разработки, которые требуются, чтобы выполнять ISO 26262:2018, IEC 61508:2010, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:2017 стандарты безопасности. Эти инструменты предварительно квалифицированы согласно ISO, 26262-8:2018 для Автомобильных Уровней Целостности Безопасности ASIL через ASIL D.

Для списка Продуктов Mathworks, которые поддерживаются для каждого стандарта, смотрите продукты, Поддержанные IEC Certification Kit.

Примечание

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

Следующая таблица идентифицирует специфичные для инструмента артефакты, которые доступны в IEC Certification Kit. Чтобы просмотреть эти артефакты, откройте Менеджера артефактов и нажмите на папку продукта. Для получения дополнительной информации смотрите доступ к Артефактам в Менеджере артефактов IEC Certification Kit. Эти артефакты не доступны от веб-сайта MathWorks.

Инструмент	Компонент IEC Certification Kit
Инструмент	Доказательство сертификации инструмента	Пакет квалификации инструмента ISO 26262 и рабочий процесс (TQP)	Демонстрационные шаблоны соответствия (CDT)	Процедура тестирования и тесты
Embedded Coder^®, версия 7.6 (R2021a) (когда применимый) AUTOSAR Blockset, версия 2.4 (R2021a)	`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 Bug Finder `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 Bug Finder Server `certkitiec_bugfinder_run.mlx` `/tests/certkitiec_bugfinderserver_tests.bat`/`.sh`) `/tests/execution-folder-bug-finder-server/` `/expected_results/reporting-bug-finder-server/`
Polyspace Code Prover™, версия 10.4 (R2021a)	`certkitiec_codeprover_certificate.pdf` `certkitiec_codeprover_certreport.pdf`	`certkitiec_codeprover_tqp.docx`/`.pdf`	`certkitiec_codeprover_cdt.docx`/`.pdf`	Polyspace Code Prover `certkitiec_codeprover_run.mlx` `/tests/certkitiec_codeprover_tests.bat`/`.sh`) `/tests/execution-folder-code-prover/` `/expected_results/reporting-code-prover/`
Polyspace Code Prover Server, версия 10.4 (R2021a)		`certkitiec_codeprover_tqp.docx`/`.pdf`	`certkitiec_codeprover_cdt.docx`/`.pdf`	Polyspace Code Prover Server `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 Blockset сертифицируется для использования с Embedded Coder

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

Артефакты сертификации инструмента

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

Поддержка