Можно использовать артефакты и инструменты в DO Qualification Kit, чтобы взять кредит DO-254 на возможности инструмента верификации, которые применимы к проекту. Для этого измените артефакты в следующей таблице, чтобы сослаться на применимые разделы DO-254 (i.e., обновление DO - 178C Раздел 12,2 ссылок на Раздел DO-254 11.4.). Процесс для квалификации инструмента описан в Разделе 11.4 из стандарта DO-254.
Инструмент верификации | Элемент, чтобы изменить | Файл |
---|---|---|
Simulink® Check™ | Шаблоны документов |
|
Тесты и процедуры* |
| |
* Model Advisor проверяет, что Check safety-related optimization settings и Check safety-related code generation settings не применимы к DO-254. Когда вы генерируете отчет с помощью | ||
Simulink Coverage™ | Шаблоны документов |
|
Тесты и процедуры |
| |
Simulink Test™ | Шаблоны документов |
|
Тесты и процедуры |
| |
Simulink Requirements™ | Шаблоны документов |
|
Тесты и процедуры | qualkitdo_slreq_trace.xlsx | |
Simulink Report Generator™ | Шаблоны документов |
|
Нет данных | Используйте План относительно Аспектов программного обеспечения шаблона Certification (PSAC), чтобы создать План относительно Аспектов аппаратного обеспечения Сертификации (PHAC) артефакт. | qualkitdo_psac.docx |