Примените продукт DO Qualification Kit к DO 254 стандарта

Можно использовать продукт DO Qualification Kit, чтобы квалифицировать инструменты верификации для проектов, которые следуют за DO-254, Руководством Обеспечения Проекта Бортовым Электронным Оборудованием. Процесс для квалификации инструмента описан в Разделе 11.4 из DO-254.

Можно взять кредит DO-254 на возможности инструмента верификации, которые применимы к проекту. Для этого измените артефакты DO Qualification Kit, чтобы сослаться на применимые разделы DO-254. Например, обновите DO - 178C Раздел 12,2 ссылок на Раздел DO-254 11.4. Следующие таблицы приводят артефакты DO Qualification Kit, чтобы изменить, если инструмент верификации применим для вашего проекта.

Инструмент верификацииЭлемент, чтобы изменитьФайл
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.xls
qualkitdo_slcov_lut.xls
qualkitdo_slcov_sf.xls
qualkitdo_slcov_sl.xls
qualkitdo_slcov_sr.xls

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