Рабочие процессы

Рабочие процессы для инструментов MathWorks®, чтобы соответствовать ISO 26262, IEC 61508, IEC 62304, EN 50128 и IEC 61 511 целей

Темы

Обзор рабочего процесса 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.

Обзор рабочего процесса 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.