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 поддерживает определенные продукты 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 проект.
Используйте встроенную функциональность шаблона проекта, чтобы добавить модели.
Автоматизируйте выполнение действий верификации программного обеспечения в вашем рабочем процессе Модельно-ориентированного проектирования при помощи непрерывного интегрирования.
