Используйте DO Qualification Kit для проверки соответствия DO-178C и DO-254.
Используйте DO Qualification Kit для проверки соответствия DO-178C и DO-254.

Пакет поддержки квалификации DO Qualification Kit предоставляет документацию, эталонные тесты и процедуры, позволяющие квалифицировать инструменты верификации Simulink® и Polyspace® для проектов, выполняемых в соответствии DO-178C, DO-278A и связанных с ними дополнениях. Пакет содержит планы квалификации инструментов, эксплуатационные требования к инструменту и другие материалы, необходимые для квалификации инструментов верификации программного обеспечения. За счет этого снижаются затраты на сертификацию встроенных систем, разработанных с использованием поддерживаемых продуктов Simulink и Polyspace.

Пакеты поддержки квалификации инструментов доступны для определенных версий инструментов верификации Simulink и Polyspace, основанных на DO-330 (в России - РМ-330, «Руководство по квалификации программных инструментов»). Артефакты в пакете поддержки квалификации инструмента могут быть изменены для конкретного проекта и включены в пакеты документации по DO-178C и DO-278A, представляемые для получения сертификационного зачета.

Используйте DO Qualification Kit для проверки соответствия DO-178C и DO-254. Используйте DO Qualification Kit для проверки соответствия DO-178C и DO-254.

Ключевые особенности

  • Документы о плане квалификации инструмента и эксплуатационных требованиях к инструменту

  • Эталонные модели и код, процедуры тестирования и ожидаемые результаты

  • Генерация матрицы трассируемости, охватывающая требования, модели и сгенерированный код

  • Квалификационные материалы для инструментов верификации, валидации и тестирования Simulink

  • Квалификационные материалы для инструментов проверки кода Polyspace

  • Проводник артефактов для навигации и просмотра артефактов для каждого поддерживаемого продукта

  • Проверяет отчеты об ошибках, связанных с инструментом

Что такое DO-178?

Используйте рабочие процессы конструирования на основе моделей, чтобы показать соответствие с DO-178C и связанными добавлениями
Используйте рабочие процессы конструирования на основе моделей, чтобы показать соответствие с DO-178C и связанными добавлениями
Используйте рабочие процессы конструирования на основе моделей, чтобы показать соответствие с DO-178C и связанными добавлениями Используйте рабочие процессы конструирования на основе моделей, чтобы показать соответствие с DO-178C и связанными добавлениями

DO-178 является де-факто международным стандартом безопасности, используемым для сертификации программного обеспечения коммерческих авиационных систем и все чаще используется в других секторах и приложениях. DO-278 является производным стандартом для наземных и космических систем. Текущие версии стандартов – DO-178C и DO-278A. Стандарты сопровождаются дополнительными материалами, содержащими разъяснения по специфичиским техникам и технологиям. На территории России DO-178C соответствует стандарт КТ-178С, а также расширения

  • Р-330 – Руководство по квалификации программных инструментов

  • Р-331 – Разработка и верификация на основе модели

  • Р-332 – Объектно-ориентированные технологии и связанные методы

  • Р-333 – Дополнение по формальным методам к документам КТ-178С и КТ-278

Раздел 12.2 стандарта разъясняет, что квалификация инструмента необходима только если его выход не верифирован. На основе влияния инструмента на жизненный цикл ПО назначается уровень квалификации инструмента (TQL). DO-178C ссылается DO-330 в части аспектов квалификации инструментов, таких как цели, руководства и данные жизненного цикла, специфичные для каждого TQL.

DO Qualification Kit поддерживает DO-178C и DO-330. Пакет содержит руководства по рабочим процессам, поддерживает создание матрицы трассируемости, а также иных артефактов жизненного цикла разработки ПО по DO-178C и DO-333

ВАЖНО: Квалификация осуществляется пользователем, а не поставщиком инструментов и выполняется для каждого проекта, подлежащего сертификации. 

Квалификация инструментов

DO Qualification Kit реализует подход к квалификации инструмента, указанный в DO-178C. Чтобы использовать DO Qualification Kit, выполняются следующие действия:

  • Сертифицирующему органу предоставляется план квалификации инструмента.

  • Документируются эксплуатационные требования инструмента.

  • Демонстрируется, что инструмент удовлетворяет эксплуатационным требованиям, определяются ограничения инструмента.

  • Сертифицирующему органу предоставляются результаты квалификации инструмента, включая ограничения.

DO Qualification Kit предоставляет руководство и информацию для вышеуказанных шагов и включает шаблоны документов, наборы тестов и процедур тестирования, необходимые для квалификации поддерживаемых продуктов Simulink и Polyspace.

Для поддерживаемых продуктов DO Qualification Kit включает в себя следующие артефакты:

  • План квалификации инструмента

  • Требования к инструменту

  • Тесты, процедуры и результаты (с подтверждающей документацией)

Тесты и процедуры из DO Qualification Kit запускаются в пользовательской среде установки MATLAB или Polyspace. Полученные результаты тестов сравниваются с ожидаемыми результатами из DO Qualification Kit и, по необходимости выполняется устранение любых различий. Simulink Report Generator необходим для квалификации Simulink Check, Simulink Coverage, Simulink Code Inspector и Simulink Test.

Примечание. Использование инструментов, квалифицированных по стандарту DO-178, не обеспечивает безопасность программного обеспечения или рассматриваемой системы.

DO Qualification Kit предоставляет подробное руководство по рабочему процессу, необходимое для разработки и проверки систем с использованием модельно-ориентированного проектирования. Руководство по рабочему процессу описывает процесс, методы и инструменты, используемые для каждого этапа разработки и верификации программного обеспечения, начиная от валидации требований высокого уровня до верификации. Новые концепции для модельно-ориентированного проектирования, представленные в DO-331, объяснены и проиллюстрированы, в том числе роль тестирование на основе симуляций и структурное покрытие модели.

С помощью DO Qualification Kit генерируется матрица трассируемости, в которой указаны пути двунаправленной трассируемости требований к модели и коду и информация о файле. DO Qualification Kit предназначен для создания списка зарегистрированных ошибок, которые возможно сохранить и заархивировать для ключевых инструментов верификации Simulink и Polyspace, используемых в процессе модельно-ориентированного проектирования.

${message}

${message}