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

Поддержите ограничения для программных функций Simulink

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

Не поддерживаемый	Описание
Решатели переменного шага	Программное обеспечение поддерживает только решатели фиксированного шага. Для получения дополнительной информации смотрите Фиксированные Решатели Шага в Simulink (Simulink).
Функции обратного вызова	Программное обеспечение не выполняет функции обратного вызова модели во время анализа. Результаты, которые анализ генерирует, такие как модель тестовой обвязки, могут вести себя противоречиво с ожидаемым поведением. Если модель или какая-либо модель, на которую ссылаются, вызывают функцию обратного вызова, которая изменяет любые параметры блоков, параметры модели или переменные рабочей области, анализ не отражает те изменения. Изменение класса памяти переменных базового рабочего пространства на функциях обратного вызова модели или инициализациях маски не поддержано. Функции обратного вызова называются до анализа, такие как `PreLoadFcn` или `PostLoadFcn` коллбэки модели, полностью поддержаны.
Функции обратного вызова модели	Программное обеспечение только поддерживает функции обратного вызова модели если `InitFcn` коллбэк модели пуст.
Алгебраические циклы	Программное обеспечение не делает моделей поддержки, которые содержат алгебраические циклы. Для получения дополнительной информации смотрите Алгебраические Концепции Цикла (Simulink).
Функции инициализации подсистемы маскированные	Программное обеспечение не делает моделей поддержки, чья инициализация подсистемы маскированная изменяет любой атрибут любого параметра рабочей области.
Сигналы переменного размера	Программное обеспечение не поддерживает сигналы переменного размера. Сигнал переменного размера является сигналом, размер которого (число элементов в размерности), в дополнение к ее значениям, может измениться во время выполнения модели. Для получения дополнительной информации смотрите Основы Сигнала Переменного Размера (Simulink).
Типы данных с фиксированной точкой многословные	Программное обеспечение не поддерживает типы данных с фиксированной точкой многословные, больше, чем 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`. Для получения дополнительной информации смотрите Основы Симуляции (Simulink).
Неличные данные	Программное обеспечение не поддерживает неличные данные (например, `NaN` и `Inf`) и связанные операции. В блоке Relational Operator программное обеспечение присваивает выход можно следующим образом: Если параметром Relational operator является `isFinite`, выход всегда равняется 1. Если параметром Relational operator является `isNan` или `isInf`, выход всегда 0. В блоке MATLAB Function программное обеспечение присваивает возвращаемое значение можно следующим образом: Для `isFinite` функция, выход всегда равняется 1. Для `isNan` и `isInf` функции, выход всегда 0.
Параллельное выполнение	Программное обеспечение не делает моделей поддержки, которые сконфигурированы для параллельного выполнения.
Сигналы с ненулевым шагом расчета возмещены	Программное обеспечение не делает моделей поддержки с сигналами, которые имеют ненулевые смещения шага расчета.
Модели без выходных портов	Программное обеспечение только поддерживает модели, которые имеют один или несколько выходных портов.
Большие константы с плавающей точкой вне области значений `[-realmax/2, realmax/2]`	Использование больших констант с плавающей точкой может вызвать из ошибок памяти или существенной потери точности. Избегайте использования таких констант, если это возможно.
Символьные размерности	Программное обеспечение не поддерживает символьные размерности для генерации тестов, доказательства свойства или поиска ошибок проектирования.
Строки Simulink	Модели, которые содержат блоки с типами данных String как параметры блоков, не поддержаны. Для получения дополнительной информации смотрите Строки Simulink (Simulink).
Упорядоченные по строкам алгоритмы	Программное обеспечение не поддерживает упорядоченные по строкам алгоритмы для симуляции блока. Для получения дополнительной информации смотрите, алгоритмы Использования, оптимизированные для упорядоченного по строкам размещения массивов (Simulink). Модель несовместима для анализа Simulink Design Verifier когда в Configuration Parameters: В Code Generation> панель Interface, параметр Array layout устанавливается на `Row-major`. В панели Math and Data types, параметр `Use algorithms optimized for Row-major array layout` установлен в `on`. Simulink Design Verifier отобразит сообщение несовместимости, если модель будет содержать блок MATLAB Function, который использует `coder.rowMajor` директива.

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

Поддержка