Можно проверить соответствие модели или подсистемы выбранным аспектам DO-254 стандарта безопасности, запустив Model Advisor.
Чтобы проверить соответствие стандартам DO, откройте мастер модели и выполните проверки в меню «По задаче» > «Стандарты моделирования для DO-254».
Для получения информации о 254 Соображений программного обеспечения в Airborne Systems и Сертификации оборудования и связанных стандартов, посмотрите Радио-Техническую Комиссию для Аэронавтики (RTCA).
В таблице ниже перечислены DO-254 проверки.
Ниже приведены проверки High-Integrity System Modeling, которые применимы для стандартов DO-178C/DO-331.
Для проверки соответствия модели или подсистемы выбранным аспектам стандарта безопасности High Integrity System Model запустите Model Advisor.
Чтобы проверить соответствие стандартам High Integrity System Model, выполните проверки высокой целостности из меню По задаче > Стандарты моделирования для DO-254 > High-Integrity Systems
В таблице ниже перечислены проверки модели системы с высокой целостностью и соответствующие рекомендации по моделированию, которые поддерживают стандарт безопасности DO-254. Дополнительные сведения о Руководстве по моделированию с высокой целостностью см. в разделе Моделирование системы с высокой целостностью.
Помощник по коду HDL и консультант по моделям проверяют в HDL Coder™ верифицируют и обновляют модель или подсистему Simulink ® на совместимость с генерацией кода HDL. Помощник по кодированию выполняет следующие проверки:
Параметры конфигурации модели
Настройки портов и подсистем
Блоки и параметры блоков
Встроенная поддержка плавающей точки
Руководство по отраслевым стандартам
В следующей таблице перечислены проверки помощника по коду HDL, которые поддерживаются стандартами безопасности DO-254:
| Проверка помощника по коду HDL | Описание |
|---|---|
| Проверка бесконечных и непрерывных источников времени выборки (кодер HDL) | Проверка исходных блоков с непрерывным временем выборки. |
| Проверка неподдерживаемых блоков (кодер HDL) | Проверьте наличие неподдерживаемых блоков для создания кода HDL. |
| Проверка больших матричных операций (кодер HDL) | Проверьте наличие больших матричных операций. |
| Идентификация несвязанных линий, портов ввода и портов вывода | Проверьте наличие неподключенных линий или портов. |
| Определение отключенных ссылок на библиотеки | Модель поиска отключенных ссылок на библиотеки. |
| Определение неразрешенных ссылок на библиотеки | Найдите в модели неразрешенные связи с библиотекой, где указанный блок библиотеки не найден. |
| Проверка настроек функционального блока MATLAB (кодер HDL) | Проверьте настройки, совместимые с HDL, для функциональных блоков MATLAB. |
| Проверьте настройки диаграммы статусов (кодер HDL) | Проверьте параметры, совместимые с HDL, для блоков диаграммы Stateflow ®. |
| Блоки проверочной задержки, единичной задержки и удержания нулевого порядка для изменения скорости | Определите блоки задержки, единичной задержки или удержания нулевого порядка, которые используются для изменения скорости. Замените эти блоки фактическими блоками Rate Transition. |
| Проверка неподдерживаемого класса хранения для сигнальных объектов (кодер HDL) | Проверьте, является ли класс хранения сигнальных объектов 'ExportedGlobal' или 'ImportedExtern' или 'ImportedExternPointer' |
| Проверка расширения файла (кодер HDL) | Проверьте расширения файлов VHDL, содержащих объекты. |
| Проверка правил именования (кодер HDL) | Проверьте стандартные ключевые слова, используемые инструментами EDA. |
| Проверка имен подсистем/портов верхнего уровня (кодер HDL) | Проверьте имена модулей/объектов верхнего уровня и портов. |
| Проверка имен модулей/объектов (кодер HDL) | Проверьте имена модулей/объектов. |
| Проверьте имена сигналов и портов (кодер HDL) | Проверьте длину имени сигнала и порта. |
| Проверка имен файлов пакетов (кодер HDL) | Проверьте имя файла, содержащего пакеты. |
| Проверка дженерик-программ (кодер HDL) | Проверьте дженерики в подсистеме верхнего уровня. |
| Проверка синхросигналов, сброс и включение сигналов (кодер HDL) | Проверьте соглашение об именовании синхросигналов, сброса и включения сигналов. |
| Проверить имя архитектуры (кодер HDL) | Проверьте имя архитектуры VHDL в сгенерированном коде HDL. |
| Проверка сущности и архитектуры (кодер HDL) | Проверьте, описаны ли объект и архитектура VHDL в одном файле. |
| Проверка настроек часов (кодер HDL) | Проверьте ограничения на тактовые сигналы. |
| Проверка модели на наличие иностранных символов | Найдите в модели неразрешенные связи с библиотекой, где указанный блок библиотеки не найден. |
| Проверка параметров глобального сброса для устройств Xilinx и Altera (кодер HDL) | Проверьте настройки асинхронного сброса для устройств Altera ® и синхронного сброса для устройств Xilinx ®. |
| Проверка настройки встроенной конфигурации (кодер HDL) | Проверьте, есть ли у вас InlineConfigurations включено. |
| Проверка алгебраических петель (кодер HDL) | Проверьте модель для алгебраических циклов. |
| Проверка параметров визуализации (кодер HDL) | Проверьте модель на наличие настроек отображения: типы данных порта и цветовое кодирование времени выборки. |
| Проверка настройки балансировки задержки (кодер HDL) | Проверка задержки остатка включена. |
Проверка параметров модели, пригодных для генерации кода HDL (кодер HDL) | Проверьте параметры модели, настроенные для генерации кода HDL. |
| Проверка двойных типов данных в модели с собственной плавающей точкой (кодер HDL) | Проверка для double типы данных в модели. |
| Проверка наличия блоков преобразования типов данных с несовместимыми настройками (кодер HDL) | Проверьте режим преобразования блоков преобразования типов данных. |
| Проверка использования блока ЛПВП (кодер ЛПВП) | Проверьте, что взаимные блоки HDL не используют типы с плавающей запятой. |
| Проверка использования блока реляционного оператора (кодер HDL) | Проверьте, имеют ли логические выходы блоки Relational Operator, использующие типы с плавающей запятой. |
| Проверка неподдерживаемых блоков с собственной плавающей точкой (кодер HDL) | Проверьте наличие неподдерживаемых блоков с собственной плавающей точкой. |
| Проверка блоков с ненулевой задержкой вывода (кодер HDL) | Проверьте наличие блоков с ненулевой задержкой вывода с собственной плавающей запятой. |
| Проверка блоков с ненулевой ошибкой ulp (кодер HDL) | Проверьте наличие блоков с ненулевой ошибкой ulp с собственной плавающей точкой. |
| Проверка отдельных типов данных в модели (кодер HDL) | Проверка для single типы данных в модели. |
| Проверка начальных состояний включенных и запускаемых подсистем (кодер ЛВП) | Проверить исходное состояние включенной и срабатывающей подсистем. |
| Проверка недопустимой подсистемы верхнего уровня (кодер HDL) | Проверьте наличие подсистем, которые не могут находиться на верхнем уровне для генерации кода HDL. |