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

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

Не поддерживаемыйОписание

Решатели переменного шага

Программное обеспечение поддерживает только решатели фиксированного шага.

Для получения дополнительной информации смотрите, Выбирают Fixed-Step Solver (Simulink).

Функции обратного вызова

Программное обеспечение не выполняет образцовые функции обратного вызова во время анализа. Результаты, которые анализ генерирует, такие как модель тестовой обвязки, могут вести себя противоречиво с ожидаемым поведением.

  • Если модель или какая-либо модель, на которую ссылаются, вызывают функцию обратного вызова, которая изменяет любые параметры блоков, параметры модели или переменные рабочей области, анализ не отражает те изменения.

  • Изменение класса памяти переменных базового рабочего пространства на образцовых функциях обратного вызова или инициализациях маски не поддержано.

  • Функции обратного вызова, названные до анализа, такие как коллбэки модели PreLoadFcn или PostLoadFcn, полностью поддержаны.

Образцовые функции обратного вызова

Программное обеспечение только поддерживает образцовые функции обратного вызова, если коллбэк InitFcn модели пуст.

Алгебраические циклы

Программное обеспечение не делает моделей поддержки, которые содержат алгебраические циклы.

Для получения дополнительной информации смотрите Алгебраические Концепции Цикла (Simulink).

Функции инициализации подсистемы маскированные

Программное обеспечение не делает моделей поддержки, чья инициализация подсистемы маскированная изменяет любой атрибут любого параметра рабочей области.

Комплексные сигналы

Программное обеспечение поддерживает только действительные сигналы.

Для получения дополнительной информации смотрите Комплексные Сигналы (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).