Аппаратные инструменты верификации для DO-254

Следующие инструменты верификации модели могут быть квалифицированы для DO-254 с помощью DO Qualification Kit:

  • Simulink® Report Generator™ - Описание разработки системы (SDD) Отчет

  • Simulink - Отчет сравнения моделей

  • Simulink Check™ - Проверки Model Advisor

  • Simulink Coverage™ - Покрытие

  • Simulink Test™ - менеджер тестов

  • Функции Simulink Requirements™