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