Артефакты

Артефакты, доступные с IEC Certification Kit

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

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

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

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

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

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

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

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

ISO 26262

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

IEC 61508

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

EN 50128

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

IEC 61511

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