Чтобы получить доступ к артефактам проверки, откройте обозреватель артефактов и перейдите в папку продукта.
Комплект DO Qualification Kit предоставляет артефакты и инструменты, которые помогают в квалификации продуктов MathWorks ®, которые можно использовать для проверки программного и аппаратного обеспечения для проектов, основанных на DO-178C, DO-278A, DO-254 и связанных дополнениях .
Комплект DO Qualification Kit содержит следующие типы артефактов инструментов:
Дополнительные компоненты квалификационного комплекта DO позволяют:
Примечание
Ни соответствие, ни сертификация применимому стандарту безопасности не обеспечивают безопасность программного обеспечения или рассматриваемой системы. Однако применимый стандарт безопасности может считаться современным или общепринятым технологическим стандартом (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).
К инструментам TQL-4 MathWorks относятся программы Polyspace ® Code Prover™ и Polyspace Code Prover Server™.
PDF и возможность редактирования .docx файл, в котором указаны требования к инструменту (см. DO-330 разделе 10.2.1).
Этот документ, который предназначен для использования в 330 процессов квалификации инструмента для инструментов TQL-4, определяет две категории требований:
Требования к инструментам (OR), большинство из которых не зависят от языка программирования, такие как входы, выходы и требования к производительности
Языковые требования (LSR), включая семантические требования
Средства TQL-4 MathWorks включают в себя сервер проверки кода Polyspace и сервер проверки кода Polyspace.
Примеры испытаний и процедуры, используемые для поддержки верификации инструмента (см. DO-330 разделах 10.3.3 и 10.3.4). В документе «Тестовые примеры и процедуры» содержится следующая информация:
Введение
Описание тестовых примеров и процедур
Матрица прослеживаемости между эксплуатационными требованиями и тестовыми примерами и процедурами
Процедура выполнения тестовых примеров и процедур
Подробная процедура тестирования для каждого инструмента указана в соответствующем разделе Выполнить квалификационные тесты и просмотреть результаты тестирования для артефакта < Product > (qualitdo_<product>_run.mlx). Этот артефакт используется для выполнения тестовых примеров и процедур в установленной и настроенной среде для каждого продукта.
Комплект DO Qualification Kit предоставляет PDF-файл и возможность редактирования .docx версия шаблона «План по программным аспектам сертификации» (PSAC), который можно использовать при квалификации проекта. PSAC предоставляет данные планирования, определенные в разделе 11.1 DO-178C.
При квалификации проекта для DO-254 необходимо предоставить План по аппаратным аспектам сертификации (PHAC).
Комплект DO Qualification Kit предоставляет PDF-файл и возможность редактирования .docx версия шаблона стандарта модели программного обеспечения (SWMS), которую можно использовать при определении проекта. SWMS является частью плана разработки программного обеспечения (SDP). Как указано в DO-331 MB.11.23, SWMS определяет методы моделирования для каждого типа модели.
Примечание
Неприменимо для DO-254.
Комплект DO Qualification Kit предоставляет PDF-файл и возможность редактирования .docx версия шаблона отчета об установке инструмента, которую можно использовать при определении проекта. Как указано в разделе 10.3.2 DO-330, этот отчет можно использовать для документирования информации, связанной с установкой инструмента, такой как среда, версия, внешние компоненты и руководства пользователя.
Жизненный цикл программного обеспечения DO-178C и жизненный цикл DO-254 состоят из целей, которые должны быть выполнены для каждого из этапов жизненного цикла. Эти документы PDF суммируют задачи и содержат рекомендации по выполнению задач с помощью процесса конструирования на основе модели.
Рабочий процесс конструирования на основе модели квалификационного комплекта DO для DO-178C
Рабочий процесс конструирования на основе модели квалификационного комплекта DO для DO-254