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

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

DO Qualification Kit предоставляет процесс проверки инструментов для проектов на основе DO-178C, DO-278A, DO-330, DO-254 и связанных с ними дополнений. В дополнение к тестам и процедурам можно использовать квалифицированные проверки Model Advisor для проверки податливости вашей модели DO-178C (и связанным) и MISRA C:2012 стандартам.

Функции

do178c.ExportTraceReport Сгенерируйте xls. файл, содержащий матрицу трассируемости

Темы

Рабочий процесс квалификации инструмента

Процесс проверки

Чтобы определить инструмент, следуйте этому процессу.

Предлагать План квалификации инструмента для Сертифицирующих органов

Предложите план квалификации инструмента к DO-178C сертифицирующих органов.

Оперативные требования к инструменту для документов

Разработка документа по оперативным требованиям к инструментам.

Проверьте, что инструмент удовлетворяет эксплуатационным требованиям инструмента

После документирования эксплуатационных требований инструмента проверьте, что инструмент удовлетворяет эксплуатационным требованиям инструмента.

Переоценка инструмента после рассмотрения отчетов об ошибках и установки обновлений

Повторно проверьте инструмент после установки обновлений.

Обеспечьте трассируемость между объектами модели, сгенерированным кодом и требованиями модели

Чтобы обеспечить трассируемость среди объектов модели, сгенерированного кода и требований модели, сгенерируйте матрицу трассируемости.

Предоставьте сертифицирующим органам результаты квалификации инструмента

Предоставить сертифицирующим органам сводные данные достижений инструмента.

Изменение программных продуктов DO Qualification Kit для DO-254 кредита

Используйте продукт DO Qualification Kit для проверки инструментов верификации для следующих DO-254 проектов.

Проверки Model Advisor

Проверки квалифицированного Model Advisor

Определяет проверки Model Advisor, которые квалифицированы для использования в процессах разработки, связанных с DO-178C и связанными стандартами.

Проверки DO Qualification Kit

Model Advisor проверяет наличие DO Qualification Kit.