Можно проверить, что ваша модель или подсистема соответствуют выбранным аспектам стандарта безопасности DO-254, запустив Model Advisor.
Чтобы проверить податливость стандартам DO, откройте Model Advisor и запустите проверки в By Task > Modeling Standards for DO-254.
Для получения информации о DO-254 факторах сертификации бортовых систем и оборудования и соответствующих стандартах смотрите Радиотехническую комиссию по аэронавтике (RTCA).
В приведенной ниже таблице перечислены DO-254 проверки.
Ниже приведены Моделирование систем повышенной надежности проверки, применимые к DO-178C/DO-331 стандартам.
Можно проверить, что ваша модель или подсистема соответствует выбранным аспектам стандарта безопасности High Integrity System Model, запустив Model Advisor.
Чтобы проверить податливость стандартам High Integrity System Model, запустите проверки высокой целостности от By Task > Modeling Standards for DO-254 > High-Integrity Systems
В приведенной ниже таблице перечислены проверки Системной модели высокой целостности и их соответствующие руководства по моделированию, поддержка DO-254 стандарта безопасности. Для получения дополнительной информации о High-Integrity Руководства по Моделированию, см. Моделирование систем повышенной надежности.
HDL-код Advisor и Model Advisor проверяют в HDL, Coder™ проверить и обновить Simulink® модель или подсистема для совместимости с генерацией HDL-кода. Code Advisor проверяет:
Моделируйте настройки конфигурации
Порты и настройки подсистемы
Блоки и настройки блоков
Собственная поддержка с плавающей точкой
Отраслевые стандартные инструкции
В следующей таблице перечислены проверки HDL-код Advisor, поддерживаемые стандартами безопасности 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 блоки, которые используются для перехода скорости. Замените эти блоки фактическими блоками Rate Transition. |
| Проверьте неподдерживаемый класс памяти для сигнальных объектов (HDL Coder) | Проверяйте, является ли класс памяти объекта сигнала 'ExportedGlobal' или 'ImportedExtern' или 'ImportedExternPointer' |
| Проверьте расширение файла (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-кода. |
| Проверяйте на двойные типы данных в модели с Native Floating Point (HDL Coder) | Проверяйте на double типы данных в модели. |
| Проверяйте блоки преобразования типов данных с несовместимыми настройками (HDL Coder) | Проверяйте режим преобразования блоков Data Type Conversion. |
| Проверяйте на использование HDL- блока (HDL Coder) | Проверяйте, HDL Reciprocal блоки не используют типы с плавающей точкой. |
| Проверяйте использование блоков реляционных операторов (HDL Coder) | Проверяйте, Relational Operator блоки, которые используют типы с плавающей точкой, имеют логические выходы. |
| Проверяйте неподдерживаемые блоки с собственной плавающей точкой (HDL Coder) | Проверьте неподдерживаемые блоки с собственной плавающей точкой. |
| Проверяйте блоки, которые имеют ненулевую выходную задержку (HDL Coder) | Проверяйте блоки, которые имеют ненулевую выходную задержку с собственной плавающей точкой. |
| Проверяйте блоки с ненулевой ошибкой ulp (HDL Coder) | Проверяйте блоки, которые имеют ненулевую ошибку ulp с собственной плавающей точкой. |
| Проверяйте на наличие одиночных типов данных в модели (HDL Coder) | Проверяйте на single типы данных в модели. |
| Проверяйте начальные условия Enabled и Triggered подсистем (HDL Coder) | Проверяйте начальное условие Enabled и Triggered подсистем. |
| Проверьте наличие недопустимой подсистемы верхнего уровня (HDL Coder) | Проверьте наличие подсистем, которые не могут быть на верхнем уровне для генерации HDL-кода. |