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.