DO Qualification Kit (для DO-178)

Квалифицируйте Simulink и инструменты верификации Polyspace для DO-178, DO-278 и DO-254

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

Начало работы с DO Qualification Kit

Изучите основы DO Qualification Kit (for DO-178)

Сертификация проекта

Подготовьте пакеты сертификации с помощью инструментов MathWorks® и Модельно-ориентированного проектирования

Квалификация инструмента

Квалифицируйте инструменты верификации MathWorks