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

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

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

Примечание

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

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

Инструмент	Компонент IEC Certification Kit
Инструмент	Сертификаты и доклады о сертификации	Рабочие процессы	Пакеты квалификации инструмента (TQP) ISO 26262	Демонстрационные шаблоны соответствия (CDT)	Процедура тестирования и тесты
Embedded Coder^®, версия 7.5 (R2020b) (когда применимый) AUTOSAR Blockset, версия 2.3 (R2020b)	`certkitiec_ecoder_certificate.pdf` `certkitiec_ecoder_certreport.pdf`	`certkitiec_ecoder_workflow.pdf`	`certkitiec_ecoder_tqp.docx`/`.pdf`	`certkitiec_ecoder_cdt.docx`/`.pdf`	`certkitiec_ecoder_tests.m` `certkitiec_ecoder_modelList.m` `/tests/` `/outputs/` `/baseline/*`
Simulink^® PLC Coder™, версия 3.3 (R2020b)	`certkitiec_plccoder_certificate.pdf` `certkitiec_plccoder_certreport.pdf`	`certkitiec_plccoder_workflow.pdf`	`certkitiec_plccoder_tqp.docx`/`.pdf`	`certkitiec_plccoder_cdt.docx`/`.pdf`	Не применяется
HDL Coder™, версия 3.17 (R2020b)	`certkitiec_hdlcoder_certificate.pdf` `certkitiec_hdlcoder_certreport.pdf`	`certkitiec_hdlcoder_workflow.pdf`	`certkitiec_hdlcoder_tqp.docx`/`.pdf`	`certkitiec_hdlcoder_cdt.docx`/`.pdf`	Не применяется
Simulink Design Verifier™, версия 4.4 (R2020b)	`certkitiec_sldv_certificate.pdf` `certkitiec_sldv_certreport.pdf`	`certkitiec_sldv_workflow.pdf`	`certkitiec_sldv_tqp.docx`/`.pdf`	`certkitiec_sldv_cdt.docx`/`.pdf`	`certkitiec_sldv_rs.rpt` `/tests/` `/expected_results/`
Simulink Check™, версия 5.0 (R2020b)	`certkitiec_slchk_certificate.pdf` `certkitiec_slchk_certreport.pdf`	`certkitiec_slchk_workflow.pdf`	`certkitiec_slchk_tqp.docx`/`.pdf`	`certkitiec_slchk_cdt.docx`/`.pdf`	`certkitiec_slchk_tests.rpt/.xls` `/tests/` `/expected_results/`
Simulink Coverage™, версия 5.1 (R2020b)	`certkitiec_slcov_certificate.pdf` `certkitiec_slcov_certreport.pdf`	`certkitiec_slcov_workflow.pdf`	`certkitiec_slcov_tqp.docx`/`.pdf`	`certkitiec_slcov_cdt.docx`/`.pdf`	`certkitiec_slcov_cc.rpt/.xls` `certkitiec_slcov_dv.m/.xlsx` `certkitiec_slcov_lut.m/.xlsx` `certkitiec_slcov_sf.m/.xlsx` `certkitiec_slcov_sl.m/.xlsx` `certkitiec_slcov_sr.m/.xlsx` `certkitiec_slcov_etc.m/.xlsx` `/tests/` `/expected_results/`
Simulink Requirements™, версия 1.6 (R2020b)	`certkitiec_slreq_certificate.pdf` `certkitiec_slreq_certreport.pdf`	`certkitiec_slreq_workflow.pdf`	`certkitiec_slreq_tqp.docx`/`.pdf`	`certkitiec_slreq_cdt.docx`/`.pdf`	`certkitiec_slreq_rs.rpt certkitiec_slreq_trace.xlsx` `/tests/` `/expected_results/`
Polyspace^® Bug Finder™, версия 3.3 (R2020b)	`certkitiec_bugfinder_certificate.pdf` `certkitiec_bugfinder_certreport.pdf`	`certkitiec_bugfinder_workflow.pdf` См. также Цели Качества программного обеспечения для Исходного кода (`certkitiec_bugfinder_sqo.pdf`).	`certkitiec_bugfinder_tqp.docx`/`.pdf`	`certkitiec_bugfinder_cdt.docx`/`.pdf`	`/tests/` (включая `/tests/certkitiec_bugfinder_tests.bat`/`.sh`) `/tests/<execution-folder-bug-finder>/` `/expected_results/reporting-bug-finder/*`
Polyspace Bug Finder Server™, версия 3.3 (R2020b)			`certkitiec_bugfinder_tqp.docx`/`.pdf`	`certkitiec_bugfinder_cdt.docx`/`.pdf`	`/tests/` (включая `/tests/certkitiec_bugfinderserver_tests.bat`/`.sh`) `/tests/execution-folder-bug-finder-server/` `/expected_results/reporting-bug-finder-server/*`
Polyspace Code Prover™, версия 10.3 (R2020b)	`certkitiec_codeprover_certificate.pdf` `certkitiec_codeprover_certreport.pdf`	`certkitiec_codeprover_workflow.pdf` См. также Цели Качества программного обеспечения для Исходного кода (`certkitiec_codeprover_sqo.pdf`).	`certkitiec_codeprover_tqp.docx`/`.pdf`	`certkitiec_codeprover_cdt.docx`/`.pdf`	Polyspace Bug Finder `/tests/` (включая `/tests/certkitiec_codeprover_tests.bat`/`.sh`) `/tests/execution-folder-code-prover/` `/expected_results/reporting-code-prover/*`
Polyspace Code Prover Server, версия 10.3 (R2020b)			`certkitiec_codeprover_tqp.docx`/`.pdf`	`certkitiec_codeprover_cdt.docx`/`.pdf`	Polyspace Code Prover Server `/tests/` (включая `/tests/certkitiec_codeproverserver_tests.bat`/`.sh`) `/tests/execution-folder-code-prover-server/` `/expected_results/reporting-code-prover-server/*`
Simulink Test™, версия 3.3 (R2020b)	`certkitiec_sltest_certificate.pdf` `certkitiec_sltest_certreport.pdf`	`certkitiec_sltest_workflow.pdf`	`certkitiec_sltest_tqp.docx`/`.pdf`	`certkitiec_sltest_cdt.docx`/`.pdf`	`certkitiec_sltest_rs.rpt` `/tests/` `/expected_results/`
^[a] AUTOSAR Blockset сертифицируется для использования с Embedded Coder

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

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

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

Поддержка