Доказательство документа Использования инструментов в рабочих процессах, на которые ссылаются,

Используйте шаблоны артефакта IEC Certification Kit, чтобы зарегистрировать доказательство использования инструментов MathWorks® в рабочих процессах, на которые ссылаются, и с ограничениями, заданными в соответствующем сертификате. Действия документации для каждого инструмента могут включать следующее:

Примечание

Некоторые стандарты безопасности, включая IEC 61508 и IEC 62304, не имеют формальной концепции кредитов сертификации. Сумма кредита на использование сертифицированных или квалифицированных инструментов зависит от разработки претендента, верификации и процессов валидации, и как претендент использует инструменты в рамках тех процессов. Претендент должен предложить и обсудить начальную версию пакета податливости, включая данные о квалификации инструмента, с сертифицирующим органом или внутренним экспертом рано в жизненный цикл разработки.

Артефакты сертификации инструмента доступны в Менеджере артефактов. Чтобы рассмотреть специфичные для инструмента имена файлов для артефактов, см.:

Артефакты сертификации инструмента для ISO 26262, EN 50128 и ISO 25119

IEC Certification Kit оказывает поддержку для создания специфичных для инструмента артефактов проверки, которые могут использоваться в качестве доказательства податливости к ISO 26262, EN 50128 и стандартам функциональной безопасности ISO 25119.

Чтобы рассмотреть список инструментов, которые сертифицируются для использования в текущей версии IEC Certification Kit, смотрите продукты, Поддержанные IEC Certification Kit.

Для получения информации о стандартах см.:

Артефакты сертификации инструмента для IEC 61508 и IEC 62304

IEC Certification Kit оказывает поддержку для создания специфичных для инструмента артефактов проверки, которые могут использоваться в качестве доказательства податливости к IEC 61508 и IEC 62 304 стандарта.

Примечание

IEC 62304 непосредственно не обращается к проверке программного инструмента. Однако IEC 62304 C.1 утверждает, что на IEC 61508-7 можно смотреть как источник методов, инструментов и методов, которые могут использоваться, чтобы реализовать требования в IEC 62304. IEC 62304 C.7 предоставляет отношение IEC 61508.

Чтобы рассмотреть список инструментов, которые сертифицируются для использования в текущей версии IEC Certification Kit, смотрите продукты, Поддержанные IEC Certification Kit.

Для получения информации о стандартах см.:

ЦельСсылки стандартовАртефакты сертификации
Доказательство сертификации инструмента для генератора кода
  • IEC 61508-3 пункта 7.4.4

  • IEC 61508-3 Таблицы a-3 (4a) "Сертифицированные инструменты и сертифицируемые переводчики"

Сертификаты и доклады о сертификации

Документация рабочего процессаНет данныхРабочие процессы
Доказательство для использования генератора кода в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенные и завершенные Демонстрационные шаблоны соответствия (CDT)
Документация для оценки критериев инструмента, классификации и проверкиНет данныхПакеты квалификации инструмента (TQP) ISO 26262