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