Exponenta Banner
exponenta event banner

Изменение артефактов квалификационного комплекта DO для DO-254 кредита

Вы можете использовать артефакты и инструменты в DO Qualification Kit, чтобы получить DO-254 кредит за возможности инструмента проверки, которые применимы к вашему проекту. Для этого измените артефакты в следующей таблице для ссылки на применимые разделы DO-254 (т.е. обновите DO-178C Раздел 12.2 ссылки на DO-254 Раздел 11.4.). Процесс аттестации инструмента описан в разделе 11.4 стандарта DO-254.

Средство проверкиИзменяемый элементФайл
Simulink ® Check™Шаблоны документов

qualkitdo_slchk_tqp.docx
qualkitdo_slchk_tor.docx
qualkitdo_slchk_tcp.docx

Тестовые примеры и процедуры *

qualkitdo_slchk_tcp.xls

* Проверки Model Advisor Проверка параметров оптимизации, связанных с безопасностью, и Проверка параметров генерации кода, связанных с безопасностью, не применимы к DO-254. При создании отчета с использованием qualkitdo_slchk_tcp.rpt, отчет не включает эти две проверки.

Симулинк Coverage™Шаблоны документов

qualkitdo_slcov_tqp.docx
qualkitdo_slcov_tor.docx
qualkitdo_slcov_tcp.docx

Тестовые примеры и процедуры

qualkitdo_slcov_cc.xls
qualkitdo_slcov_dv.xlsx
qualkitdo_slcov_eml.xlsx
qualkitdo_slcov_etc.xlsx
qualkitdo_slcov_lim.xlsx
qualkitdo_slcov_sf.xlsx
qualkitdo_slcov_sl.xlsx

Симулинк Test™Шаблоны документов

qualkitdo_sltest_tqp.docx
qualkitdo_sltest_tor.docx
qualkitdo_sltest_tcp.docx

Тестовые примеры и процедуры

qualkitdo_sltest_trace.xlsx

Симулинк Requirements™Шаблоны документов

qualkitdo_slreq_tqp.docx
qualkitdo_slreq_tor.docx
qualkitdo_slreq_tcp.docx

Тестовые примеры и процедурыqualkitdo_slreq_trace.xlsx
Отчет Simulink Generator™Шаблоны документов

qualkitdo_rptgenext_tqp.docx
qualkitdo_rptgenext_tor.docx
qualkitdo_rptgenext_tcp.docx

Н/ДИспользуйте шаблон План для программных аспектов сертификации (PSAC) для создания артефакта План для аппаратных аспектов сертификации (PHAC). qualkitdo_psac.docx

Документация на квалификационный комплект DO

Поддержка