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 проект.
Используйте встроенную функциональность шаблона проекта, чтобы добавить модели.
DO - 178C шаблон проекта включает среду в качестве примера, которая показывает, как можно разработать задания сборки Дженкинса, которые используют непрерывное интегрирование (CI), чтобы полностью автоматизировать выполнение действий верификации программного обеспечения.
Используйте тематическое исследование, чтобы лучше изучить реализацию шаблона проекта.
