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

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

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

  • Simulink – Отчет Сравнения модели

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

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

  • Simulink Test™ – Протестируйте менеджера

  • Simulink Requirements™