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