Можно проверять, что модель или подсистема выполняют выбранные аспекты стандарта безопасности DO-254 путем выполнения Model Advisor.
Чтобы проверить соответствие стандартам DO, откройте Model Advisor и запустите регистрации By Task> Modeling Standards for DO-254.
Для получения информации о факторах DO-254 программного обеспечения в Бортовых Системах и Сертификации оборудования и связанных стандартах, смотрите Радио-Техническую Комиссию для Аэронавтики (RTCA).
Таблица ниже приводит проверки DO-254.
Следующее является проверками Моделирования систем повышенной надежности, которые применимы для DO-178C/DO-331 стандарты.
Можно проверять, что модель или подсистема выполняют выбранные аспекты Высокого стандарта безопасности Системной модели Целостности путем выполнения Model Advisor.
Чтобы проверить соответствие Высоким стандартам Системной модели Целостности, запустите высокие проверки целостности от By Task> Modeling Standards for DO-254> High-Integrity Systems
Таблица ниже приводит Высокие проверки Системной модели Целостности и их соответствующие руководства по моделированию тот стандарт безопасности DO-254 поддержки. Для получения дополнительной информации о Руководствах по моделированию Высокой Целостности, смотрите Моделирование систем повышенной надежности.
Советник по вопросам HDL-кода и Model Advisor регистрируются в HDL Coder™, проверяют и обновляют вашу модель Simulink® или подсистему для совместимости с генерацией HDL-кода. У Советника Кода есть проверки на:
Настройки конфигурации модели
Настройки Ports и Subsystem
Блоки и настройки блока
Нативная поддержка С плавающей точкой
Инструкции по промышленному стандарту
В следующей таблице перечислены Советника по вопросам HDL-кода проверки, которые поддерживаются DO 254 Стандарта безопасности:
| Советник по вопросам HDL-кода проверки | Описание |
|---|---|
| Проверяйте на источники времени бесконечной и непрерывной выборки (HDL Coder) | Проверяйте исходные блоки со временем непрерывной выборки. |
| Проверяйте на неподдерживаемые блоки (HDL Coder) | Проверяйте на неподдерживаемые блоки для генерации HDL-кода. |
| Проверяйте на большие операции над матрицей (HDL Coder) | Проверяйте на большие операции над матрицей. |
| Идентифицируйте несвязанные линии, входные порты и выходные порты | Проверяйте на несвязанные линии или порты. |
| Идентифицируйте отключенные ссылки библиотеки | Поисковая модель для отключенных ссылок библиотеки. |
| Идентифицируйте неразрешенные ссылки библиотеки | Ищите модель неразрешенные ссылки библиотеки, где заданный библиотечный блок не может быть найден. |
| Проверяйте на настройки блока MATLAB function (HDL Coder) | Проверяйте HDL совместимые настройки на блоки MATLAB Function. |
| Проверяйте на настройки диаграммы Stateflow (HDL Coder) | Проверяйте HDL совместимые настройки на блоки Stateflow® Chart. |
| Проверяйте, что Задержка, Unit Delay и Нулевой Порядок Содержат блоки для перехода уровня | Идентифицируйте Delay, Unit Delay или блоки Zero-Order Hold, которые используются для перехода уровня. Замените эти блоки на фактические блоки Перехода Уровня. |
| Проверяйте на неподдерживаемый класс памяти для объектов сигнала (HDL Coder) | Проверяйте, является ли классом хранения объектов сигнала 'ExportedGlobal' или 'ImportedExtern' или 'ImportedExternPointer' |
| Проверяйте расширение файла VHDL (HDL Coder) | Проверяйте расширения файла файлов VHDL, содержащих сущности. |
| Проверяйте соглашения о присвоении имен (HDL Coder) | Проверяйте стандартные ключевые слова, используемые инструментами EDA. |
| Проверяйте, что подсистема/порт верхнего уровня называет (HDL Coder) | Проверяйте модуль/сущность верхнего уровня и имена порта. |
| Проверяйте, что модуль/сущность называет (HDL Coder) | Проверяйте имена модуля/сущности. |
| Проверяйте сигнал, и порт называет (HDL Coder) | Проверяйте сигнал и длины имени порта. |
| Проверяйте имена файлов пакета (HDL Coder) | Проверяйте имя файла, содержащее пакеты. |
| Проверяйте дженерики (HDL Coder) | Проверяйте дженерики в подсистеме верхнего уровня. |
| Проверяйте часы, сбросьте и включите сигналы (HDL Coder) | Проверяйте соглашение о присвоении имен на часы, сбросьте и включите сигналы. |
| Проверяйте имя архитектуры (HDL Coder) | Проверяйте имя архитектуры VHDL в сгенерированный HDL-код. |
| Проверяйте сущность и архитектуру (HDL Coder) | Проверяйте, описаны ли сущность VHDL и архитектура в том же файле. |
| Проверяйте установки часов (HDL Coder) | Проверочные ограничения на сигналы часов. |
| Проверяйте модель на внешние символы | Ищите модель неразрешенные ссылки библиотеки, где заданный библиотечный блок не может быть найден. |
| Проверяйте на глобальную установку сброса для устройств Xilinx и Altera (HDL Coder) | Проверяйте асинхронную установку сброса на устройства Altera® и синхронную установку сброса для устройств Xilinx®. |
| Проверяйте встроенные настройки, устанавливающие (HDL Coder) | Проверяйте, есть ли у вас InlineConfigurations активированный. |
| Проверяйте алгебраические циклы (HDL Coder) | Проверяйте модель на алгебраические циклы. |
| Проверяйте на настройки визуализации (HDL Coder) | Проверяйте модель на настройки отображения: типы данных порта и расцветка шага расчета. |
| Проверяйте установку балансировки задержки (HDL Coder) | Проверяйте, что Задержки Баланса включены. |
Проверяйте на параметры модели, которым удовлетворяют для генерации HDL-кода (HDL Coder) | Проверяйте на параметры модели, настроенные для генерации HDL-кода. |
| Проверяйте на двойные типы данных в модели с Нативной Плавающей точкой (HDL Coder) | Проверяйте на double типы данных в модели. |
| Проверяйте на блоки Преобразования типа данных с несовместимыми настройками (HDL Coder) | Проверяйте режим преобразования блоков Преобразования типа данных. |
| Проверяйте на использование блока HDL Reciprocal (HDL Coder) | Проверяйте, что блоки HDL Reciprocal не используют типы с плавающей точкой. |
| Проверяйте на использование блока Relational Operator (HDL Coder) | Проверяйте блоки Relational Operator, которые используют типы с плавающей точкой, имеют булевы выходные параметры. |
| Проверяйте на неподдерживаемые блоки с Нативной Плавающей точкой (HDL Coder) | Проверяйте на неподдерживаемые блоки с собственным компонентом, с плавающей точкой. |
| Проверяйте на блоки, которые имеют ненулевую выходную задержку (HDL Coder) | Проверяйте на блоки, которые имеют ненулевую выходную задержку с собственным компонентом, с плавающей точкой. |
| Проверяйте блоки с ненулевой ulp ошибкой (HDL Coder) | Проверяйте на блоки, которые имеют ненулевую ulp ошибку с собственным компонентом, с плавающей точкой. |
| Проверяйте на один типы данных в модели (HDL Coder) | Проверяйте на single типы данных в модели. |
| Проверяйте начальные условия Enabled и Triggered подсистем (HDL Coder) | Проверяйте на начальное условие Enabled и Triggered подсистем. |
| Проверяйте на недопустимую подсистему верхнего уровня (HDL Coder) | Проверяйте на подсистемы, которые не могут быть в верхнем уровне для генерации HDL-кода. |