Первый шаг процесса проверки должен предложить План квалификации инструмента (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® Bug Finder™, Polyspace Bug Finder Server™ и Simulink® Code Inspector™ как Критерии 2 или Критерии 3 инструмента. Помочь вам определить который инструмент критериев квалифицировать:
Если вы не используете инструмент Polyspace Code Prover™ или Polyspace Code Prover Server Criteria 2, квалифицируйте Polyspace Bug Finder и Polyspace Bug Finder Server как Критерии 3 инструмента с помощью Polyspace Bug Finder и Критериев Polyspace Bug Finder Server 3 документа Плана квалификации инструмента. В противном случае квалифицируйте его как Критерии 2 инструмента с помощью Polyspace Bug Finder и Критериев Polyspace Bug Finder Server 2 документа Плана квалификации инструмента.
Если вы не используете Simulink Code Inspector, или Polyspace Code Prover Server, чтобы выровнять по ширине устранение или сокращение процессов проверки кроме тех процессов, автоматизированных инструментом, квалифицируйте Simulink Code Inspector или как Критерии 3 инструмента с помощью Критериев Simulink Code Inspector 3 документа Плана квалификации инструмента. В противном случае квалифицируйте его как Критерии 2 инструмента с помощью Критериев Simulink Code Inspector 2 документа Плана квалификации инструмента.
Для получения дополнительной информации смотрите факторы сертификации в документах Плана квалификации инструмента (TQP), которые доступны в Менеджере артефактов.
