Доступ к артефактам сертификации для 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 является стандартом функциональной безопасности Дорожные автомобили — Функциональная безопасность.
IEC 61508 является Функциональная безопасность стандарта функциональной безопасности электрических/электронных/программируемых электронных связанных с безопасностью систем.
IEC 62304 является программным обеспечением Медицинского устройства стандарта функциональной безопасности – процессы жизненного цикла программного обеспечения.
EN 50128 является стандартом функциональной безопасности Железнодорожные приложения - Коммуникации, сигнализация и системы обработки - программное обеспечение для системы управления и систем защиты.
IEC 61511 является Функциональная безопасность стандарта функциональной безопасности - Безопасность Оснащенные Системы для сектора перерабатывающей промышленности.