Компоненты IEC Certification Kit

Артефакты IEC Certification Kit, чтобы помочь соответствовать ISO 26262, IEC 61508, IEC 62304, EN 50128 и IEC 61 511 целей

Примеры и руководства

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

Доступ к артефактам сертификации для Embedded Coder

Артефакты сертификации включают шаблоны, тесты и процедуры тестирования.

Доступ к артефактам сертификации для 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

Поддерживающие артефакты обеспечивают предложения для усиления продуктов MathWorks®, чтобы обратиться к методам, методам и мерам, требуемым ISO 26262.

Доступ к артефактам поддержки для EN 50128

Поддерживающие артефакты обеспечивают предложения для усиления Продуктов Mathworks, чтобы обратиться к методам, методам и мерам, требуемым EN 50128.

Доступ к артефактам поддержки для IEC 61508

Поддерживающие артефакты обеспечивают предложения для усиления Продуктов Mathworks, чтобы обратиться к методам, методам и мерам, требуемым IEC 61508.

Доступ к артефактам поддержки для IEC 62304

Поддерживающие артефакты обеспечивают предложения для усиления Продуктов Mathworks, чтобы обратиться к методам, методам и мерам, требуемым IEC 62304.

Отчеты об ошибках

Проверки IEC Certification Kit на отчеты об ошибках

Используйте проверки Model Advisor, чтобы отобразить отчеты об ошибках для поддерживаемых Продуктов Mathworks.

Концепции

Компоненты

Обзор компонента IEC Certification Kit

IEC Certification Kit включает сертификацию и доказательство проверки, шаблоны, тесты и процедуры тестирования.

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

Артефакты инструмента оказывают поддержку, когда вы используете Продукты Mathworks в контексте стандартов безопасности.

Поддержка артефактов

Поддерживающие артефакты обеспечивают предложения для усиления Продуктов Mathworks, чтобы обратиться к методам, методам и мерам, требуемым стандартами.

Проверки IEC Certification Kit на отчеты об ошибках

Используйте проверки Model Advisor, чтобы отобразить отчеты об ошибках для поддерживаемых Продуктов Mathworks.

Стандарты

ISO 26262

ISO 26262 является стандартом функциональной безопасности Дорожные автомобили — Функциональная безопасность.

IEC 61508

IEC 61508 является Функциональная безопасность стандарта функциональной безопасности электрических/электронных/программируемых электронных связанных с безопасностью систем.

IEC 62304

IEC 62304 является программным обеспечением Медицинского устройства стандарта функциональной безопасности – процессы жизненного цикла программного обеспечения.

EN 50128

EN 50128 является стандартом функциональной безопасности Железнодорожные приложения - Коммуникации, сигнализация и системы обработки - программное обеспечение для системы управления и систем защиты.

IEC 61511

IEC 61511 является Функциональная безопасность стандарта функциональной безопасности - Безопасность Оснащенные Системы для сектора перерабатывающей промышленности.