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