В этом разделе описывается рабочий процесс конструирования на основе модели, в котором рассматриваются действия по разработке и проверке в DO-254 жизненном цикле оборудования.
На рис. 4 показаны основные артефакты разработки аппаратного обеспечения, а также действия и артефакты. Сплошные горизонтальные стрелки указывают на последовательность действий по разработке аппаратного обеспечения.
Рис. 4. Артефакты и действия по разработке основного оборудования
В этой таблице перечислены продукты MathWorks ® и их возможности, которые можно использовать для поддержки основных задач разработки оборудования в рабочем процессе.
| Действие рабочего процесса | Продукты и возможности для конструирования на основе моделей |
|---|---|
| Разработка требований | Simulink ® Requirements™ |
| Разработка модели | MATLAB ®, Simulink, Stateflow ® и Designer™ с фиксированной точкой |
| Разработка кода HDL | Coder™ ЛПВП |
На фиг.5 показаны действия верификации, которые соответствуют основным артефактам разработки аппаратных средств и действиям, показанным на фиг.4.
Рис. 5: Апробация и проверка артефактов и действий
В этой таблице перечислены продукты MathWorks и их возможности, которые можно использовать для поддержки основных операций проверки рабочего процесса.
| Действие рабочего процесса | Продукты и возможности для конструирования на основе моделей |
|---|---|
| Проверка требований | Требования к симуляторам |
| Проверка модели | Simulink Check™, Simulink Test™, Simulink Coverage™ и Simulink Design Verifier™ |
| Проверка кода HDL | Verifier™ ЛПВП |
| Проверка аппаратных средств | Верификатор HDL |
| * Вы можете использовать набор DO Qualification Kit для поддержки DO-254 квалификации инструмента. | |