Программное обеспечение MathWorks DO Qualification Kit является комплектом инструментов, содержащим документацию, контрольные примеры и методики, которые позволяют подготавливать проверочные инструменты Simulink или PolySpace для проектов, выполняемых по стандарту DO-178. Пакет MathWorks DO Qualification Kit содержит методики разработки инструментов разработки, эксплуатационные требования к инструментам и другие дополнительные материалы, обязательные при подготовке программных средств проверки и испытаний. Пользователи MathWorks DO Qualification Kit могут упрощать и ускорять сертификацию встроенных систем, разработанных с помощью Simulink или PolySpace.
Существуют специальные версии пакетов для подготовки инструментов проверки, подтверждения и испытаний Simulink, а также для инструментов проверки кода PolySpace под сертификацию проекта по стандарту DO-178. Для каждой версии поддерживаемых инструментов DO Qualification Kit предлагает артефакты разработки, необходимые для подготовки инструментов к стандарту. Пользователи могут изменять эти артефакты в соответствии со своим проектом и передавать их в службы сертификации в составе пакета сертификационных документов.

Ключевые характеристики MathWorks DO Qualification Kit:

• Документы с методиками по подготовке инструментов разработки и эксплуатационными требованиями к инструментам.


• Контрольные примеры моделей и кода, методы испытаний, ожидаемые результаты.


• Материалы для подготовки инструментов проверки, подтверждения и испытаний Simulink.