Система сертификации Программных продуктов

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 Certification Kit.

Примечание

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

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

Инструмент	Компонент IEC Certification Kit
Инструмент	Подтверждение сертификации инструмента	ISO 26262 Пакет квалификации инструмента и эталонный рабочий процесс (TQP)	Шаблоны демонстрации соответствия (CDT)	Процедура тестирования и тесты
Embedded Coder^®, версия 7.6 (R2021a) (если применимо) AUTOSAR Blockset, версия 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 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

Поддержка