В этой таблице содержится сводная информация о целях планирования из 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 Advisor и/или обзоры персонала.
Необходимо определить инструменты конструирования на основе модели, которые используются в процессах разработки и проверки. Эти инструменты могут включать:
MATLAB ®
Симулинк ®
Поток данных Stateflow ®
Designer™ с фиксированной точкой
Coder™ ЛПВП
Verifier™ ЛПВП
Симулинк Check™
Симулинк Coverage™
Симулинк Requirements™
Симулинк Test™
Verifier™ проектирования Simulink
Отчет MATLAB Generator™
Генератор отчетов Simulink
Сертификационные органы должны согласиться с кредитованием сертификации для использования процессов или инструментов проектирования на основе моделей. Должны быть определены квалифицированные инструменты конструирования на основе модели в качестве инструментов разработки или проверки, а также определены действия по квалификации инструментов.
Набор DO Qualification Kit можно использовать для проверки инструментов MathWorks ®.