Используйте шаблоны артефакта IEC Certification Kit, чтобы зарегистрировать доказательство использования инструментов MathWorks® в рабочих процессах, на которые ссылаются, и с ограничениями, заданными в соответствующем сертификате. Действия документации для каждого инструмента могут включать следующее:
Настройте и завершитесь, Демонстрационный Шаблон Соответствия предусмотрел инструмент.
Для квалификации инструмента ISO 26262 шаблон ISO 26262 Tool Qualification Package анализ, предусмотрел инструмент для применимости для приложения на рассмотрении и адаптацию, и завершите информацию.
Продукт IEC Certification Kit оказывает поддержку для создания артефакты квалификации инструмента ISO 26262 для следующих продуктов:
Embedded Coder® / AUTOSAR Blockset (когда применимый)
Simulink® PLC Coder™
Simulink Design Verifier™
Simulink Check™
Simulink Coverage™
Simulink Requirements™
Polyspace® Bug Finder™
Polyspace Bug Finder Server™
Polyspace Code Prover™
Polyspace Code Prover Server
Simulink Test™
Для получения дополнительной информации см. документы Пакета Квалификации инструмента ISO 26262 для этих продуктов.
Некоторые стандарты безопасности, включая IEC 61508 и IEC 62304, не имеют формальной концепции кредитов сертификации. Сумма кредита на использование сертифицированных или квалифицированных инструментов зависит от разработки претендента, верификации и процессов валидации, и как претендент использует инструменты в рамках тех процессов. Претендент должен предложить и обсудить начальную версию пакета соответствия, включая данные о квалификации инструмента, с сертифицирующим органом или внутренним экспертом рано в жизненный цикл разработки.
Продукт IEC Certification Kit оказывает поддержку для создания следующих артефактов, связанных с сертификацией инструмента согласно IEC 61508. Эти артефакты доступны в Менеджере артефактов.
| Продукты | Цель | Ссылки | Артефакты и Documents1 |
|---|---|---|---|
| Embedded Coder AUTOSAR Blockset | Доказательство сертификации инструмента для генератора кода |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Embedded Coder | |
| Доказательство для использования генератора кода в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Embedded Coder пакет квалификации инструмента ISO 26262 | |
| Simulink PLC Coder | Доказательство сертификации инструмента для генератора кода |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink PLC Coder | |
| Доказательство для использования генератора кода в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink PLC Coder пакет квалификации инструмента ISO 26262 | |
| Simulink Design Verifier | Доказательство сертификации инструмента для образцового инструмента верификации |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink Design Verifier | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink Design Verifier пакет квалификации инструмента ISO 26262 | |
| Simulink Check | Доказательство сертификации инструмента для образцового инструмента верификации |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink Check | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink Check пакет квалификации инструмента ISO 26262 | |
| Simulink Coverage | Доказательство сертификации инструмента для образцового инструмента верификации |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink Coverage | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink Coverage пакет квалификации инструмента ISO 26262 | |
| Simulink Requirements | Доказательство сертификации инструмента для образцового инструмента верификации |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink Requirements | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink Requirements пакет квалификации инструмента ISO 26262 | |
| Polyspace Code Prover / Polyspace Code Prover Server | Доказательство сертификации инструмента для инструмента верификации кода |
|
|
| Документация рабочего процесса | Нет данных | Polyspace Code Prover и рабочий процесс Polyspace Code Prover Server | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Polyspace Code Prover и Polyspace Code Prover Server пакет квалификации инструмента ISO 26262 | |
| Polyspace Bug Finder / Polyspace Bug Finder Server | Доказательство сертификации инструмента для инструмента верификации кода |
|
|
| Документация рабочего процесса | Нет данных | Polyspace Bug Finder и рабочий процесс Polyspace Bug Finder Server | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Polyspace Bug Finder и Polyspace Bug Finder Server пакет квалификации инструмента ISO 26262 | |
| Simulink Test | Доказательство сертификации инструмента для инструмента верификации кода |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink Test | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink Test пакет квалификации инструмента ISO 26262 | |
| 1For имена файлов и местоположения, см. Обзор Компонента IEC Certification Kit. | |||
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 | Доказательство сертификации инструмента для генератора кода |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Embedded Coder | |
| Доказательство для использования генератора кода в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Embedded Coder пакет квалификации инструмента ISO 26262 | |
| Simulink PLC Coder | Доказательство сертификации инструмента для генератора кода |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink PLC Coder | |
| Доказательство для использования генератора кода в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink PLC Coder пакет квалификации инструмента ISO 26262 | |
| Simulink Design Verifier | Доказательство сертификации инструмента для образцового инструмента верификации |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink Design Verifier | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink Design Verifier пакет квалификации инструмента ISO 26262 | |
| Simulink Check | Доказательство сертификации инструмента для образцового инструмента верификации |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink Check | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink Check пакет квалификации инструмента ISO 26262 | |
| Simulink Coverage | Доказательство сертификации инструмента для образцового инструмента верификации |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink Coverage | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink Coverage пакет квалификации инструмента ISO 26262 | |
| Simulink Requirements | Доказательство сертификации инструмента для инструмента верификации кода |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink Requirements | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink Requirements пакет квалификации инструмента ISO 26262 | |
| Polyspace Code Prover / Polyspace Code Prover Server | Доказательство сертификации инструмента для инструмента верификации кода |
|
|
| Документация рабочего процесса | Нет данных | Polyspace Code Prover и рабочий процесс Polyspace Code Prover Server | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Polyspace Code Prover и Polyspace Code Prover Server пакет квалификации инструмента ISO 26262 | |
| Polyspace Bug Finder / Polyspace Bug Finder Server | Доказательство сертификации инструмента для инструмента верификации кода |
|
|
| Документация рабочего процесса | Нет данных | Polyspace Bug Finder и рабочий процесс Polyspace Bug Finder Server | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Polyspace Bug Finder и Polyspace Bug Finder Server пакет квалификации инструмента ISO 26262 | |
| Simulink Test | Доказательство сертификации инструмента для инструмента верификации кода |
|
|
| Документация рабочего процесса | Нет данных | Рабочий процесс Simulink Test | |
| Доказательство для использования инструмента верификации в рабочих процессах, на которые ссылаются, и в рамках ограничений задано в его сертификате | Нет данных | Настроенный и завершенный Демонстрационный Шаблон Соответствия | |
| Документация для оценки критериев инструмента, классификации и проверки | Нет данных | Simulink Test пакет квалификации инструмента ISO 26262 | |
| 1For имена файлов и местоположения, см. Обзор Компонента IEC Certification Kit. | |||
Продукт IEC Certification Kit оказывает поддержку для создания артефактов EN 50128 квалификации инструмента для следующих продуктов:
Embedded Coder / AUTOSAR Blockset (когда применимый)
Simulink Design Verifier
Simulink Check
Simulink Coverage
Simulink Requirements
Polyspace Bug Finder
Polyspace Bug Finder Server
Polyspace Code Prover
Polyspace Code Prover Server
Simulink Test
Simulink PLC Coder
