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 Квалификации инструмента Факторов. Вы можете изменить программные продукты в наборе квалификации инструмента для вашего конкретного проекта и включить их в DO-178C, DO-278A и DO-254 пакеты сертификации, представленные для сертификации.