Первый шаг процесса проверки должен предложить План квалификации инструмента (TQP) DO - 178C сертифицирующие органы (ссылочный Раздел DO-330 10.1.2) для каждого инструмента, который вы планируете квалифицировать.
Откройте Менеджера артефактов и найдите, версия PDF документа Плана квалификации инструмента предусмотрела инструмент. Рассмотрите документ для применимости для вашего проекта.
Найдите и сделайте копию .docx
Файл шаблона Tool Qualification Plan для того инструмента.
Отредактируйте шаблон как требуется для вашего приложения и сделайте документ доступным для анализа. Это обычно включает добавление следующей информации:
В таблице, расположенной в “Данных о Жизненном цикле Инструмента”, где обозначено, ссылках на документы:
Запланируйте аспекты программного обеспечения сертификации (PSAC)
Сводные данные выполнения программного обеспечения (SAS)
Сводные данные выполнения инструмента (TAS)
Расписание квалификации инструмента, расположенное в разделе, названном “Расписание”
Добавьте ссылку на инструмент, который вы квалифицируете и выравнивание, почему инструмент требует проверки к приложению PSAC, указывая на ваше намерение использовать инструмент верификации. DO Qualification Kit обеспечивает шаблон PSAC. См. План относительно Аспектов программного обеспечения шаблона Certification (PSAC).
Представьте PSAC сертифицирующим органам. Если вы хотите, можно также представить План квалификации инструмента с PSAC. Эти документы сообщают сертифицирующим органам вашего намерения использовать инструмент, и инициирует диалоговое окно относительно ваших планов относительно сертификации.
После того, как вы завершаете эту процедуру, документируете Инструмент Операционные Требования, как описано в Инструменте Документа Операционные Требования.
Можно квалифицировать только Polyspace® Code Prover™ и Polyspace Code Prover Server™ как TQL-4, Критерии 3 инструмента.
Для получения дополнительной информации смотрите факторы сертификации в документах Плана квалификации инструмента (TQP).