Чтобы получить доступ к программным продуктам верификации, откройте Менеджера артефактов и перейдите к папке продукта.
DO Qualification Kit предоставляет программные продукты и инструменты, которые помогают в проверке MathWorks® продукты, которые можно использовать для проверки программного и оборудования для проектов на основе DO-178C, DO-278A, DO-254 и связанных с ними дополнений.
DO Qualification Kit предоставляет следующие типы программных продуктов инструментов:
Дополнительные компоненты в DO Qualification Kit позволяют:
Примечание
Ни податливости с применимым стандартом безопасности, ни сертификация к нему не гарантируют безопасность программного обеспечения или фактора системы. Однако применимый стандарт безопасности может считаться современными или общепринятыми правилами технологии (GART) для разработки систем, связанных с безопасностью в вашей отрасли. Сертификация может использоваться в качестве доказательства того, что в процессе разработки системы применялись современные процедуры.
The rights.txt
В файле описывается допустимое использование продукта DO Qualification Kit. Найти файл можно по адресу
.matlabroot
/ toolbox/qualkits/do
A PDF и редактируемое .docx
программный продукт, определяющий факторы сертификации и жизненного цикла (ссылка DO-330 раздел 10.1.2).
Этот План квалификации инструмента предоставляет следующую информацию:
Введение
Заголовок и версия Инструмента оперативных требований (TOR)
Сертификационные факторы - базис для квалификации инструмента и целей, для которых вы ищете сертификационный кредит
Жизненный цикл разработки инструмента - планирование, документы потребности и деятельность, документы верификации и деятельность
Данные жизненного цикла инструмента - отображение документов приложения с DO-178C жизненным циклом процесса
Проверка
A PDF и редактируемое .docx
файл, определяющий требования к инструменту (ссылка DO-330 раздел 10.3.1).
Документ Tool Operation Requirements содержит следующую информацию:
Введение
Эксплуатационные требования - описание функциональности инструмента и его использования
Информация об установке
Операционное окружение
Для использования в процессе DO-330 квалификации инструмента для инструментов TQL-4 TOR определяет требования высокого уровня (HLR).
Инструменты TQL-4 MathWorks включают Polyspace® Code Prover™ и Polyspace Code Prover Server™.
A 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). В документе «Тесты и процедуры» содержится следующая информация:
Введение
Описание тестов и процедур
Матрица трассируемости между операционными требованиями и тестами и процедурами
Порядок выполнения тестов и процедур
Подробная процедура тестирования для каждого инструмента задана в соответствующем артефакте «Выполнение квалификационных тестов и просмотр результатов тестирования» для < Product > (qualitdo_<product>_run.mlx
). Используйте этот программный продукт для выполнения тестов и процедуры в установленной и сконфигурированном окружении для каждого продукта.
DO Qualification Kit предоставляет PDF и редактируемые .docx
версия шаблона «План программных аспектов сертификации» (PSAC), который можно использовать при проверке проекта. PSAC предоставляет плановые данные, определенные в DO-178C, раздел 11.1.
При проверке вашего проекта на DO-254 необходимо предоставить План по Оборудованию аспектам сертификации (PHAC).
DO Qualification Kit предоставляет PDF и редактируемые .docx
версия шаблона Модели ПО Standard (SWMS), который можно использовать при проверке проекта. SWMS является частью плана разработки программного обеспечения (SDP). Как задано в DO-331 MB.11.23, SWMS определяет методы моделирования для каждого типа модели.
Примечание
Не применяется для DO-254.
DO Qualification Kit предоставляет PDF и редактируемые .docx
версия шаблона отчета об установке инструментов, который можно использовать при проверке проекта. Как указано в DO-330, раздел 10.3.2, этот отчет можно использовать для документирования информации, связанной с установкой инструмента, такого окружения, версии, внешних компонентов и руководств пользователя.
Жизненный цикл DO-178C программного обеспечения и DO-254 жизненные циклы состоят из целей, которые должны быть достигнуты для каждого из этапов жизненного цикла. Эти PDF результирующие цели и рекомендации для достижения целей с помощью Модельно-ориентированного проектирования процесса:
Рабочий процесс DO Qualification Kit модельно-ориентированное проектирование для DO-178C
Рабочий процесс DO Qualification Kit модельно-ориентированное проектирование для DO-254