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, которые пригодны для использования в процессах разработки, которые включают DO - 178C и связанные стандарты.
Model Advisor проверяет на DO Qualification Kit.
