Первый шаг процесса проверки должен предложить План квалификации инструмента DO - 178C сертифицирующие органы (ссылочный Раздел DO-330 10.1.2). План квалификации инструмента предоставляет следующую информацию:
Введение
Заголовок и версия Инструмента операционных требований (TOR)
Факторы сертификации — основание для квалификации инструмента и целей, на которые вы ищете кредит сертификации
Жизненный цикл разработки инструмента — планирование, документы требования и действие, документы верификации и действие
Данные о жизненном цикле инструмента — отображение документов приложения к DO - 178C жизненный цикл процесса
Расписание проверки
Чтобы предложить План квалификации инструмента, завершите следующие шаги для каждого инструмента, который вы планируете квалифицировать:
Идентифицируйте инструмент верификации программного обеспечения MathWorks®, который вы планируете квалифицировать.
Найдите версия PDF документа Плана квалификации инструмента предусмотрела инструмент в продукте DO Qualification Kit. Рассмотрите документ для применимости для вашего проекта.
Найдите и сделайте копию файла шаблона .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), которые доступны в Менеджере артефактов.