IEC Certification Kit обеспечивает артефакты и рабочие процессы, которые можно использовать, чтобы помочь вам квалифицировать инструменты MathWorks®, которые используются в вашем проекте. Эти артефакты доступны в Менеджере артефактов Сертификации.
| IEC Certification Kit | Оптимальная сертификация о встраиваемых системах к ISO 26262, IEC 61508, IEC 62304, IEC 61511, EN 50128, EN 50657, ISO 25119 и связанным стандартам функциональной безопасности |
certkitiec | Открытый менеджер артефактов сертификации для IEC Certification Kit |
Доступ к артефактам в менеджере артефактов IEC Certification Kit
Менеджер артефактов содержит пакеты сертификации и артефакты.
Артефакты сертификации инструмента
Артефакты сертификации включают специфичные для продукта шаблоны, тесты и процедуры тестирования.
Поддержите артефакты для стандартов
Поддерживающие артефакты обеспечивают предложения для усиления Продуктов Mathworks, чтобы обратиться к методам, методам и мерам, требуемым ISO 26262, EN 50128, EN 50657, IEC 61508, IEC 62304 и ISO 25119.
Обзор рабочего процесса IEC Certification Kit
Рабочий процесс IEC Certification Kit описывает действия верификации и разработки программного обеспечения и валидации, которые являются частью рабочего процесса Модельно-ориентированного проектирования IEC Certification Kit.
Обзор рабочего процесса Embedded Coder
Рабочий процесс Embedded Coder® описывает интегрирование Embedded Coder в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Обзор рабочего процесса Simulink PLC Coder
Рабочий процесс Simulink® PLC Coder™ описывает интегрирование Simulink PLC Coder в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Обзор рабочего процесса HDL Coder
Рабочий процесс HDL Coder™ описывает интегрирование HDL Coder в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Обзор рабочего процесса Simulink Design Verifier
Рабочий процесс Simulink Design Verifier™ описывает интегрирование Simulink Design Verifier в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Обзор рабочего процесса Simulink Check
Рабочий процесс Simulink Check™ описывает интегрирование Simulink Check в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Обзор рабочего процесса Simulink Coverage
Рабочий процесс Simulink Coverage™ описывает интегрирование Simulink Coverage в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Обзор рабочего процесса Simulink Requirements
Рабочий процесс Simulink Requirements™ описывает интегрирование Simulink Requirements в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Polyspace Bug Finder и обзор рабочего процесса Polyspace Bug Finder Server
Описывает интегрирование Polyspace® Bug Finder™ и Polyspace Bug Finder Server™ в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Polyspace Code Prover и обзор рабочего процесса Polyspace Code Prover Server
Описывает интегрирование Polyspace Code Prover™ и Polyspace Code Prover Server в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Обзор рабочего процесса Simulink Test
Рабочий процесс Simulink Test™ описывает интегрирование Simulink Test в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Проверки отчета об ошибках IEC Certification Kit
Model Advisor проверяет на отчеты об ошибках IEC Certification Kit.
