exponenta event banner

Embedded Coder Model Advisor проверяет стандарты, рекомендации и эффективность кода

Для проверки соответствия модели рекомендациям, стандартам и готовности к созданию кода можно использовать проверки Model Advisor, доступные в Embedded Coder ®.

  • На вкладке Моделирование (Modeling) выберите Помощник по модели (Model Advisor).

  • В окне Мастер модели (Model Advisor) разверните папку По заданию (By Task). Папка содержит проверки, которые можно выполнить для выполнения задачи.

Дополнительные сведения о модуле Model Advisor см. в разделе Выполнение проверок модуля Model Advisor.

В таблице приведены сводные данные проверок Embedded Coder Model Advisor, доступных в папках By Task.

По папке задачПроверки Model Advisor

Стандарты моделирования для MAB

Проверка блоков, не рекомендованных для развертывания производственного кода C/C + +

Эффективность генерации кода

Определение блоков таблицы подстановки, генерирующих дорогостоящий код проверки за пределами диапазона

Проверка типов вывода логических блоков

Определение сомнительных спецификаций среды программного обеспечения

Определение сомнительного кода (ввод-вывод данных)

Определение блоков, генерирующих дорогостоящий код с фиксированной точкой и код насыщения

Определение блоков, генерирующих дорогостоящий код округления

Определение сомнительных операций с фиксированной точкой

Проверка параметров конфигурации для формирования неэффективного кода насыщения

Стандарты моделирования для

  • МЭК 61508, МЭК 62304, ISO 26262 и EN 50128

Проверка блоков, не рекомендованных для развертывания производственного кода C/C + +

Стандарты моделирования для DO-178C/DO-331

Проверка блоков, не рекомендованных для развертывания производственного кода C/C + +

Проверка реализации аппаратных средств

Определение сомнительных настроек подсистемы

Руководство по моделированию для MISRA C:2012

Проверьте параметры конфигурации для MISRA C:2012

Проверка блоков, не рекомендованных для развертывания производственного кода C/C + +

Проверить наличие блоков, не рекомендованных для MISRA C:2012

Проверка неподдерживаемых имен блоков

Проверка использования блоков назначения

Проверка выражений вариантов переключения без варианта по умолчанию

Проверка отсутствующих портов ошибок для интерфейсов приемника AUTOSAR

Проверка побитовых операций со подписанными целыми числами

Проверка рекурсивных вызовов функций

Проверка операций равенства и неравенства для значений с плавающей запятой

Проверка отсутствующих квалификаторов const в функциях модели

Проверка имен объектов шины, используемых в качестве имен элементов

Руководство по моделированию стандартов безопасного кодирования (CERT C, CWE, ISO/IEC TS 17961)

Проверка параметров конфигурации для стандартов безопасного кодирования

Проверка блоков, не рекомендованных для развертывания производственного кода C/C + +

Проверка блоков, не рекомендованных для стандартов безопасного кодирования

Проверка использования блоков назначения

Проверка выражений вариантов переключения без варианта по умолчанию

Проверка побитовых операций со подписанными целыми числами

Проверка операций равенства и неравенства для значений с плавающей запятой

Проверить длину целого слова

При наличии лицензии Simulink ® Design Verifier™ доступны также следующие проверки .

Обнаружение неработающей логики (Simulink Design Verifier)

Обнаружение переполнения целых чисел (Simulink Design Verifier)

Обнаружение деления по нулю (Simulink Design Verifier)

Обнаружение недоступного доступа к массиву (Simulink Design Verifier)

Обнаружение нарушения указанных минимальных и максимальных значений (Simulink Design Verifier)

Связанные темы