Рабочий процесс модельно-ориентированного проектирования в DO-254

В этом разделе описывается Модельно-ориентированное проектирование процесс, который касается действий по разработке и верификации в DO-254 жизненном цикле оборудования.

Обзор рабочего процесса модельно-ориентированного проектирования: действия по разработке оборудования

Фигура 4 иллюстрирует программные продукты разработки основного оборудования и действия и программные продукты. Твердые, горизонтальные стрелы указывают на последовательность оборудования деятельности в области развития.

Фигура 4: Программные продукты и действия разработки основного оборудования

В этой таблице перечислены MathWorks® продукты и их возможности, которые можно использовать для поддержки основных действий по разработке оборудования в рабочем процессе.

Действие рабочего процессаПродукты и возможности для модельно-ориентированного проектирования
Разработка требований Simulink® Requirements™
Разработка моделиMATLAB®, Simulink, Stateflow®, и Fixed-Point Designer™
Разработка HDL-кода HDL Coder™

Обзор рабочего процесса модельно-ориентированного проектирования: операции верификации

На фигуре 5 показаны операции верификации, которые соответствуют программным продуктам разработки основного оборудования и действиям, показанным на фигуре 4.

Фигура 5: Программные продукты и действия валидации и верификации

В этой таблице перечислены продукты MathWorks и их возможности, которые можно использовать для поддержки основных операций верификации рабочего процесса.

Действие рабочего процессаПродукты и возможности для модельно-ориентированного проектирования
Верификация требований Simulink Requirements
Верификация моделиSimulink Check™, Simulink Test™, Simulink Coverage™ и Simulink Design Verifier™
Верификация HDL-кода HDL Verifier™
Аппаратные верификации HDL Verifier
* Вы можете использовать DO Qualification Kit для поддержки DO-254 квалификации инструмента.