Продукт IEC Certification Kit содержит следующие артефакты рабочего процесса Модельно-ориентированного проектирования:
Рабочий процесс IEC Certification Kit — Обзор жизненного цикла программного обеспечения и рабочего процесса Модельно-ориентированного проектирования.
Simulink® Check™ Reference Workflow — Интегрирование Simulink Check в рабочий процесс Модельно-ориентированного проектирования.
Рабочий процесс Simulink Coverage™ — Интегрирование Simulink Coverage в рабочий процесс Модельно-ориентированного проектирования.
Рабочий процесс Simulink Requirements™ — Интегрирование Simulink Requirements в рабочий процесс Модельно-ориентированного проектирования.
Рабочий процесс Simulink Design Verifier™ — Интегрирование Simulink Design Verifier в рабочий процесс Модельно-ориентированного проектирования.
Рабочий процесс Simulink Test™ — Интегрирование Simulink Test в рабочий процесс Модельно-ориентированного проектирования.
Polyspace® Bug Finder™ и Рабочий процесс Polyspace Bug Finder Server™ — Интегрирование продуктов Polyspace Bug Finder в рабочий процесс Модельно-ориентированного проектирования.
Polyspace Code Prover™ и Рабочий процесс Polyspace Code Prover Server — Интегрирование Кода Polyspace Proverproducts в рабочий процесс Модельно-ориентированного проектирования.
Embedded Coder® Reference Workflow — Интегрирование Embedded Coder в рабочий процесс Модельно-ориентированного проектирования.
Рабочий процесс Simulink PLC Coder™ — Интегрирование Simulink PLC Coder в рабочий процесс Модельно-ориентированного проектирования.
Чтобы получить доступ к документам Рабочего процесса, откройте Менеджера артефактов и выберите папку продукта.
В следующей таблице перечислены доступные документы рабочего процесса.
| Документ рабочего процесса | Файл |
|---|---|
| Рабочий процесс IEC Certification Kit | certkitiec_workflow.pdf |
| Рабочий процесс Simulink Check | certkitiec_slchk_workflow.pdf |
| Рабочий процесс Simulink Coverage | certkitiec_slcov_workflow.pdf |
| Рабочий процесс Simulink Requirements | certkitiec_slreq_workflow.pdf |
| Рабочий процесс Simulink Design Verifier | certkitiec_sldv_workflow.pdf |
| Рабочий процесс Simulink Test | certkitiec_sltest_workflow.pdf |
| Polyspace Bug Finder и рабочий процесс Polyspace Bug Finder Server | certkitiec_bugfinder_workflow.pdf |
| Код Polyspace Proverand рабочий процесс Polyspace Code Prover Server | certkitiec_codeprover_workflow.pdf |
| Встроенный рабочий процесс CoderReference | certkitiec_ecoder_workflow.pdf |
| Рабочий процесс Simulink PLC Coder | certkitiec_plccoder_workflow.pdf |
