Комплект DO Qualification Kit содержит документацию, тестовые примеры и процедуры, которые позволяют пройти проверку средств проверки программного обеспечения Simulink ® и Polyspace ® для проектов, основанных на DO-178C, DO-278A и связанных дополнениях. Набор содержит планы квалификации инструментов, эксплуатационные требования к инструментам и другие материалы, необходимые для проверки программного обеспечения. С помощью комплекта можно оптимизировать сертификацию встраиваемых систем, разработанных с использованием поддерживаемых продуктов Simulink и Polyspace.
Комплект DO Qualification Kit также позволяет определить инструменты проверки модели Simulink для проектов на основе DO-254. Simulink Code Inspector™ и средства проверки кода Polyspace не поддерживают код HDL, поэтому не применимы к DO-254.
Комплекты для проверки инструментов доступны для конкретных версий средств проверки Simulink и Polyspace на основе DO-330, Software Tool Qualification Conservations. Можно изменить артефакты в квалификационном наборе инструментов для конкретного проекта и включить их в пакеты сертификации DO-178C, DO-278A и DO-254, отправленные на сертификацию.
Изучение основ квалификационного комплекта DO (для DO-178)
Подготовка пакетов сертификации с помощью инструментов Model-Based Design и MathWorks ®
Квалификация инструментов проверки MathWorks для проектов, связанных со стандартом DO-178C и соответствующими стандартами