Первый шаг процесса проверки состоит в том, чтобы предложить План квалификации инструмента (TQP) к DO-178C сертифицирующих органов (ссылка DO-330 раздел 10.1.2) для каждого инструмента, который вы планируете квалифицировать.
Откройте Менеджера артефактов и найдите PDF версию Плана квалификации инструмента документа, предоставленного для инструмента. Проверьте документ на применимость к своему проекту.
Найдите и сделайте копию .docx План квалификации инструмента для этого инструмента.
Отредактируйте шаблон в соответствии с требованиями приложения и сделайте документ доступным для проверки. Обычно это включает добавление следующей информации:
В таблице, расположенной в «Tool Life Cycle Data», где указано, ссылки на документы:
План программных аспектов сертификации (PSAC)
Сводные данные достижений программного обеспечения (SAS)
Сводные данные достижений инструмента (TAS)
Отчет об установке инструмента
График квалификации инструмента, расположенный в разделе «Расписание»
Добавьте ссылку на инструмент, который вы определяете и обосновываете, почему инструмент требует проверки в PSAC приложения, что указывает на ваше намерение использовать инструмент верификации. DO Qualification Kit предоставляет шаблон PSAC. Смотрите План по программным аспектам сертификации (PSAC) и План по аппаратным аспектам сертификации (PHAC) шаблон.
Представить PSAC в сертифицирующие органы. При необходимости можно также отправить план квалификации инструмента в PSAC. Эти документы информируют сертифицирующие органы о вашем намерении использовать инструмент и инициируют диалог относительно ваших планов сертификации.
После выполнения этой процедуры задокументируйте операционные требования инструмента, как описано в разделе Эксплуатационные требования Document Tool.
Примечание
Вы можете квалифицировать только Polyspace® Code Prover™ и Polyspace Code Prover Server™ как инструмент TQL-4, Criteria-3.
Для получения дополнительной информации см. Факторы сертификации в документах Плана квалификации инструмента (TQP).
