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