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. Можно сконфигурировать настройки переопределения типа данных, чтобы симулировать модель, которая задает типы данных с фиксированной точкой. Используя эту установку, программное обеспечение временно заменяет типы данных с типами данных с плавающей точкой в процессе моделирования.
set_param('MyModel','DataTypeOverride','Double')
set_param.Чтобы наблюдать истинное поведение вашей модели, установите параметр переопределения типа данных на UseLocalSettings или Off.
set_param('MyModel','DataTypeOverride','Off')
Модель, на которую ссылаются, является блоком Model Reference с виртуальным импортом шины, и сигналы в шине все не имеют того же шага расчета при компиляции. Чтобы сделать модель совместимой с анализом Simulink Design Verifier, преобразуйте порт в невиртуальную шину или задайте явный шаг расчета для порта.
Когда вы запускаете анализ блока Model, затем код, сгенерированный, когда топ-модель не поддерживается.