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

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

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

Не поддерживается	Описание
Решатели с переменным шагом	Программное обеспечение поддерживает только решатели с фиксированным шагом. Дополнительные сведения см. в разделе Решатели фиксированных шагов в Simulink.
Функции обратного вызова	Во время анализа программное обеспечение не выполняет функции обратного вызова модели. Результаты анализа, такие как модель кабельных трасс, могут вести себя несовместимо с ожидаемым поведением. Если модель или какая-либо ссылочная модель вызывает функцию обратного вызова, которая изменяет параметры блока, параметры модели или переменные рабочей области, анализ не отражает эти изменения. Изменение класса хранения базовых переменных рабочей области для функций обратного вызова модели или инициализаций маски не поддерживается. Функции обратного вызова, вызываемые до анализа, такие как `PreLoadFcn` или `PostLoadFcn` обратные вызовы модели полностью поддерживаются.
Функции обратного вызова модели	Программное обеспечение поддерживает функции обратного вызова модели только в том случае, если `InitFcn` обратный вызов модели пуст.
Алгебраические петли	Программное обеспечение не поддерживает модели, содержащие алгебраические циклы. Дополнительные сведения см. в разделе Концепции алгебраического цикла.
Функции инициализации маскированной подсистемы	Программное обеспечение не поддерживает модели, инициализация маскированной подсистемы которых: Изменяет любой атрибут любого параметра рабочей области. Удаление или создание блоков.
Сигналы переменного размера	Программное обеспечение не поддерживает сигналы переменного размера. Сигнал переменного размера - это сигнал, размер которого (количество элементов в измерении), помимо его значений, может изменяться при выполнении модели. Дополнительные сведения см. в разделе Основы сигналов переменного размера.
Многословные типы данных с фиксированной точкой	Программное обеспечение не поддерживает многословные типы данных с фиксированной точкой размером более 128 бит.
Ненулевое время начала	Хотя Simulink позволяет задать ненулевое время начала моделирования, анализ генерирует данные сигнала, которые начинаются только с нуля. Если модель указывает ненулевое время начала: Если в сгенерированном параметре кабельных трасс не выбрана ссылочная входная модель (по умолчанию), модель кабельных трасс является подсистемой. Анализ устанавливает время начала модели кабельных трасс равным 1 и продолжает анализ. Если выбран параметр Ссылочная входная модель (Reference input model) в сгенерированном кабельном жгуте, блок модели ссылается на модель электрического жгута. Программа не может изменить время начала модели кабельных трасс, поэтому анализ останавливается, и появляется рекомендация установить для параметра Время начала значение 0. Simulink Design Verifier предполагает нулевое время начала анализа и генерирует данные сигнала, начинающиеся с нуля. Нулевое время начала может повлиять на отчетность о состоянии цели. Например, при анализе генерации теста программное обеспечение может сообщать о некоторых целях как `Undecided with Testcases`. Дополнительные сведения см. в разделе Основы моделирования.
Неокончательные данные	Программное обеспечение не поддерживает неготовые данные (например, `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	Модели, содержащие блоки со строковыми типами данных в качестве параметров блоков, не поддерживаются. Дополнительные сведения см. в разделе Строки Simulink.
Настройка параметров	Программа не поддерживает настройку параметров, определенных в рабочей области модели.
Основные алгоритмы строк	Программное обеспечение не поддерживает модели, содержащие системные блоки MATLAB, которые используют `coder.rowMajor` директива. Дополнительные сведения см. в разделе Использование алгоритмов, оптимизированных для компоновки основных массивов строк.

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

Поддержка