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