| Зависимости, применяемые ко всем блокам | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Входные и выходные порты должны иметь следующие типы данных: Если блок поддерживает шины, портами могут быть шины, для которых элементы (потенциально включая другие шины) удовлетворяют ограничению типа данных. | Неокончательный | Все проверки совместимости блоков |
Имена блоков не должны содержать "*/«или»/*’. Кроме того, имена блоков не должны заканчиваться на "*’. | Неокончательный | ||
| Входные и выходные порты должны быть некомплексными. Комплексные значения не поддерживаются для проверки кода. | Неокончательный | ||
Входными и выходными портами должны быть скаляры, векторы или 2-D матрицы. Зависимость исключает следующие блоки:
| Неокончательный | ||
| Порты ввода и вывода не должны использовать сигналы на основе кадров. | Неокончательный | ||
|
Выводить пользовательские классы хранения сигналов:
| Неокончательный | ||
| Выходной порт не должен ссылаться на сигнальный объект с непустым начальным значением. | Неокончательный | ||
| Выходной порт не должен тестироваться, когда блок является постоянным. | Неокончательный | ||
Класс хранения выходного сигнала должен быть установлен в Auto когда блок является постоянным. | Неокончательный | ||
| Блоки, которые являются постоянными или имеют параметры, которые могут быть настроены, не должны управлять двумя или более многоскоростными блоками без использования явных блоков Rate Transition. | Неокончательный | ||
| Брюшной пресс | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка абсолютных блоков |
Входные и выходные порты должны иметь тип данных double, single, uint8, uint16, int32, uint32, или boolean. | Неокончательный | ||
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | |
| Порт действия | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка блоков портов операций |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| ASCII в строку | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков «String blocks» > «Check ASCII to String blocks» |
| Размер входных данных должен быть меньше значения параметра Buffer size of dynamically-size string (bytes) (Simulink Coder). | Неокончательный | ||
| Назначение | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков назначения |
Порт индекса должен иметь тип данных int8, int16, int32, uint8, uint16, или uint32. | Неокончательный | ||
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Инициализировать вывод (Y) ( | Неокончательный | |
| Уклон | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков смещения |
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Смещение (Bias) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB ®, быть сложными или иметь два или более измерения. | Неокончательный | |
| Побитовый оператор | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков логических и битовых операций > Проверка блоков Bitwise Operator |
Если количество входных портов | Неокончательный | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Назначение шины | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков назначения шины |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Автор шины | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков Bus Creator |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Названия сигналов в блоке Bus Creator (Inputs) должны соответствовать именам входных сигналов (InputSignalNames). | Неокончательный | |
| Другое | Блок не должен распространять начальные условия во время первой инициализации. | Неокончательный | Проверка неподдерживаемого распространения значений исходных условий > Проверка неподдерживаемого распространения значений исходных условий |
| Селектор шины | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков выбора шины |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Другое | Блок не должен распространять начальные условия во время первой инициализации. | Неокончательный | Проверка неподдерживаемого распространения значений исходных условий > Проверка неподдерживаемого распространения значений исходных условий |
| Вызывающий абонент C | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования пользовательских функциональных блоков > Проверка C блоков вызывающего абонента |
Входные и выходные порты должны иметь один из следующих типов данных: double, single, int8, int16, int32, uint8, , uint16, или uint32. | Неокончательный | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Комбинаторная логика | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков логических и битовых операций |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Постоянный | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков источников > Проверка блоков констант |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Постоянное значение (Value) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | |
| Память хранилища данных | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты |
Зависимости, применяемые ко всем блокам. Примечание Поскольку блок памяти хранилища данных не имеет портов ввода или вывода, ограничения, которые применяются к портам ввода и вывода, не применяются к памяти хранилища данных.
| Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков памяти хранилища данных |
| Память хранилища данных не должна содержать массивы шин или шины с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Начальное значение (InitialValue) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | |
Тип сигнала (SignalType) должен иметь значение auto или real. Комплексные значения не поддерживаются для проверки кода. | Неокончательный | ||
Параметр «Обнаружить запись после записи» должен иметь значение error. | Неокончательный | ||
| Другое | Для памяти глобального хранилища данных параметр конфигурации Поведение параметра по умолчанию (Simulink Coder) ( | Неокончательный | Проверка использования глобальных хранилищ данных > Проверка использования глобального хранилища данных |
Для памяти глобального хранилища данных Начальное значение (InitialValue) не должен быть настраиваемым. | Неокончательный | ||
| Блоки памяти глобального хранилища данных не должны использоваться, если они затенены блоками памяти локального хранилища данных. | Неокончательный | Проверка тени имен глобальных хранилищ данных > Проверка тени имен глобальных хранилищ данных | |
| Чтение хранилища данных | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков чтения хранилища данных |
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Другое | Блок не может ссылаться на объекты сигнала как на синтезированные локальные хранилища данных. | Неокончательный | Проверка использования синтезированных локальных хранилищ данных > Проверка использования синтезированных локальных хранилищ данных |
Для памяти глобального хранилища данных параметр конфигурации Поведение параметра по умолчанию (Simulink Coder) (DefaultParameterBehavior) должен иметь значение Inlined. | Неокончательный | Проверка использования глобальных хранилищ данных > Проверка использования глобального хранилища данных | |
Для памяти глобального хранилища данных Начальное значение (InitialValue) не должен быть настраиваемым. | Неокончательный | ||
| Блок не должен выполнять прерывистый выбор массивов хранилищ данных. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков чтения хранилища данных | |
| Блок не должен использовать подстрочные индексы со скобками для выбора массивов хранилищ данных. | Неокончательный | ||
| Запись в хранилище данных | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков записи хранилища данных |
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Другое | Блок не может ссылаться на объекты сигнала как на синтезированные локальные хранилища данных. | Неокончательный | Проверка использования синтезированных локальных хранилищ данных > Проверка использования синтезированных локальных хранилищ данных |
Для памяти глобального хранилища данных параметр конфигурации Поведение параметра по умолчанию (Simulink Coder) (DefaultParameterBehavior) должен иметь значение Inlined. | Неокончательный | Проверка использования глобальных хранилищ данных > Проверка использования глобального хранилища данных | |
Для памяти глобального хранилища данных Начальное значение (InitialValue) не должен быть настраиваемым. | Неокончательный | ||
| Блок не должен выполнять прерывистый выбор массивов хранилищ данных. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков записи хранилища данных | |
| Блок не должен использовать индексы со скобками для выбора массивов хранилищ данных. | Неокончательный | ||
| Преобразование типа данных | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков атрибутов сигнала > Проверка блоков преобразования типов данных |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Вход и выход равны (ConvertRealWorld) должно быть Real World Value (RWV). | Неокончательный | |
Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | ||
Время выборки (SampleTime) устанавливается в постоянное время выборки. | Неокончательный | ||
| Дублирование типа данных | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков атрибутов сигнала > Проверка дублирующих блоков типа данных |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Распространение типа данных | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков атрибутов сигнала > Проверка блоков распространения типов данных |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Интегратор дискретного времени | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования дискретных блоков > Проверка дискретных блоков интегратора |
Типы данных портов ввода должны быть single или double для портов без сброса. | Неокончательный | ||
| Входы и выходы должны быть скалярами. | Неокончательный | ||
Типы данных портов вывода должны быть single или double. | Неокончательный | ||
| Параметры блока |
Блочный параметр Метод интегратора (
| Неокончательный | |
Параметр Block Показать порт состояния (ShowStatePort) не должен быть выбран (должен быть установлен в off). | Неокончательный | ||
Параметр блока Внешний сброс (ExternalReset) должен иметь значение none. | Неокончательный | ||
|
Параметры блока Верхний предел насыщения (
| Неокончательный | ||
| Другое | Блок не должен находиться внутри условной подсистемы. | Неокончательный | |
Если поведение параметра по умолчанию ( | Неокончательный | ||
|
При разрешении состояния блока в сигнал с пользовательским классом хранения сигнала класс хранения сигнала:
| Неокончательный | ||
| Состояние блока не должно разрешаться в сигнальный объект с непустым начальным значением. | Неокончательный | ||
| Мертвая зона | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков прерываний > Проверка блоков мертвых зон |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Насыщение при целочисленном переполнении (SaturateOnIntegerOverflow) не должен быть выбран (должен быть установлен в off). | Неокончательный | |
| Задержка | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования дискретных блоков > Проверка блоков задержки |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Обработка входных данных (InputProcessing) не должно иметь значение Columns as channels (frame based). | Неокончательный | |
Показать порт включения (ShowEnablePort) не должен быть выбран (должен быть установлен в off). | Неокончательный | ||
| Demux | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков демультиплексирования |
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Другое | Блок не должен распространять начальные условия во время первой инициализации. | Неокончательный | Проверка неподдерживаемого распространения значений исходных условий > Проверка неподдерживаемого распространения значений исходных условий |
| DocBlock | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Нет зависимостей, специфичных для блока | Неприменимо | Неприменимо |
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Точечное произведение | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков точечного изделия |
| Входные порты должны быть скалярами, векторами или матрицами с одним столбцом. | Неокончательный | ||
Типы данных входных портов должны быть single или double. | Неокончательный | ||
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | |
| Позволить | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка включения блоков портов |
Сигнал, поступающий в разрешающий порт подсистемы, должен иметь тип данных boolean. | Неокончательный | ||
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Блоки Enable Port не поддерживаются на корневом уровне модели. | ФАТАЛЬНЫЙ | |
Если поведение параметра по умолчанию (DefaultParameterBehavior) имеет значение Inlined, сигнал, поступающий в Enable Port родительской подсистемы, не должен быть постоянным. | Неокончательный | ||
| Для каждого | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка каждого блока |
| Параметры блока | Размер входной секции и размер выходной конкатенации должны быть меньше 3. | Неокончательный | |
| Параметры маски не должны быть секционированы. | Неокончательный | ||
NeedActiveIterationSignal необходимо установить значение off. | Неокончательный | ||
RequestParallelExec необходимо установить значение on. | Неокончательный | ||
ShowIterationIndex необходимо установить значение off. | Неокончательный | ||
StateReset необходимо установить значение held. | Неокончательный | ||
StateType необходимо установить значение Separate states for each iteration. | Неокончательный | ||
Number of iterations to execute необходимо установить значение -1 (значение по умолчанию). | Неокончательный | ||
| Для итератора | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка наличия блоков итератора |
| Параметры блока | Задать следующий i (итерационная переменная) внешне (ExternalIncrement) не должен быть выбран (должен быть установлен в off). | Неокончательный | |
Источник ограничения итерации (IterationSource) должен иметь значение internal. | Неокончательный | ||
Тип данных переменной итерации (IterationVariableDataType) должен иметь значение int32, int16, int8, uint32, uint16, или uint8. | Неокончательный | ||
| Подсистема не должна иметь настраиваемого параметра для ограничения внутренней итерации. | Неокончательный | ||
| От | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка из блоков |
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Генератор вызовов функций | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка блоков генератора вызовов |
| Количество мест назначения блоков должно быть единицей. | Неокончательный | ||
| Параметры блока | Число итераций (numberOfIterations) должен иметь значение 1. | Неокончательный | |
| Разделение функций и вызовов | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка блоков разделения функций и вызовов |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Выгода | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков усиления |
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Выигрыш (Gain) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | |
Тип данных параметра (ParamDataTypeStr) должен использовать тот же тип данных, что и вход блока усиления. | Неокончательный | ||
|
Умножение ( Примечание Только | Неокончательный | ||
Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | ||
Время выборки (SampleTime) не должно быть задано постоянное время выборки. | Неокончательный | ||
| Goto | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков перехода |
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Земля | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков источников > Проверка блоков грунта |
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| IC | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков атрибутов сигнала > Проверка блоков начальных условий |
| Параметры блока | Начальное значение (Value) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | |
| Если | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка наличия блоков |
| Параметры блока | Если поведение параметра по умолчанию (DefaultParameterBehavior) имеет значение Inlined, источник Inport 1 не должен быть постоянным. | Неокончательный | |
| Inport | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков источников > Проверка блоков ввода |
| Inport не должен быть блоком In Bus Element. | Неокончательный | ||
| Корневые входы в ссылочных моделях должны соединяться по крайней мере с одним невиртуальным блоком. Если корневые входы в ссылочных моделях не связаны по меньшей мере с одним непривиртуальным блоком, статус проверки кода для модели, вызывающей ссылочную модель, может быть предупреждением. | Неокончательный | ||
| Параметры блока | Блок не может задавать сигналы переменного размера. Сигнал переменного размера (VarSizeSig) должен иметь значение No. | ФАТАЛЬНЫЙ | |
Тип сигнала (SignalType) не должно иметь значение complex. | Неокончательный | ||
Для входов в срабатывающих подсистемах, вход защелки путем задержки внешнего сигнала (LatchByDelayingOutsideSignal) не должен быть выбран (должен быть установлен в off). | Неокончательный | ||
Для корневых блоков ввода, использующих объект шины, параметр блока Output as nonvirtual bus (Вывод в качестве невиртуальной шины) (BusOutputAsStruct) должен быть выбран (установить в значение on). | ФАТАЛЬНЫЙ | ||
A Simulink.LookupTable объект не должен передаваться во ссылочный блок модели. | Неокончательный | ||
Примечание
Теневые входы поддерживаются для проверки кода.
| Интерполяция с использованием Prelookup | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков «Таблицы подстановки» > Проверка интерполяции с использованием блоков Prelookup (n-D) |
Промежуточные результаты > Тип данных (IntermediateResultsDataTypeStr) должно быть Inherit:Inherit via internal rule , Inherit: Same as output, double, или single. | Неокончательный | ||
Вывод > Тип данных (OutDataTypeStr) должно быть Inherit:Inherit via back propagation , Inherit: Inherit from ‘Table data’, double, или single. | Неокончательный | ||
Данные таблицы > Тип данных (TableDataTypeStr) должно быть Inherit: Inherit from ‘Table data’, Inherit: Same as output, double, или single. | Неокончательный | ||
Приоритет внутреннего правила (InternalRulePriority) должно быть Precision. | Неокончательный | ||
Количество измерений выбора подкаталогов и значение индекса (k) из блока Prelookup должен иметь тип данных uint32. | Неокончательный | ||
Промежуточные результаты > Тип данных (IntermediateResultsDataTypeStr), Данные таблицы > Тип данных (TableDataTypeStr), Output > Data Type (Вывод > Тип данных) (OutDataTypeStr) и значение дроби (f) из блока Prelookup должен иметь один и тот же тип данных: double или single. | Неокончательный | ||
Режим округления целых чисел (RndMeth) должен иметь значение Floor. | Неокончательный | ||
Насыщение при целочисленном переполнении (SaturateOnIntegerOverflow) должен быть очищен (установлено в off). | Неокончательный | ||
| Блоки не должны быть постоянными и не должны соединять все входы выбора субтитров с постоянными блоками. | Неокончательный | ||
| Блоки и их выходы не должны иметь постоянного времени выборки. | Неокончательный | ||
| Параметры блока | Метод интерполяции (InterpMethod) должно быть Linear point-slope. | Неокончательный | |
Требовать индекс и дробь как шину (RequireIndexFractionAsBus) должен быть очищен (установлено в off). | Неокончательный | ||
Допустимый ввод индекса может достигать последнего индекса (ValidIndexMayReachLast) должен быть очищен (установлено в off). | Неокончательный | ||
Технические условия (TableSpecification) должен иметь значение Explicit values. | Неокончательный | ||
| Логический оператор | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков логических и битовых операций > Проверка логических блоков |
Выходные порты должны иметь тип данных boolean или uint8. | Неокончательный | ||
| Входные порты блока должны иметь один и тот же тип данных. | Неокончательный | ||
Для XOR оператор с boolean операнды, параметр Casting mode должен иметь значение Nominal. | Неокончательный | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Справочная таблица 1-D, 2-я Справочная таблица, n-D Справочная таблица | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков таблиц подстановки > Проверка блоков таблиц подстановки |
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Спецификация точек останова (BreakpointsSpecification) должен иметь значение Explicit values. | Неокончательный | |
Метод интерполяции (InterpMethod) должен иметь значение Linear point-slope. | Неокончательный | ||
Метод экстраполяции (ExtrapMethod) должен иметь значение Clip или Linear. | Неокончательный | ||
Метод индексного поиска (IndexSearchMethod) должен иметь значение Binary search или Linear search. | Неокончательный | ||
Поддержка настраиваемого размера таблицы при создании кода (SupportTunableTableSize) не должен быть выбран (должен быть установлен в off). | Неокончательный | ||
Данные таблицы (Table) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | ||
Источник параметра блока (TableSource) для указания источника данных таблицы необходимо установить значение Dialog. | Неокончательный | ||
Для спецификации точек останова (BreakpointsSpecification) установите в значение Explicit values, Точки останова не должны быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | ||
Данные таблицы (TableDataTypeStr) должен использовать тот же тип данных, что и вывод блока. Если данные таблицы получены из объекта таблицы подстановки, необходимо использовать один и тот же тип данных как для данных таблицы, так и для выходных данных. Если выбрано свойство Поддерживать настраиваемый размер объекта таблицы подстановки, использование различных типов данных для данных таблицы и выходных данных поддерживается, но ограничивается двойным и одиночным. | Неокончательный | ||
Промежуточные результаты (IntermediateResultsDataTypeStr) должен использовать тот же тип данных, что и вывод блока. | Неокончательный | ||
| Блоки и их выходные порты не должны быть постоянными. | Неокончательный | ||
Используйте один входной порт для всех входных данных (UseOneInputPortForAllInputData) должен быть очищен (установлено в off). | Неокончательный | ||
| Точки останова > Тип данных должен быть того же типа данных, что и вход блока. | Неокончательный | Проверьте n-D блоки таблицы подстановки на наличие несовместимого типа данных точки останова | |
| Математическая функция | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков математических операций |
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Функция (Operator) должно иметь одно из следующих значений: exp, log, 10^u, log10, magnitude^2, square, transpose, pow, reciprocal, hypot, rem, или mod. Вы не можете выбрать conj или hermitian. | Неокончательный | |
Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | ||
| Слияние | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков объединения |
Источники для блока должны быть либо включенной подсистемой, либо подсистемой действия, либо блоком без InitialConditions функция. | Неокончательный | ||
| Параметры блока | Разрешить неравную ширину порта (AllowUnequalInputPortWidths) не должен быть выбран (должен быть установлен в off). | Неокончательный | |
Смещения входных портов (InputPortOffsets) должно быть []. | Неокончательный | ||
| MinMax | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков MinMax |
Входные и выходные порты должны иметь один из следующих типов данных: double, single, int8, uint8, int16, uint16, int32, или uint32. | Неокончательный | ||
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | |
| Другое | Если блок имеет один вход, в диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Создание кода (Code Generation) > Интерфейс (Interface) для библиотеки стандартных формул должно быть установлено значение C89/C90 (ANSI). | Неокончательный | |
| Модель | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка ссылочных блоков модели |
Значения, указанные в разделе Аргументы > Аргументы модели (ParameterArgumentValues) не должны быть сложными или неокончательными. | Неокончательный | ||
|
Входные порты ссылочного блока модели должны быть одного из следующих поддерживаемых типов данных:
| Неокончательный | ||
| Параметры блока | Опорные блоки модели и их выходные порты не должны быть постоянными. | Неокончательный | |
Для блоков ввода в пределах инициируемого опорного блока модели, ввод фиксатора путем задержки внешнего сигнала (LatchByDelayingOutsideSignal) не должен быть выбран (должен быть отключен). | Неокончательный | ||
Для входных портов опорного блока модели, вход защелки для сигналов обратной связи выходов подсистемы функционального вызова (LatchInputForFeedbackSignals) не должен быть выбран (должен быть отключен). | Неокончательный | ||
| Другое | Ссылка на модель не должна находиться в защищенном режиме. | ФАТАЛЬНЫЙ | |
| Ссылочные блоки модели не должны иметь несколько образцов времени. | Неокончательный | ||
| Блок модели не должен использовать параметры экземпляра ссылочных моделей в качестве аргументов. | Неокончательный | ||
| Сведения о модели | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Нет зависимостей, специфичных для блока | Неприменимо | Неприменимо |
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Мультипортовый коммутатор | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков мультипортового коммутатора |
| Порты ввода и вывода данных должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Если для блока мультипортового коммутатора указаны индексы портов данных, на вход может быть указано только одно значение. | Неокончательный | |
| Сигналы порта данных должны быть непрерывными. | Неокончательный | ||
| Сигнал порта данных не должен подключаться к блоку, который выбирает или переупорядочивает входные сигналы. | Неокончательный | ||
Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | ||
Разрешить различные размеры ввода данных (AllowDiffInputSizes) не должен быть выбран (должен быть установлен в off). | Неокончательный | ||
Если поведение параметра по умолчанию (DefaultParameterBehavior) имеет значение Inlined, источник Inport 1 не должен быть постоянным. | Неокончательный | ||
| Mux | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков мультиплексоров |
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Другое | Блок не должен распространять начальные условия во время первой инициализации. | Неокончательный | Проверка неподдерживаемого распространения значений исходных условий > Проверка неподдерживаемого распространения значений исходных условий |
| Вспомогательный порт | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков Sinks > Проверка блоков Outport |
| Outport не должен быть блоком Out Bus Element. | Неокончательный | ||
| Параметры блока | Блок не может задавать сигналы переменного размера. Сигнал переменного размера (VarSizeSig) должен иметь значение No. | ФАТАЛЬНЫЙ | |
Тип сигнала (SignalType) не должно иметь значение complex. | Неокончательный | ||
Выезд корневого уровня Начальный выход (InitialOutput) должно быть []. | Неокончательный | ||
Источник начального выходного значения (SourceOfInitialOutputValue) должен иметь значение Dialog. | Неокончательный | ||
Начальный выход (InitialOutput) не должен быть сложным. | Неокончательный | ||
В редакторе сопоставлений кодов класс хранения (StorageClass) должно быть Auto или SimulinkGlobal. Чтобы открыть редактор сопоставлений кода, сначала откройте приложение Embedded Coder. Затем на вкладке C Code в разделе Code Interface выберите Отдельные сопоставления кода элементов. | Неокончательный | ||
| Полиномиал | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка полиномиальных блоков |
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
Типы данных входных портов должны быть single или double. | Неокончательный | ||
| Параметры блока | Количество коэффициентов для параметра блока Полиномиальные коэффициенты (coefs) должно быть больше нуля. | Неокончательный | |
| Предварительный поиск | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков таблиц поиска > Проверка блоков предварительного поиска |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Метод индексного поиска (IndexSearchMethod) должно быть Binary search или Linear search. | Неокончательный | |
Спецификация точек останова (BreakpointsSpecification) должно быть Explicit values. | Неокончательный | ||
Выбор выходного документа должен быть Index and fraction. | Неокончательный | ||
Точка останова > Тип данных должен быть Inherit: Same as input, single, или double. | Неокончательный | ||
Индекс > Тип данных (IndexDataTypeStr) должно быть uint32. | Неокончательный | ||
Дробь > Тип данных (FractionDataTypeStr) должно быть single или double. | Неокончательный | ||
Режим округления целых чисел (RndMeth) должен иметь значение Floor. | Неокончательный | ||
Использовать последнюю точку останова для ввода на верхнем пределе или выше (UseLastBreakpoint) не должен быть выбран (должен быть установлен в off). | Неокончательный | ||
| Исследование | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков атрибутов сигнала > Проверка блоков зонда |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Параметр блока Тип данных для времени выборки (ProbeSampleTimeDataType) должно быть single или double. | Неокончательный | |
| Продукт | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков изделия |
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока |
Параметр блока Количество входов (
| Неокончательный | |
Если умножение (Multiplication) имеет значение Matrix (*), Насыщение при целочисленном переполнении (SaturateOnIntegerOverflow) не должен быть выбран (установите в значение on). | Неокончательный | ||
Если параметр блока Multiplication имеет значение Element-wise(.*) и тип inport Signal является вектором или матрицей, затем количество входов (inputs) не должно иметь значение 1, * или /. | Неокончательный | ||
Если параметр блока Multiplication имеет значение Element-wise(.*) и тип inport Signal является скалярным, затем количество входов (inputs) должен иметь значение 1, * или /. | Неокончательный | ||
Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | ||
Время выборки (SampleTime) не должно быть задано постоянное время выборки. | Неокончательный | ||
| Переход ставки | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков атрибутов сигнала > Проверка блоков изменения скорости |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Обеспечить целостность данных при передаче данных (Integrityдолжен быть выбран (должен быть установлен в on). | Неокончательный | |
Обеспечить детерминированную передачу данных (максимальная задержка) (Deterministicдолжен быть выбран (должен быть установлен в on). | Неокончательный | ||
Исходные условия (X0) должен быть нулевым, ненулевым скаляром или использовать ту же структуру данных, что и тип выходных данных. | Неокончательный | ||
Исходные условия (X0) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | ||
| Реляционный оператор | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков логических и битовых операций > Проверка блоков реляционных операторов |
Тип данных выходного порта блока должен быть либо перечисленным типом со значением по умолчанию 0, либо boolean. | Неокончательный | ||
| Входные порты блоков должны иметь один и тот же тип данных. | Неокончательный | ||
| Параметры блока | Реляционный оператор (Operator) должен иметь значение <=, ==, >=, ~=, <, или > (не isInf, isNaN, или isFinite). | Неокончательный | |
| Реле | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверить использование блоков прерываний > Проверить блоки реле |
| Параметры блока | Включить точку (OnSwitchValue) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | |
Точка отключения (OffSwitchValue) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | ||
Вывод при включении (OnOutputValue) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | ||
Вывод при выключении (OffOutputValue) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | ||
| Измениться | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков изменения формы |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Функция округления | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка функциональных блоков округления |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Насыщенность | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков прерываний > Проверка блоков насыщения |
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Верхний предел (UpperLimit) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | |
Нижний предел (LowerLimit) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | ||
Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | ||
| Отборщик | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверить использование блоков маршрутизации сигналов > Проверить блоки селекторов |
Порт индекса должен иметь тип данных int8, int16, int32, uint8, uint16, или uint32. | Неокончательный | ||
| Параметры блока | Параметр индекса ( | Неокончательный | |
Если Количество входных размеров (NumberOfDimensions) больше, чем 1, то индексные данные порта не должны быть подключены к блоку, который выбирает или переупорядочивает входные данные. | Неокончательный | ||
Примечание
Simulink ® Code Inspector™ поддерживает S-функции, созданные с помощью текущей версии инструмента Legacy Code Tool.
| S-функция | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования пользовательских функциональных блоков > Проверка S-функциональных блоков |
| Аргументы должны быть скалярами или векторами фиксированной размерности. | Неокончательный | ||
| Интегрированная модель S-функционального блока SIL не должна использовать глобальные переменные для корневых портов ввода и вывода. | Неокончательный | ||
| Параметры блока | Параметры S-функции (Parameters) не должны быть сложными или не конечными. | Неокончательный | |
|
S-функции:
Примечание При использовании прежнего инструмента кода для определения прототипа S-функции:
| Неокончательный | ||
| Арифметика сдвига | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков логических и битовых операций > Проверка блоков арифметического сдвига |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Диагностика значения смещения вне диапазона (DiagnosticForOORShift) должен иметь значение Error. | Неокончательный | |
Двоичные точки для сдвига (BinPtShiftNumber) должен иметь значение 0. | Неокончательный | ||
Биты для сдвига: Число (BitShiftNumber) должен находиться в пределах допустимого диапазона типа данных inport. | Неокончательный | ||
Проверьте вне диапазона 'Биты для сдвига' в сгенерированном коде (CheckOORBitShift) не должен быть выбран (должен быть установлен в off). | Неокончательный | ||
|
Если следующие параметры конфигурации установлены следующим образом:
источник Inport 2 не должен быть постоянным. | Неокончательный | ||
| Знак | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков знаков |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Преобразование сигналов | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков атрибутов сигнала > Проверка блоков преобразования сигнала |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Вывод (ConversionOutput) должен иметь значение Signal copy. | Неокончательный | |
Исключить этот блок из оптимизации «Block reduction» (OverrideOptдолжен быть выбран (должен быть установлен в on). | Неокончательный | ||
| Другое | Блок не должен распространять начальные условия во время первой инициализации. | Неокончательный | Проверка неподдерживаемого распространения значений исходных условий > Проверка неподдерживаемого распространения значений исходных условий |
| Спецификация сигнала | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков атрибутов сигнала > Проверка блоков спецификации сигнала |
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Сигнал переменного размера (VarSizeSig) должно быть No. | ФАТАЛЬНЫЙ | |
Тип сигнала (SignalType) не должно быть complex. | Неокончательный | ||
| Sqrt | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков Sqrt |
| Входы и выходы блоков должны иметь одинаковый тип данных. | Неокончательный | ||
Типы данных входов и выходов блоков должны быть single или double. | Неокончательный | ||
| Параметры блока | Функция (Operator) должно быть sqrt или signedSqrt. | Неокончательный | |
Тип выходного сигнала (OutputSignalType) не должно иметь значение complex. | Неокончательный | ||
|
Промежуточные результаты (
| Неокончательный | ||
| Подсистема, Атомная подсистема, Включенная подсистема, Функциональная подсистема вызова, Если подсистема действия, Запускаемая подсистема, Для каждой подсистемы, Для итераторной подсистемы | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка блоков подсистем |
| Различные подсистемы должны иметь одинаковое количество портов. | Неокончательный | ||
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | |||
| Параметры блока |
Подсистемы должны быть одной из следующих:
| Неокончательный | |
Для невиртуальных подсистем Упаковка функций (RTWSystemCode) должен иметь значение Inline, Nonreusable function, или Reusable function. | Неокончательный | ||
|
Если параметр блока Function packaging (Упаковка функций) (
| Неокончательный | ||
Если параметр блока Function packaging (Упаковка функций) (
| Неокончательный | ||
|
Если блок имеет варианты, то применяются любые из следующих ограничений:
| Неокончательный | ||
Параметр блока Минимизировать вхождения алгебраического цикла ( | Неокончательный | ||
| Другое |
Подсистемы действий, подключенные к одному и тому же блоку If или Switch Case, должны выполнять одно из следующих действий:
| Неокончательный | Проверка адресатов блоков If и Switchcase > Проверка адресата подсистемы действий блоков If и Switchcase |
| Подсистемы не должны быть функциональными блоками Simulink. | ФАТАЛЬНЫЙ | Проверка использования блоков портов и подсистем > Проверка блоков подсистем | |
| Повторно используемые подсистемы не должны иметь скрытых буферов сигналов на своих входах. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка блоков подсистем | |
A Simulink.LookupTable объект не должен передаваться маскированной подсистеме. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка блоков подсистем | |
| Сумма | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Блоки контрольной суммы |
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Сумма сверх (CollapseMode) должен иметь значение All dimensions. | Неокончательный | |
Тип данных аккумулятора (AccumDataTypeStr) должен использовать тот же тип данных, что и входные данные блока. | Неокончательный | ||
Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | ||
Время выборки (SampleTime) не должно быть задано постоянное время выборки. | Неокончательный | ||
Для блоков с одним векторным входом, Сатурат при целочисленном переполнении (SaturateOnIntegerOverflow) не должен быть выбран (установите в значение on). | Неокончательный | ||
| Выключатель | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков коммутаторов |
| Первый и третий входные порты и выходной порт должны иметь одинаковый тип данных. | Неокончательный | ||
| Параметры блока | Режим округления целых чисел (RndMeth) должен иметь значение Zero или Floor. | Неокончательный | |
Разрешить различные размеры ввода данных (AllowDiffInputSizes) не должен быть выбран (должен быть установлен в off). | Неокончательный | ||
Если поведение параметра по умолчанию (DefaultParameterBehavior) имеет значение Inlined, источник Inport 2 не должен быть постоянным. | Неокончательный | ||
| Вариант переключения | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка блоков SwitchCase |
| Параметры блока | Если поведение параметра по умолчанию (DefaultParameterBehavior) имеет значение Inlined), источник Inport 1 не должен быть постоянным. | Неокончательный | |
| Терминатор | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков Sinks > Проверка блоков Terminator |
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неприменимо | ||
| Параметры блока | Выходы ссылочного блока модели не должны соединяться с блоками терминатора. Это ограничение нарушается, когда каждый внешний порт блока привязки модели соединяется с блоком терминатора. | Неокончательный | Проверка блоков терминатора, подключенных к выходам блоков ссылок модели > Проверка связности блоков ссылок модели |
| Спусковой механизм | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков портов и подсистем > Проверка блоков триггерных портов |
Типы данных выходного порта должны быть auto, int8 или double. | Неокончательный | ||
| В родительской подсистеме сигнал, поступающий в порт триггера, должен быть скалярным. | Неокончательный | ||
В родительской подсистеме сигнал, поступающий в порт триггера, должен быть boolean когда тип триггера (TriggerType) имеет значение rising, falling, или either. | Неокончательный | ||
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Блок не должен находиться на корневом уровне модели, если Trigger type (тип триггера) (TriggerType) имеет значение rising, falling, или either. | ФАТАЛЬНЫЙ | |
Состояния при включении (StatesWhenEnabling) не должно иметь значение inherit. | Неокончательный | ||
Если поведение параметра по умолчанию (DefaultParameterBehavior) имеет значение Inlined), сигнал, поступающий в порт триггера родительской подсистемы, не должен быть постоянным. | Неокончательный | ||
Параметр блока Начальное состояние триггерного сигнала (InitialTriggerSignalState) должно быть compatibility (no trigger on first evaluation) или zero. | Неокончательный | ||
| Тригонометрическая функция | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков тригонометрии |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Параметры блока | Функция (Operator) не должно иметь значение cos + jsin (комплексная экспонента входного сигнала). | Неокончательный | |
Метод аппроксимации (ApproximationMethod) должен иметь значение None. | Неокончательный | ||
| Унарный минус | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков математических операций > Проверка блоков Unary Minus |
Типы данных входных портов должны быть double, single, int8, int16, или int32. | Неокончательный | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |
| Преобразование единиц | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков атрибутов сигнала > Проверка блоков преобразования единиц измерения |
Типы данных входных портов должны быть double или single. | Неокончательный | ||
| Входные и выходные порты должны иметь одинаковый тип данных. | Неокончательный | ||
Блок должен использовать поддерживаемые блоки ввода и вывода. Проверка кода поддерживает преобразования между следующими блоками:
| Неокончательный | ||
| Единичная задержка | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования дискретных блоков > Проверка блоков задержки блока |
|
При разрешении состояния блока в сигнал с пользовательским классом хранения сигнала класс хранения сигнала:
| Неокончательный | ||
| Состояние блока не должно разрешаться в сигнальный объект с непустым начальным значением. | Неокончательный | ||
| Параметры блока | Исходные условия (X0) не должны: быть пустыми, не быть конечными, использовать выбор диапазона или индексацию переменных для элементов структур MATLAB, быть сложными или иметь два или более измерения. | Неокончательный | |
Обработка входных данных (InputProcessing) не должно иметь значение Columns as channels (frame based). | Неокончательный | ||
| Другое | Блок не должен использоваться для изменения скорости. | Неокончательный | |
| Конкатенат вектора, Конкатенат матрицы | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков маршрутизации сигналов > Проверка блоков конкатенации векторов |
| Параметры блока | Нет зависимостей, специфичных для блока | Неокончательный | |
| Width | |||
|---|---|---|---|
| Ограничение | ФАТАЛЬНЫЙ/нефатальный | Проверка совместимости | |
| Типы данных и порты | Зависимости, применяемые ко всем блокам. | Неокончательный | Проверка использования блоков атрибутов сигнала > Проверка блоков ширины |
| Нет зависимостей, специфичных для блока | Неприменимо | ||
| Блокирующие порты не должны иметь массивов шин или шин с элементами, являющимися массивами шин. | Неокончательный | ||
| Параметры блока | Нет зависимостей, специфичных для блока | Неприменимо | |