Проверка совместимости моделей

При разработке модели, из которой вы намерены сгенерировать код, который будет проверен с помощью Simulink® Code Inspector™ можно пошагово и итерационно проверить модель на совместимость с правилами Simulink Code Inspector. Проверка совместимости моделей может значительно сократить количество времени для достижения удовлетворительных результатов инспекции кода путем раскрытия проблем на ранних этапах процесса разработки модели. Проверки совместимости также продвигают модели, блоки и шаблоны использования кодера, которые, как правило, соответствуют потребностям приложений повышенной надежности, таких как поддержание высокой степени трассируемости.

Во время проверки совместимости модели программное обеспечение проверяет настройки строения и конфигурации блоков, которые помогают создать представление в памяти модели, которое совместимо с правилами Simulink Code Inspector. Можно задать модели и блокировать параметры конфигурации множеством различных способов и создать совместимое представление в памяти. Совместимость проверяет скан на наличие подмножества таких способов. Хотя модель может не пройти проверку совместимости и все еще пройти проверку, прохождение проверки совместимости увеличивает вероятность удовлетворительной инспекции кода.

Проверки совместимости ищут условия, которые нарушают ограничения Simulink Code Inspector на параметрах конфигурации модели, других атрибутах всей модели и использовании блоков. Элементы, затронутые ограничениями Simulink Code Inspector, включают:

  • Параметры модели для

    • Использование решателя

    • Импорт/экспорт данных

    • Оптимизация

    • Диагностика

    • Аппаратная реализация

    • Модели-ссылки

    • Генерация кода

  • Атрибуты всей модели

    • Несвязанные объекты

    • Спецификации функций

    • Моделируйте аргументы

    • Неподдерживаемые блоки

    • Настраиваемые переменные рабочей области

    • Шаги расчета

    • Глобальные данные

    • Инструментирование с фиксированной точкой

    • Использование корневого порта

    • Использование шины

  • Использование блоков

    • Типы данных и порты

    • Параметры блоков

  • Stateflow® использование объекта

    • Чарты

    • Данные и события

    • Соединения

    • Государства

    • Переходы

Для получения подробного описания ограничений Simulink Code Inspector и соответствующих проверок совместимости моделей смотрите:

Чтобы инициировать проверку совместимости для вашей модели, можно сделать любое из следующих:

Если ваша модель может использоваться в качестве модели-ссылки, в окне SLCI Advisor, рассмотрите выбор Settings > Treat as Referenced Model. Модели, на которые ссылаются, компилируются по-другому, чем модели, на которые нет ссылок. Проверки совместимости обеспечивают установку рекомендаций на основе различных методов компиляции.

Проверка совместимости модели генерирует подробный отчет HTML для каждой проверенной модели. Если вы проверяли модели в иерархии модели-ссылки, программное обеспечение сообщает сводный статус в MATLAB® Командная строка и отображения сводный HTML отчет. Можно щелкнуть ссылки в сводном отчете HTML, чтобы просмотреть подробный отчет Model Advisor для каждой модели и модели-ссылки, которая была проверена. Если вы проверили только одну модель, подробные результаты модели отображаются непосредственно в диалоговом окне Model Advisor.

Simulink Code Inspector не запускает пользовательские проверки Model Advisor, которые вы добавляете к проверкам совместимости.

В подробных результатах объясняется результат каждой проверки, и если вам нужно исправить модель, предусмотрены рекомендуемые действия. Доступные проверки совместимости моделей перечислены в порядке отчета и описаны в ссылке Simulink Code Inspector Checks.

Похожие темы