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

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

  • На вкладке Modeling выберите Model Advisor.

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

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

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

By Task папкуПроверки Model Advisor

Modeling Standards for MAB

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

Code Generation Efficiency

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

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

Идентифицируйте сомнительное программное обеспечение окружения спецификации

Идентифицируйте сомнительные отладки кода (ввод-вывод данных)

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

Идентифицируйте блоки, которые генерируют дорогой округляющий код

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

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

Modeling Standards for

  • IEC 61508, IEC 62304, ISO 26262, and EN 50128

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

Modeling Standards for DO-178C/DO-331

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

Проверяйте аппаратную реализацию

Идентифицируйте сомнительные настройки подсистемы

Modeling Guidelines for MISRA C:2012

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

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

Проверяйте блоки, не рекомендуемые для MISRA C:2012

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

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

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

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

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

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

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

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

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

Modeling Guidelines for secure coding standards (CERT C, CWE, ISO/IEC TS 17961)

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

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

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

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

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

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

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

Проверяйте целочисленный размер слова

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

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

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

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

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

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

Похожие темы