Чтобы получить доступ к артефактам верификации, откройте Менеджера артефактов и перейдите к папке продукта.
DO Qualification Kit обеспечивает артефакты и инструменты, которые помогают в проверке продуктов MathWorks®, которые можно использовать, чтобы проверить программное и аппаратное обеспечение для проектов на основе DO - 178C, DO - 278A, DO-254 и связанных дополнений.
DO Qualification Kit обеспечивает эти типы артефактов инструмента:
Дополнительные компоненты в DO Qualification Kit позволяют вам:
Примечание
Ни податливость с, ни сертификация применимому стандарту безопасности не обеспечивают безопасность программного обеспечения или системы на рассмотрении. Однако применимый стандарт безопасности может быть рассмотрен современными или общепринятыми правилами технологии (GART) для разработки связанных с безопасностью систем в вашей промышленности. Сертификация может использоваться в качестве доказательства, что современные процедуры были применены во время разработки системы.
rights.txt файл описывает позволенное использование продукта DO Qualification Kit. Можно найти файл в matlabroot/toolbox/qualkits/do
PDF и доступный для редактирования .docx артефакт, который задает сертификацию и факторы жизненного цикла (ссылочный Раздел DO-330 10.1.2).
План квалификации инструмента предоставляет следующую информацию:
Введение
Заголовок и версия Инструмента операционных требований (TOR)
Факторы сертификации — основание для квалификации инструмента и целей, на которые вы ищете кредит сертификации
Жизненный цикл разработки инструмента — планирование, документы требования и действие, документы верификации и действие
Данные о жизненном цикле инструмента — отображение документов приложения к DO - 178C жизненный цикл процесса
Расписание проверки
PDF и доступный для редактирования .docx файл, который задает требования инструмента для инструмента (ссылочный Раздел DO-330 10.3.1).
Инструмент Операционный документ Требований предоставляет следующую информацию:
Введение
Операционные требования — описание функциональности инструмента и как это используется
Информация об установке
Рабочая среда
Для использования в процессе DO-330 квалификации инструмента для инструментов TQL-4 TOR задает требования высокого уровня (HLR).
Инструменты MathWorks TQL-4 включают Polyspace® Code Prover™ и Polyspace Code Prover Server™.
PDF и доступный для редактирования .docx файл, который задает требования инструмента для инструмента (ссылочный Раздел DO-330 10.2.1).
Этот документ, который предназначается для использования в процессе DO-330 квалификации инструмента для инструментов TQL-4, задает две категории требований:
Требования инструмента (OR), большинство которых является независимым языком программирования, таким как инструмент, вводят, выходные параметры и требования к производительности
Специфичные для языка требования (LSR), включая семантические требования
Инструменты MathWorks TQL-4 включают Polyspace Code Prover и Polyspace Code Prover Server.
Тесты и процедуры раньше поддерживали верификацию инструмента (ссылочные Разделы DO-330 10.3.3 и 10.3.4). Документ Тестов и Процедур предоставляет следующую информацию:
Введение
Описание тестов и процедуры
Матрица трассируемости между операционными требованиями и тестами и процедурами
Процедура для выполнения тестов и процедур
Подробная процедура тестирования для каждого инструмента задана в соответствии, Выполняют Тесты Проверки и Результаты испытаний Анализа для <продукта> артефакт (qualitdo_<product>_run.mlx). Используйте этот артефакт, чтобы выполнить тесты и процедуру в установленной и сконфигурированной среде для каждого продукта.
DO Qualification Kit обеспечивает PDF и доступный для редактирования .docx версия шаблона Plan for Software Aspects of Certification (PSAC), который можно использовать при квалификации проекта. PSAC обеспечивает данные о планировании, заданные в DO - 178C, Раздел 11.1.
При квалификации проекта к DO-254 необходимо предоставить План относительно Аспектов аппаратного обеспечения Сертификации (PHAC).
DO Qualification Kit обеспечивает PDF и доступный для редактирования .docx версия шаблона Software Model Standard (SWMS), который можно использовать при квалификации проекта. SWMS является частью Плана разработки программного обеспечения (SDP). Как задано в DO-331 MB.11.23, SWMS задает техники моделирования для каждого типа модели.
Примечание
Не применимый для DO-254.
Жизненный цикл программного обеспечения DO-178C и DO, 254 жизненных цикла состоят из целей, которые должны быть достигнуты для каждого из этапов жизненного цикла. Эти PDFs обобщают цели и предоставляют рекомендации для достижения целей при помощи процесса Модельно-ориентированного проектирования:
Рабочий процесс модельно-ориентированного проектирования DO Qualification Kit для DO - 178C
Рабочий процесс модельно-ориентированного проектирования DO Qualification Kit для DO-254
