Документация

Ограничения поддержки функций программного обеспечения Simulink

Simulink^® Design Verifier™ не поддерживает следующие функции программного обеспечения Simulink. Избегайте использования этих неподдерживаемых функций.

Не поддерживается	Описание
Решатели с переменным шагом	Программное обеспечение поддерживает только решатели с фиксированным шагом. Для получения дополнительной информации смотрите Фиксированный шаг Решателей в Simulink.
Функции обратного вызова	Программное обеспечение не выполняет функции обратного вызова модели во время анализа. Результаты, которые генерирует анализ, такие как модель тестовой обвязки, могут вести себя несовместимо с ожидаемым поведением. Если модель или любая ссылочная модель вызывает функцию обратного вызова, которая изменяет любые параметры блоков, параметры модели или переменные рабочей области, анализ не отражает эти изменения. Изменение класса памяти переменных базового рабочего пространства на функциях обратного вызова модели или инициализациях маски не поддерживается. Функции обратного вызова, вызываемые до анализа, такие как `PreLoadFcn` или `PostLoadFcn` модели коллбэков, полностью поддерживаются.
Моделируйте функции обратного вызова	Программное обеспечение поддерживает функции обратного вызова модели, только если `InitFcn` коллбэк модели пуст.
Алгебраические циклы	Программное обеспечение не поддерживает модели, которые содержат алгебраические циклы. Для получения дополнительной информации см. Алгебраические Циклы Концепций.
Функции инициализации маскированной подсистемы	Программное обеспечение не поддерживает модели, инициализация маскированной подсистемы которых: Изменяет любой атрибут любого параметра рабочей области. Удаляет или создает блоки.
Сигналы переменного размера	Программное обеспечение не поддерживает сигналы переменного размера. Сигнал переменного размера является сигналом, размер которого (количество элементов в размерность), в сложение к его значениям, может измениться во время выполнения модели. Для получения дополнительной информации см. «Основы сигнала переменного размера».
Многословные типы данных с фиксированной точкой	Программное обеспечение не поддерживает многословные типы данных с фиксированной точкой больше 128 битов.
Ненулевое время начала	Несмотря на то, что Simulink позволяет вам задать ненулевое время начала симуляции, анализ генерирует данные сигнала, которые начинаются только в нуле. Если ваша модель задает ненулевое время начала: Если вы не выбираете параметр Reference input model in generated harness (по умолчанию), модель тестовой обвязки является подсистемой. Анализ устанавливает время запуска модели тестовой обвязки равным 1 и продолжает анализ. Если вы выбираете параметр Reference input model in generated harness, Model блок ссылается на модель тестовой обвязки. Программа не может изменить время запуска модели тестовой обвязки, поэтому анализ останавливается, и вы видите рекомендацию задать параметр Start time равным 0. Simulink Design Verifier принимает нулевое время запуска для анализа и генерирует данные сигнала, который начинается с нуля. Нулевое время запуска может повлиять на отчетность об объективном состоянии. Для примера в анализе генерации тестов программное обеспечение может сообщить о некоторых целях следующим `Undecided with Testcases`. Для получения дополнительной информации см. «Основы симуляции».
Нефинитные данные	Программное обеспечение не поддерживает нефинитные данные (для примера, `NaN` и `Inf`) и сопутствующие операции. В блоке Relational Operator программное обеспечение присваивает выходы следующим образом: Если параметр Relational operator `isFinite`, выход всегда равен 1. Если параметр Relational operator `isNan` или `isInf`, выход всегда равен 0. В блоке MATLAB Function программное обеспечение присваивает возврату значение следующим образом: Для `isFinite` function, выход всегда равен 1. Для `isNan` и `isInf` functions, выход всегда равен 0.
Параллельное выполнение	Программное обеспечение не поддерживает модели, настроенные для параллельного выполнения.
Сигналы с ненулевым смещением шага расчета	Программа не поддерживает модели с сигналами, которые имеют ненулевые смещения шага расчета.
Модели без выходных портов	Программное обеспечение поддерживает только модели, которые имеют один или несколько выходных портов.
Большие константы с плавающей точкой вне области значений `[-realmax/2, realmax/2]`	Использование больших констант с плавающей точкой может привести к ошибкам памяти или существенной потере точности. Избегайте использования таких констант, если это возможно.
Символьные размерности	Программное обеспечение не поддерживает символические размерности для генерации тестов, проверки свойств или поиска ошибок проектирования.
Строки Simulink	Модели, которые содержат блоки с строками данных в качестве параметров блоков, не поддерживаются. Для получения дополнительной информации см. Раздел « Строки Simulink».
Настройка параметров	Программа не поддерживает настройку параметров для параметров, определенных в Рабочем пространстве модели.
Алгоритмы больших строк	Программное обеспечение не поддерживает модели, которые содержат блоки MATLAB System, которые используют `coder.rowMajor` директива. Для получения дополнительной информации см., Использование алгоритмов, оптимизированных для размещения массива с основной строкой.

Документация Simulink Design Verifier

Поддержка

Для просмотра документации необходимо авторизоваться на сайте