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