Можно использовать продукт 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™ | Шаблоны документов |
|
| Тесты и процедуры* |
| |
* 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™ | Шаблоны документов |
|