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