В этой таблице содержатся сводные данные целей планирования, взятых из DO-254. Таблица также описывает потенциальное влияние на процесс при использовании Модельно-ориентированное проектирование.
Таблица A-1: Цели процесса планирования
| Цель | Справочные разделы | Уровни обеспечения | Влияние процесса при использовании основанного на модели проекта | |
|---|---|---|---|---|
| 1 | Оборудование проекта процессы жизненного цикла. | 4.1(1) | A, B, C, D | Должен включать Основанное на Модели Проектирование как часть процесса проекта |
| 2 | Стандарты выбираются и определяются. | 4.1(2) | A, B | Должен включать стандарты моделирования |
| 3 | Аппаратная разработка и верификация окружений выбираются или определяются. | 4.1(3) | A, B, C, D | Должны включать инструменты Модельно-ориентированное проектирование, используемые в процессах жизненного цикла |
| 4 | Средства податливости целей оборудования проекта обеспечения предлагаются сертифицирующим органам. | 4.1(4) | A, B, C, D | Необходимо определить кредит, взятый для основанного на модели проекта, в отношении целей. |
В следующих разделах описываются потенциальные влияния для каждой цели при использовании основанного на модели проекта, если применимо, по сравнению с традиционной разработкой.
Необходимо задать Модельно-ориентированное Проектирование как одно из действий в процессе разработки оборудования. Модели обычно используются, чтобы представлять оборудованию концептуальный проект. Этот HDL-код представляет подробные аппаратные проекты.
Управление изменениями и управление строением моделей и HDL-кода можно решить в процессе планирования.
Поскольку модели могут представлять концептуальный проект (см. Раздел Оборудование Проектирование Процессы Жизненного цикла Определены), можно использовать стандарты моделирования, чтобы удовлетворить целям стандартов требований. Используйте Моделирование систем повышенной надежности руководства и правила HDL Model Checker в качестве начальной точки для стандартов моделирования проекта. Чтобы проверить податливость стандартам моделирования, используйте Model Advisor и/или отзывы людей.
Необходимо определить Модельно-ориентированное проектирование инструменты, которые вы используете в процессах разработки и верификации. Эти инструменты могут включать в себя:
MATLAB®
Simulink®
Stateflow®
Fixed-Point Designer™
HDL Coder™
HDL Verifier™
Функции Simulink Check™
Функции Simulink Coverage™
Функции Simulink Requirements™
Функции Simulink Test™
Simulink Design Verifier™
MATLAB Report Generator™
Simulink Report Generator
Сертифицирующие органы должен согласиться на получение сертификационного кредита для использования Модельно-ориентированного проектирования процессов или инструментов. Необходимо идентифицировать инструменты модельно-ориентированного проектирования, которые будут квалифицированы как инструменты разработки или верификации, и определить действия по квалификации инструмента.
Вы можете использовать DO Qualification Kit в проверке MathWorks® инструменты верификации.