Можно использовать программные продукты и инструменты в DO Qualification Kit, чтобы получить DO-254 кредит за возможности инструмента верификации, которые применяются к вашему проекту. Для этого измените программные продукты в следующей таблице, чтобы сослаться на применимые разделы DO-254 (т.е. обновить 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™ | Шаблоны документов |
|
| Н/Д | Используйте шаблон Plan for Software Aspects of Certification (PSAC), чтобы создать программный продукт Plan for Hardware Aspects of Certification (PHAC). | qualkitdo_psac.docx |