Этот раздел обрисовывает в общих чертах рабочий процесс Модельно-ориентированного проектирования, который обращается к действиям разработки и верификации в аппаратном 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. | |