Следующие образцовые инструменты верификации могут быть пригодны для DO-254 с помощью DO Qualification Kit:
Simulink® Report Generator™ – Отчет Описания разработки системы (SDD)
Simulink – Образцовый отчет Сравнения
Simulink Check™ – Проверки Model Advisor
Simulink Coverage™ – Покрытие
Simulink Test™ – Протестируйте менеджера