Комплект 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 Qualification Kit, убедитесь, что вы знаете о критически важных для безопасности стандартах и программном обеспечении.
Комплект DO Qualification Kit поддерживает специальные продукты, выпуски и стандарты безопасности MathWorks ®.
Комплект DO Qualification Kit включает артефакты поддержки, тестовые примеры и процедуры тестирования.
Если выход программных средств, используемых в авионических, наземных или космических системах, не проверен, для соответствия стандартам необходимо квалифицировать этот инструмент.
В DO-178C жизненном цикле программного обеспечения рабочий процесс конструирования на основе модели включает конкретные действия по разработке и проверке.
Комплект DO Qualification Kit включает шаблоны документов, тестовые примеры и процедуры тестирования, необходимые для проверки программного обеспечения MathWorks.
В DO-254 жизненном цикле оборудования рабочий процесс конструирования на основе модели включает конкретные действия по разработке и проверке.
Комплект DO Qualification Kit включает шаблоны документов, тестовые примеры и процедуры тестирования, необходимые для проверки программного обеспечения MathWorks.
Используйте продукт DO Qualification Kit, чтобы определить инструменты проверки для следующих DO-254 проектов.
Используйте DO-178C проект в качестве шаблона для управления процессом разработки программного обеспечения для DO-178C/DO-331 с помощью инструментов MathWorks.
Используйте шаблон для создания оболочки проекта, которую можно настроить для рабочего процесса DO-178C/DO-331.
Измените файлы конфигурации модели, чтобы отразить настройки оборудования для DO-178C/DO-331 проекта.
Для добавления моделей используйте интегрированные функциональные возможности шаблона проекта.
Автоматизация выполнения действий по проверке программного обеспечения в рабочем процессе конструирования на основе моделей с помощью непрерывной интеграции.
