Simulink® Design Verifier™ поддерживает блок Model со следующими ограничениями. Программное обеспечение не может анализировать модель, содержащую один или несколько блоков Model, если:
Ссылка на модель защищена. Защищенные модели кодируются, чтобы скрыть их содержимое. Это позволяет третьим лицам использовать модель-ссылку, не имея возможности просмотреть интеллектуальное свойство, которая составляет модель.
Для получения дополнительной информации смотрите Ссылки Защищенные Модели от Третьих Сторон.
Родительская модель или любая из моделей, на которые ссылаются, возвращают ошибку, когда Вы устанавливаете Configuration Parameters> Diagnostics> Connectivity> Element name mismatch параметр к error.
Можно использовать диагностику Element name mismatch наряду с объектами шины, чтобы модель соответствовала требованиям к именованию элемента шины, предъявляемым некоторыми блоками.
Блок Model использует асинхронные входы вызова функции.
Любой из блоков Model в иерархии модели-ссылки создает искусственный алгебраический цикл. Если это происходит, выполните следующие шаги:
На Diagnostics панели диалогового окна Параметров конфигурации установите параметр Minimize algebraic loop равным error так что Simulink сообщает об алгебраической ошибке цикла.
На панели Model Referencing диалогового окна Параметров конфигурации выберите параметр Minimize algebraic цикла вхождений.
Simulink пытается исключить искусственный алгебраический цикл во время симуляции.
Симулируйте модель.
Simulink удалит алгебраический цикл, если это возможно. Если Simulink не может удалить искусственный алгебраический цикл, выделите местоположение алгебраического цикла, откроя вкладку Modeling и в Compile разделе нажав Update Model.
Удалите искусственный алгебраический цикл, чтобы программное обеспечение могло анализировать модель. Разорвать цикл с блоками Unit Delay так, чтобы порядок выполнения был предсказуемым.
Примечание
Для получения дополнительной информации см. Алгебраические Циклы Концепций.
Родительская модель и модель-ссылка имеют несовпадающие настройки переопределения типа данных. Настройка переопределения типа данных родительской модели и ее моделей-ссылок должна быть такой же, если только настройка переопределения типа данных родительской модели не Use local settings. Можно сконфигурировать параметры переопределения типа данных, чтобы симулировать модель, которая задает типы данных с фиксированной точкой. Используя эту настройку, во время симуляции программное обеспечение временно переопределяет типы данных типами данных с плавающей точкой.
set_param('MyModel','DataTypeOverride','Double')
set_param.Чтобы наблюдать истинное поведение вашей модели, установите параметр переопределения типа данных равным UseLocalSettings или Off.
set_param('MyModel','DataTypeOverride','Off')
Ссылочная модель является блоком Модели-ссылки с входными портами виртуальной шины, и сигналы в шине не все имеют одинаковые шаги расчета при компиляции. Чтобы сделать модель совместимой с анализом Simulink Design Verifier, преобразуйте порт в невиртуальную шину или задайте явный шаг расчета для порта.
Когда вы запускаете анализ на Model блоке, тогда код, сгенерированный как верхняя часть, не поддерживается.