Эта таблица содержит сводные данные целей планирования от 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 | Должен включать инструменты Model-Based Design, используемые в процессы жизненного цикла |
| 4 | Средние значения податливости аппаратных целей обеспечения проекта предложены сертифицирующим органам. | 4.1(4) | A, B, C, D | Должен задать кредит, взятый для Модельно-ориентированного проектирования относительно целей. |
Следующие разделы описывают потенциальные удары для каждой цели при использовании Модельно-ориентированного проектирования, если применимо, по сравнению с традиционной разработкой.
Необходимо задать Модельно-ориентированное проектирование как одно из действий в аппаратном процессе разработки. Модели обычно используются, чтобы представлять оборудование концептуальный проект. HDL-код представляет аппаратное детальное проектирование.
Можно обратиться к контролю изменений и управлению конфигурацией моделей и HDL-кода во время процесса планирования.
Поскольку модели могут представлять концептуальный проект (см. раздел Hardware Design Life Cycle Processes Are Defined), можно использовать стандарты моделирования, чтобы удовлетворить целям стандартов требований. Используйте инструкции по Моделированию систем повышенной надежности и правила Средства проверки Модели HDL как начальная точка для проекта, моделируя стандарты. Чтобы проверить податливость к стандартам моделирования, используйте Model Advisor и/или человеческие отзывы.
Необходимо задать инструменты Model-Based Design, которые вы используете в процессах разработки и процессах проверки. Эти инструменты могут включать:
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®.
