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