exponenta event banner

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

Начало работы с квалификационным комплектом DO

Изучение основ квалификационного комплекта DO (для DO-178)

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

Подготовка пакетов сертификации с помощью инструментов Model-Based Design и MathWorks ®

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

Квалификация инструментов проверки MathWorks для проектов, связанных со стандартом DO-178C и соответствующими стандартами