Вы можете использовать DO Qualification Kit для подготовки пакета сертификации с помощью Модельно-ориентированного проектирования и Инструментов Mathworks. Можно изменить артефакты в наборе проверки инструмента и включить их в DO-178C, DO-278A и DO-254 пакеты сертификации, которые вы отправляете для сертификации своего проекта.