Поддерживаемые и неподдерживаемые блоки Simulink в программе Simulink Design Verifier

Simulink ® Design Verifier™ обеспечивает различные уровни поддержки блоков Simulink:

Полностью поддерживается
Частично поддерживается
Не поддерживается

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

Чтобы достичь 100% покрытия, избегайте использования неподдерживаемых блоков в анализируемых моделях. Аналогично, для частично поддерживаемых блоков укажите только те параметры блоков, которые распознает Simulink Design Verifier.

В следующих таблицах обобщена поддержка анализа Simulink Design Verifier для блоков Simulink. Каждая таблица содержит список блоков в библиотеке Simulink и информацию о поддержке данного блока.

Дополнительная математическая и дискретная библиотека

Библиотека часто используемых блоков

Непрерывная библиотека

Блок	Примечания по поддержке
Производная	Не поддерживается
Интегратор	Не поддерживается и не упирается
Интегратор Лимитед	Не поддерживается и не упирается
PID-контроллер	Не поддерживается
PID-контроллер (2 степени свободы)	Не поддерживается
Интегратор второго порядка	Не поддерживается и не упирается
Интегратор второго порядка Limited	Не поддерживается и не упирается
Состояние - пространство	Не поддерживается и не упирается
Перенос Fcn	Не поддерживается и не упирается
Задержка транспортировки	Не поддерживается
Переменная задержка по времени	Не поддерживается
Переменная задержка транспортировки	Не поддерживается
Нулевой полюс	Не поддерживается и не упирается

Библиотека прерываний

Дискретная библиотека

Блок	Примечания по поддержке
Задержка	Поддержанный
Различие	Поддержанный
Дискретная производная	Поддержанный
Дискретный фильтр	Поддержанный
Дискретный фильтр FIR	Поддержанный
Дискретный PID-контроллер	Поддержанный
Дискретный PID-контроллер (2 степени свободы)	Поддержанный
Дискретное состояние - пространство	Не поддерживается
Дискретный перенос Fcn	Поддержанный
Дискретный нулевой полюс	Не поддерживается
Интегратор дискретного времени	Поддержанный
Память	Поддержанный
Задержка с отводом	Поддержанный
Перенос Fcn Первый заказ	Поддержанный
Перенос вывода или задержки Fcn	Поддержанный
Трансфер Fcn Real Zero	Поддержанный
Единичная задержка	Поддержанный
Удержание нулевого заказа	Поддержанный

Библиотека логических и битовых операций

Библиотека таблиц подстановки

Блок	Примечания по поддержке
Косинус	Поддержанный
Таблица прямого поиска (n-D)	Поддержанный
Интерполяция с использованием Prelookup	Не поддерживается, если: Параметр метода интерполяции: `Linear` и параметр Number of table dimensions больше, чем `4`. или Параметр метода интерполяции: `Linear` и параметр Number of sub-table selection dimensions не установлен `0`.
1-D Таблица подстановки	Не поддерживается, если метод интерполяции или параметр метода экстраполяции имеют значение `Cubic Spline` или `Akima Spline`.
2-D Таблица подстановки	Не поддерживается, если метод интерполяции или параметр метода экстраполяции имеют значение `Cubic Spline` или `Akima Spline`.
n-D таблица подстановки	Не поддерживается, если: Метод интерполяции или параметр метода экстраполяции: `Cubic Spline` или `Akima Spline`. или Параметр метода интерполяции: `Linear` и параметр Number of table dimensions больше, чем `5`.
Динамическая таблица подстановки	Поддержанный
Предварительный поиск	Не поддерживается, когда выход представляет собой массив шин
Синус	Поддержанный

Библиотека математических операций

Блок	Примечания по поддержке
Брюшной пресс	Поддержанный
Добавить	Поддержанный
Алгебраическое ограничение	Поддержанный
Назначение	Поддержанный
Уклон	Поддержанный
От комплекса до величины - угол	Поддержанный
Комплекс для реального Imag	Поддержанный
Разделиться	Поддержанный
Точечное произведение	Поддержанный
Найти ненулевые элементы	Не поддерживается
Выгода	Поддержанный
Величина - угол к комплексу	Поддержанный
Математическая функция	Поддержанный
Конкатенат матрицы	Поддержанный
MinMax	Поддержанный
Восстанавливаемый запуск MinMax	Поддержанный
Перестановочные размеры	Поддержанный
Полиномиал	Поддержанный
Продукт	Поддержанный
Произведение элементов	Поддержанный
От Real-Imag до Complex	Поддержанный
Ответный Sqrt	Не поддерживается
Измениться	Поддержанный
Функция округления	Поддержанный
Знак	Поддержанный
Подписанный Sqrt	Не поддерживается
Синусоидальная функция	Не поддерживается
Коэффициент усиления ползунка	Поддержанный
Sqrt	Не поддерживается
Сжать	Поддержанный
Вычесть	Поддержанный
Сумма	Поддержанный
Сумма элементов	Поддержанный
Тригонометрическая функция	Поддерживается, если функция `sin`, `cos`, или `sincos`, и метод аппроксимации `CORDIC`.
Унарный минус	Поддержанный
Конкатенат вектора	Поддержанный
Взвешенная математика времени выборки	Поддержанный

Библиотека проверки модели

Библиотека утилит для всей модели

Блок	Примечания по поддержке
Таблица поддержки блоков	Поддержанный
DocBlock	Поддержанный
Сведения о модели	Поддержанный
Линеаризация на основе времени	Не поддерживается
Линеаризация на основе триггера	Не поддерживается

Библиотека портов и подсистем

Блок	Примечания по поддержке
Атомная подсистема	Поддержанный
Подсистема повторного использования кода	Поддержанный
Конфигурируемая подсистема	Поддержанный
Позволить	Поддержанный
Включенная подсистема	При проверке проектного диапазона не учитываются указанные минимальные и максимальные значения для блоков, подключенных к выходному порту подсистемы. Дополнительные сведения о проверках диапазона проектирования см. в разделе Проверка указанных нарушений минимального и максимального значений. Simulink Design Verifier считает включенные подсистемы короткозамкнутыми во время генерации теста.
Включенная и запускаемая подсистема	Не поддерживается, если сигнал управления триггером указывает тип данных с фиксированной точкой. При проверке проектного диапазона не учитываются указанные минимальные и максимальные значения для блоков, подключенных к выходному порту подсистемы. Дополнительные сведения о проверках диапазона проектирования см. в разделе Проверка указанных нарушений минимального и максимального значений. Simulink Design Verifier считает включенные и запускаемые подсистемы короткозамкнутыми во время генерации теста.
Для каждого	Поддерживается следующими ограничениями: Если для каждой подсистемы содержится одно или несколько тестовых условий Simulink Design Verifier, контрольных целей, подтверждающих допущений или подтверждающих целей, то они не поддерживаются. Если параметры маски для каждой подсистемы секционированы, не поддерживаются.
Для каждой подсистемы	Поддерживается следующими ограничениями: Если для каждой подсистемы содержится одно или несколько тестовых условий Simulink Design Verifier, контрольных целей, подтверждающих допущений или подтверждающих целей, то они не поддерживаются. Если параметры маски для каждой подсистемы секционированы, не поддерживаются.
Для итераторной подсистемы	Поддержанный
Функция - защелка обратной связи вызова	Поддержанный
Генератор вызовов функций	Поддержанный
Разделение функций и вызовов	Поддержанный
Подсистема вызова функций	При проверке проектного диапазона не учитываются указанные минимальные и максимальные значения для блоков, подключенных к выходному порту подсистемы. Дополнительные сведения о проверках диапазона проектирования см. в разделе Проверка указанных нарушений минимального и максимального значений.
Если	Конфигурации параметров не поддерживаются. При анализе игнорируются конфигурации параметров, заданные для блока If.
Если подсистема действий	Поддержанный
В элементе шины	Поддержанный
Inport	Поддержанный
Модель	Поддерживается, за исключением ограничений, описанных в разделе Ограничения поддержки блоков модели.
Элемент Out Bus	Поддержанный
Вспомогательный порт	Поддержанный
Сбрасываемая подсистема	Поддержанный
Подсистема	Поддержанный
Переходы вариантов в потоке состояний (поток состояний)	Поддерживается. Анализируется только активный вариант.
Вариант переключения	Поддержанный
Подсистема действий переключения вариантов	Поддержанный
Спусковой механизм	Поддержанный
Срабатывающая подсистема	Не поддерживается, если сигнал управления триггером указывает тип данных с фиксированной точкой. При проверке проектного диапазона не учитываются указанные минимальные и максимальные значения для блоков, подключенных к выходному порту подсистемы. Дополнительные сведения о проверках диапазона проектирования см. в разделе Проверка указанных нарушений минимального и максимального значений. Simulink Design Verifier считает включенные подсистемы короткозамкнутыми во время генерации теста.
Вариационная подсистема	Не поддерживается, если включен параметр Генерировать условия препроцессора. Анализируется только активный вариант.
Подсистема итератора	Поддержанный

Библиотека атрибутов сигнала

Библиотека маршрутизации сигналов

Блок	Примечания по поддержке
Назначение шины	Поддержанный
Автор шины	Поддержанный
Селектор шины	Поддержанный
Память хранилища данных	Поддержанный
Чтение хранилища данных	Не поддерживается при включении `Enable Indexing` на панели «Назначение элемента».
Запись в хранилище данных	Не поддерживается при включении `Enable Indexing` на панели «Назначение элемента».
Demux	Поддержанный
Контроллер окружающей среды	Поддержанный
От	Поддержанный
Goto	Поддержанный
Перейти к разделу Видимость тегов	Поддержанный
Вектор индекса	Поддержанный
Ручное переключение	Блок ручного переключения совместим с программным обеспечением, но анализ игнорирует этот блок в модели. Анализ не помечает цели покрытия для этого блока как удовлетворяемые или неудовлетворительные. Данные покрытия модели собираются для блока ручного переключения.
Слияние	Поддержанный
Мультипортовый коммутатор	Поддержанный
Mux	Поддержанный
Отборщик	Поддержанный
Выключатель	Поддержанный
Конкатенат вектора	Поддержанный

Библиотека раковин

Блок	Примечания по поддержке
Показ	Поддержанный
Плавающая область	Поддержанный
Аутпорт (Out1)	Поддержанный
Элемент Out Bus	Поддержанный
Объем	Поддержанный
Остановить моделирование	Не поддерживается и не упирается
Терминатор	Поддержанный
К файлу	Поддержанный
К рабочему пространству	Поддержанный
График XY	Поддержанный

Библиотека источников

Блок	Примечания по поддержке
Белый шум с ограниченным диапазоном	Не поддерживается
Чирп-сигнал	Не поддерживается
Часы	Поддержанный
Постоянный	Поддерживается, если значение константы не равно `inf`.
Счетчик свободно работает	Поддержанный
Счетчик ограничен	Поддержанный
Цифровые часы	Поддержанный
Перечисляемая константа	Поддержанный
Из файла	Не поддерживается. Когда данные MAT-файла хранятся в MATLAB ®`timeseries` формат, не упорный.
Из рабочей области	Не поддерживается
Земля	Поддержанный
Ввод (In1)	Поддержанный
В элементе шины	Поддерживается, если `Simulink.Bus` тип определен для элемента In Bus.
Генератор импульсов	Поддержанный
Пандус	Поддержанный
Случайное число	Не поддерживается и не упирается
Повторяющаяся последовательность	Не поддерживается
Интерполяция повторяющейся последовательности	Не поддерживается
Повторяющаяся лестница последовательности	Поддержанный
Построитель сигналов	Не поддерживается
Редактор сигналов	Не поддерживается
Генератор сигналов	Не поддерживается
Синусоидальная волна	Не поддерживается
Шаг	Поддержанный
Единообразное случайное число	Не поддерживается и не упирается

Библиотека пользовательских функций

Блок	Примечания по поддержке
Инициализация функции	Не поддерживается для функции Initialize, содержащей блоки записи параметров. Не поддерживается в качестве цели для анализа подсистем.
Интерпретированная функция MATLAB	Не поддерживается
Level-2 S-функция MATLAB	Ограничения см. в разделе Ограничения и рекомендации по поддержке S-функций и кода C/C + +.
Функция MATLAB	Ограничения см. в разделе Ограничения поддержки для MATLAB при создании кода.
Система MATLAB	Решения, условия и цели покрытия MCDC поддерживаются в тестовой генерации. Расширенные цели MCDC, реляционных границ и пользовательских тестов не поддерживаются. Цели настраиваемого подтверждения не поддерживаются в проверке свойств. Дополнительные ограничения см. в разделе Ограничения поддержки для MATLAB при создании кода.
Функция сброса	Не поддерживается
Построитель S-функций	Ограничения см. в разделе Ограничения и рекомендации по поддержке S-функций и кода C/C + +.
Завершить функцию	Частично поддерживается. Поведение функции Завершить игнорируется и заменяется пустой функцией во время анализа. Не поддерживается в качестве цели для анализа подсистем.
Эталон наблюдателя (Simulink Test)	Поддерживается ограничениями. См. раздел Изоляция логики проверки с наблюдателями.
Библиотека Simscape	Не поддерживается

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

Поддерживаемые и неподдерживаемые блоки Simulink в программе Simulink Design Verifier

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

Поддержка