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