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

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

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

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

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

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

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

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

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

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

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

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

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

Modeling Guidelines for secure coding standards (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)

Похожие темы