Вы можете использовать артефакты и инструменты в DO Qualification Kit, чтобы получить DO-254 кредит за возможности инструмента проверки, которые применимы к вашему проекту. Для этого измените артефакты в следующей таблице для ссылки на применимые разделы DO-254 (т.е. обновите DO-178C Раздел 12.2 ссылки на DO-254 Раздел 11.4.). Процесс аттестации инструмента описан в разделе 11.4 стандарта DO-254.
| Средство проверки | Изменяемый элемент | Файл |
|---|---|---|
| Simulink ® Check™ | Шаблоны документов |
|
| Тестовые примеры и процедуры * |
| |
* Проверки Model Advisor Проверка параметров оптимизации, связанных с безопасностью, и Проверка параметров генерации кода, связанных с безопасностью, не применимы к DO-254. При создании отчета с использованием | ||
| Симулинк Coverage™ | Шаблоны документов |
|
| Тестовые примеры и процедуры |
| |
| Симулинк Test™ | Шаблоны документов |
|
| Тестовые примеры и процедуры |
| |
| Симулинк Requirements™ | Шаблоны документов |
|
| Тестовые примеры и процедуры | qualkitdo_slreq_trace.xlsx | |
| Отчет Simulink Generator™ | Шаблоны документов |
|
| Н/Д | Используйте шаблон План для программных аспектов сертификации (PSAC) для создания артефакта План для аппаратных аспектов сертификации (PHAC). | qualkitdo_psac.docx |