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

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

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

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

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

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

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

Библиотека блоков, которой обычно пользуются,

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

Блок	Поддержите примечания
Производная	Не поддерживаемый
Интегратор	Не поддерживаемый и не stubbable
Integrator Limited	Не поддерживаемый и не stubbable
ПИД-регулятор	Не поддерживаемый
ПИД-регулятор (2 степени свободы)	Не поддерживаемый
Интегратор второго порядка	Не поддерживаемый и не stubbable
Second Order Integrator Limited	Не поддерживаемый и не stubbable
Пространство состояний	Не поддерживаемый и не stubbable
Передайте Fcn	Не поддерживаемый и не stubbable
Транспортная задержка	Не поддерживаемый
Переменная задержка	Не поддерживаемый
Переменная транспортная задержка	Не поддерживаемый
Нулевой полюсный	Не поддерживаемый и не stubbable

Библиотека разрывов

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

Блок	Поддержите примечания
Задержка	Поддерживаемый
Различие	Поддерживаемый
Дискретная производная	Поддерживаемый
Дискретный фильтр	Поддерживаемый
Дискретный КИХ-фильтр	Поддерживаемый
Дискретный ПИД-регулятор	Поддерживаемый
Дискретный ПИД-регулятор (2 степени свободы)	Поддерживаемый
Дискретное пространство состояний	Не поддерживаемый
Дискретная передача Fcn	Поддерживаемый
Дискретный нулевой полюсный	Не поддерживаемый
Интегратор дискретного времени	Поддерживаемый
Хранение первого порядка	Поддерживаемый
Memory	Поддерживаемый
Коснувшаяся задержка	Поддерживаемый
Передайте первый порядок Fcn	Поддерживаемый
Передайте вывод Fcn или задержку	Поддерживаемый
Передайте действительный нуль Fcn	Поддерживаемый
Единичная задержка	Поддерживаемый
Нулевой порядок содержит	Поддерживаемый

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

Библиотека интерполяционных таблиц

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

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

Библиотека Model Verification

Сервисная библиотека всей модели

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

Ports & Subsystems Library

Блок	Поддержите примечания
Атомарная подсистема	Поддерживаемый
Подсистема повторного использования кода	Поддерживаемый
Конфигурируемая подсистема	Поддерживаемый
Включить	Поддерживаемый
Enabled подсистема	Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Simulink Design Verifier обрабатывает Enabled Подсистемы, как закорочено во время генерации тестов.
Enabled и Triggered подсистема	Не поддерживаемый, когда триггерный управляющий сигнал задает тип данных с фиксированной точкой. Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Simulink Design Verifier обрабатывает Enabled и Triggered подсистемы, как закорочено во время генерации тестов.
Для каждого	Поддерживаемый со следующими ограничениями: Когда Для Каждой Подсистемы содержит одно или несколько Условий испытания Simulink Design Verifier, Цели тестирования, Предположения Доказательства или блоков Цели доказательства, не поддержанных. Когда параметры маски Для Каждой Подсистемы разделены, не поддерживаемый.
Для каждой подсистемы	Поддерживаемый со следующими ограничениями: Когда Для Каждой Подсистемы содержит одно или несколько Условий испытания Simulink Design Verifier, Цели тестирования, Предположения Доказательства или блоков Цели доказательства, не поддержанных. Когда параметры маски Для Каждой Подсистемы разделены, не поддерживаемый.
Для подсистемы итератора	Поддерживаемый
Фиксатор обратной связи вызова функции	Поддерживаемый
Генератор вызова функции	Поддерживаемый
Разделение вызова функции	Поддерживаемый
Подсистема вызова функций	Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Не поддерживаемый то, когда Подсистема вызова функций вызывается с помощью триггеров вызова функции, передало через корневой уровень блоки Inport. Для получения дополнительной информации смотрите, Модели Экспорта функций (Simulink).
Если	Настройки параметра не поддержаны. Анализ игнорирует настройки параметра, которые вы задаете для Если блок.
Если подсистема действия	Поддерживаемый
В элементе шины	Поддерживаемый
Inport	Поддерживаемый
Модель	Поддерживаемый за исключением ограничений описан в Ограничениях Поддержки для блоков Model.
Соедините шиной элемент	Поддерживаемый
Выходной порт	Поддерживаемый
Восстановленная подсистема	Поддерживаемый
Подсистема	Поддерживаемый
Переключите случай	Поддерживаемый
Переключите подсистему действия случая	Поддерживаемый
Триггер	Поддерживаемый
Инициированная подсистема	Не поддерживаемый, когда триггерный управляющий сигнал задает тип данных с фиксированной точкой. Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Simulink Design Verifier обрабатывает Enabled Подсистемы, как закорочено во время генерации тестов.
Различная подсистема	Не поддерживаемый, когда параметр Generate preprocessor conditionals включен. Только активный вариант анализируется.
В то время как подсистема итератора	Поддерживаемый

Сигнал приписывает библиотеку

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

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

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

Блок	Поддержите примечания
Отображение	Поддерживаемый
Плавание осциллографа	Поддерживаемый
Выходной порт (Out1)	Поддерживаемый
Осциллограф	Поддерживаемый
Остановите симуляцию	Не поддерживаемый и не stubbable
Терминатор	Поддерживаемый
К файлу	Поддерживаемый
К рабочей области	Поддерживаемый
График XY	Поддерживаемый

Исходная библиотека

Блок	Поддержите примечания
Ограниченный полосой Белый шум	Не поддерживаемый
Сигнал щебета	Не поддерживаемый
Часы	Поддерживаемый
Постоянный	Поддерживаемый, если Constant value не является `inf`.
Счетчик, свободного доступа	Поддерживаемый
Counter Limited	Поддерживаемый
Электронные часы	Поддерживаемый
Перечислимая константа	Поддерживаемый
Из файла	Не поддерживаемый. Когда данные о MAT-файле хранятся в формате MATLAB^® `timeseries`, не stubbable.
Из рабочей области	Не поддерживаемый
Земля	Поддерживаемый
Inport (In1)	Поддерживаемый
Импульсный генератор	Поддерживаемый
Пандус	Поддерживаемый
Случайное число	Не поддерживаемый и не stubbable
Повторение последовательности	Не поддерживаемый
Повторение интерполированной последовательности	Не поддерживаемый
Повторение ступеньки последовательности	Поддерживаемый
Signal Builder	Не поддерживаемый
Генератор сигнала	Не поддерживаемый
Синусоида	Не поддерживаемый
Шаг	Поддерживаемый
Универсальное случайное число	Не поддерживаемый и не stubbable

Пользовательская библиотека функций

Блок	Поддержите примечания
@fcn	Поддержки все операторы кроме `^`, и поддерживают только математические функции `abs`, `ceil`, `fabs`, `floor`, `rem` и `sgn`. Настройки параметра не поддержаны. Анализ игнорирует настройки параметра, которые вы задаете для этих блоков. Генерация тестов не поддержана для реляционного граничного покрытия.
Интерпретированная функция MATLAB	Не поддерживаемый
Уровень 2 S-функция MATLAB	Для ограничений смотрите Ограничения Поддержки и Факторы для Кода C/C++ и S-функций.
Функция MATLAB	Для ограничений смотрите Ограничения Поддержки для MATLAB для Генерации кода.
Функция Simulink	Для ограничений смотрите Ограничения Поддержки и Факторы для Кода C/C++ и S-функций.
Разработчик S-функции	Для ограничений смотрите Ограничения Поддержки и Факторы для Кода C/C++ и S-функций.
Функция Simulink	Функциональные блоки Simulink с выходными аргументами, которые имеют тип данных шины, не поддержаны. Вызовы Функций Simulink через образцовые контуры не поддержаны.

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

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

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

Поддержка