Exponenta Banner

Изменение артефактов DO Qualification Kit для кредита DO-254

Можно использовать артефакты и инструменты в DO Qualification Kit, чтобы взять кредит DO-254 на возможности инструмента верификации, которые применимы к проекту. Для этого измените артефакты в следующей таблице, чтобы сослаться на применимые разделы DO-254 (i.e., обновление 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 проверяет, что Check safety-related optimization settings и Check safety-related code generation settings не применимы к DO-254. Когда вы генерируете отчет с помощью qualkitdo_slchk_tcp.rpt, отчет не включает в себя эти две проверки.

Simulink 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

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

qualkitdo_sltest_tqp.docx
qualkitdo_sltest_tor.docx
qualkitdo_sltest_tcp.docx

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

qualkitdo_sltest_trace.xlsx

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

qualkitdo_slreq_tqp.docx
qualkitdo_slreq_tor.docx
qualkitdo_slreq_tcp.docx

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

qualkitdo_rptgenext_tqp.docx
qualkitdo_rptgenext_tor.docx
qualkitdo_rptgenext_tcp.docx

N/AИспользуйте План относительно Аспектов программного обеспечения шаблона Certification (PSAC), чтобы создать План относительно Аспектов аппаратного обеспечения Сертификации (PHAC) артефакт. qualkitdo_psac.docx

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

Поддержка