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

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

  • Настройте и завершитесь, Демонстрационный Шаблон Соответствия предусмотрел инструмент.

  • Для квалификации инструмента ISO 26262 шаблон ISO 26262 Tool Qualification Package анализ, предусмотрел инструмент для применимости для приложения на рассмотрении и адаптацию, и завершите информацию.

Артефакты квалификации инструмента ISO 26262

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

Для получения дополнительной информации см. документы Пакета Квалификации инструмента ISO 26262 для этих продуктов.

Примечание

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

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

Продукт IEC Certification Kit оказывает поддержку для создания следующих артефактов, связанных с сертификацией инструмента согласно IEC 61508. Эти артефакты доступны в Менеджере артефактов.

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

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Embedded Coder
Доказательство для использования генератора кода в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхEmbedded Coder пакет квалификации инструмента ISO 26262
Simulink® PLC Coder™ Доказательство сертификации инструмента для генератора кода
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink PLC Coder
Доказательство для использования генератора кода в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink PLC Coder пакет квалификации инструмента ISO 26262
Simulink Design Verifier™ Доказательство сертификации инструмента для инструмента верификации модели
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink Design Verifier
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink Design Verifier пакет квалификации инструмента ISO 26262
Simulink Check™ Доказательство сертификации инструмента для инструмента верификации модели
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink Check
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данных

Настроенный и завершенный Демонстрационный Шаблон Соответствия

Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink Check пакет квалификации инструмента ISO 26262
Simulink Coverage™ Доказательство сертификации инструмента для инструмента верификации модели
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink Coverage
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данных

Настроенный и завершенный Демонстрационный Шаблон Соответствия

Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink Coverage пакет квалификации инструмента ISO 26262
Simulink Requirements™ Доказательство сертификации инструмента для инструмента верификации модели
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink Requirements
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данных

Настроенный и завершенный Демонстрационный Шаблон Соответствия

Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink Requirements пакет квалификации инструмента ISO 26262
Polyspace® Code Prover™ / Polyspace Code Prover Server™Доказательство сертификации инструмента для инструмента верификации кода
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхPolyspace Code Prover и рабочий процесс Polyspace Code Prover Server
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхPolyspace Code Prover и Polyspace Code Prover Server пакет квалификации инструмента ISO 26262
Polyspace Bug Finder™ / Polyspace Bug Finder ServerДоказательство сертификации инструмента для инструмента верификации кода
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхPolyspace Bug Finder и рабочий процесс Polyspace Bug Finder Server
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхPolyspace Bug Finder и Polyspace Bug Finder Server пакет квалификации инструмента ISO 26262
Simulink Test™ Доказательство сертификации инструмента для инструмента верификации кода
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink Test
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink Test пакет квалификации инструмента ISO 26262
1For имена файлов и местоположения, см. Обзор Компонента IEC Certification Kit.

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

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

Продукт IEC Certification Kit оказывает поддержку для создания следующих артефактов, связанных с сертификацией инструмента, согласно IEC 62304. Эти артефакты доступны в Менеджере артефактов.

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

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Embedded Coder
Доказательство для использования генератора кода в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхEmbedded Coder пакет квалификации инструмента ISO 26262
Simulink PLC Coder Доказательство сертификации инструмента для генератора кода
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink PLC Coder
Доказательство для использования генератора кода в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink PLC Coder пакет квалификации инструмента ISO 26262
Simulink Design Verifier Доказательство сертификации инструмента для инструмента верификации модели
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink Design Verifier
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink Design Verifier пакет квалификации инструмента ISO 26262
Simulink Check Доказательство сертификации инструмента для инструмента верификации модели
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink Check
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink Check пакет квалификации инструмента ISO 26262
Simulink Coverage Доказательство сертификации инструмента для инструмента верификации модели
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink Coverage
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink Coverage пакет квалификации инструмента ISO 26262
Simulink Requirements Доказательство сертификации инструмента для инструмента верификации кода
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink Requirements
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink Requirements пакет квалификации инструмента ISO 26262
Polyspace Code Prover / Polyspace Code Prover ServerДоказательство сертификации инструмента для инструмента верификации кода
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхPolyspace Code Prover и рабочий процесс Polyspace Code Prover Server
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхPolyspace Code Prover и Polyspace Code Prover Server пакет квалификации инструмента ISO 26262
Polyspace Bug Finder / Polyspace Bug Finder ServerДоказательство сертификации инструмента для инструмента верификации кода
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхPolyspace Bug Finder и рабочий процесс Polyspace Bug Finder Server
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхPolyspace Bug Finder и Polyspace Bug Finder Server пакет квалификации инструмента ISO 26262
Simulink Test Доказательство сертификации инструмента для инструмента верификации кода
  • IEC 61508-3 пункта 7.4.4

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

  • Сертификат

  • Отчет сертификата

Документация рабочего процессаНет данныхРабочий процесс Simulink Test
Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификатеНет данныхНастроенный и завершенный Демонстрационный Шаблон Соответствия
Документация для оценки критериев инструмента, классификации и проверкиНет данныхSimulink Test пакет квалификации инструмента ISO 26262
1For имена файлов и местоположения, см. Обзор Компонента IEC Certification Kit.

Артефакты сертификации инструмента EN 50128

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