Проверки Model Advisor на инструкции MAB

Для получения информации об использовании Model Advisor смотрите Осуществленные Проверки Model Advisor.

Руководства по моделированию и проверки Model Advisor на MAB и JMAAB

Эта таблица идентифицирует MathWorks® Совет советника (MAB), инструкции, соответствующие инструкции Советника MathWorks Automotive Японии Совета (JMAAB) и Model Advisor проверяют, что можно использовать, чтобы проверить податливость с этими инструкциями. Дополнительная информация в таблицах включает:

  • Руководство по моделированию МЭБ — Ссылки на инструкцию MathWorks Advisory Board (MAB).

  • Соответствующее Руководство по моделированию JMAAB — Идентифицирует JMAAB моделирование инструкции, которая соответствует инструкции MAB. Чтобы рассмотреть инструкцию, см., что Руководства по моделированию Алгоритма управления Используют MATLAB, Simulink и Stateflow на веб-сайте MathWorks.

  • Проверка Model Advisor — Обеспечивает ссылки на проверку Model Advisor, которая используется, чтобы проверить податливость к руководству по моделированию.

    Когда применимо, этот столбец разъясняет, почему инструкция не имеет соответствующей проверки:

    • Никакая проверка — Не Указывает, что инструкция может проверяться при помощи проверки Model Advisor, однако, проверка в настоящее время не существует.

    • Не поддающийся проверке — Указывает, что не возможно проверить податливость к этой инструкции при помощи проверки Model Advisor.

Руководство по моделированию МЭБ

(Версия 5.0)

Соответствующее руководство по моделированию JMAAB

(Версия 5.1)

Проверка Model Advisor

ar_0001: Применимые символы для имен файлов

ar_0001Проверяйте имена файлов (Simulink Check)
ar_0002: Применимые символы для имен папок

ar_0002

Проверяйте имена папок (Simulink Check)
jc_0241: ограничение Длины для имен файлов модели

jc_0241

Проверяйте длину имени файла модели (Simulink Check)
jc_0242: ограничение Длины для имен папок

jc_0242

Проверяйте длину имени папки на каждом уровне модели path (Simulink Check)
jc_0201: Применимые символы для имен подсистемы

jc_0201

Проверяйте, что Подсистема называет (Simulink Check)
jc_0231: Применимые символы для имен блока

jc_0231

Использование контрольного символа в именах блока (Simulink Check)
jc_0211: Применимые символы для Inport блоков и блока Outport

jc_0211

Проверяйте, что блокировка порта называет (Simulink Check)
jc_0243: ограничение Длины для имен подсистемы

jc_0243

Проверяйте, что длина подсистемы называет (Simulink Check)
jc_0247: ограничение Длины для имен блока

jc_0247

Проверяйте длину имен блока (Simulink Check)
jc_0244: ограничение Длины для имен Inport и Outport

jc_0244

Проверяйте длину Inport, и Outport называет (Simulink Check)
jc_0222: Применимые символы для сигнала и имен шины

jc_0222

Проверяйте применимые символы на имена сигнала и соедините шиной имена (Simulink Check)
jc_0232: Применимые символы для названий параметра

jc_0232

Проверяйте применимые символы на названия параметра (Simulink Check)
jc_0245: ограничение Длины для сигнала и имен шины

jc_0245

Проверяйте длину сигнала и соедините шиной имена (Simulink Check)
jc_0246: ограничение Длины для названия параметра

jc_0246

Проверяйте длину названий параметра (Simulink Check)
jc_0795: Применимые символы для имен данных Stateflow

jc_0795

Проверяйте, что применимые символы для данных Stateflow называют (Simulink Check)
jc_0796: ограничение Длины для имен данных Stateflow

jc_0796

Проверяйте длину имени данных Stateflow (Simulink Check)
jc_0791: Дублирующиеся данные называют определения

jc_0791

Проверяйте, что дублирование данных Simulink называет (Simulink Check)
jc_0792: Неиспользованные Данные

jc_0792

Проверяйте неиспользованные данные в Модель Simulink (Simulink Check)
jc_0700: Неиспользованные данные в блоке Stateflow

jc_0700

Проверяйте на неиспользованные данные в диаграммах Stateflow (Simulink Check)
na_0019: Ограниченные имена переменныхНикакая соответствующая инструкция JMAABПроверяйте использование ограниченных имен переменных (Simulink Check)
jc_0011: параметры Оптимизации для булевых типов данных

jc_0011

Проверяйте сигналы логики Реализации как булевы данные (по сравнению с двойным) (Simulink Check)
jc_0642: Целочисленная установка режима округления

jc_0642

Проверяйте режим Signed Integer Division Rounding (Simulink Check)
jc_0806: Обнаружение неправильных результатов вычисления

jc_0806

Проверяйте диагностические настройки на неправильные результаты вычисления (Simulink Check)

jc_0021: диагностические настройки Модели

Никакая соответствующая инструкция JMAABПроверяйте диагностические параметры модели (Simulink Check)

na_0004: настройки внешнего вида модели Simulink

na_0004

Проверяйте на схемы Simulink с помощью нестандартных атрибутов дисплея (Simulink Check)
db_0043: шрифт Модели и размер шрифта

db_0043

Проверяйте параметры шрифта Модели (Simulink Check)
jm_0002: Блокируйте изменение размеровjm_0002Никакая проверка
db_0142: Положение имен блока

db_0142

Проверяйте, появляются ли имена блока ниже блоков (Simulink Check)
jc_0061: Отображение имен блока

jc_0061

Проверяйте атрибуты дисплея имен блока (Simulink Check)

db_0140: Отображение параметров блоков

db_0140

Проверяйте на (Simulink Check) атрибутов блока не по умолчанию
jc_0603: Описание модели

jc_0603

Проверяйте описание модели (Simulink Check)
jc_0604: Используя тень блока

jc_0604

Проверяйте, заштрихованы ли блоки в модели (Simulink Check)
db_0081: Несвязанные сигналы и блоки

db_0081

Проверяйте на несвязанные сигнальные линии и блоки (Simulink Check)
db_0032: связи Сигнальной линии

db_0032

Проверяйте связи сигнальной линии (Simulink Check)
db_0141: Поток сигналов в моделях Simulink

db_0141

Проверяйте, что поток сигналов в Контрольном разряде модели сигнала маркирует (Simulink Check)
jc_0110: Направление блока

jc_0110

Проверяйте ориентацию блока (Simulink Check)
jc_0171: Разъяснение связей между структурными подсистемами

jc_0171

Проверяйте связи между структурными подсистемами (Simulink Check)
jc_0602: Непротиворечивость на имена элемента модели

jc_0602

Проверяйте на непротиворечивость в (Simulink Check) имен элемента модели
jc_0281: Инициируйте имена сигнала

jc_0281

Проверяйте триггерные имена сигнала (Simulink Check)
db_0143: Применимые типы блока в иерархии модели

db_0143

Проверяйте на смешивание базисных блоков и подсистем (Simulink Check)
db_0144: Использование подсистем

db_0144

Не поддающийся проверке
jc_0653: Задержите блочное расположение в обратной связиjc_0653Проверяйте на предотвращение алгебраических циклов между подсистемами (Simulink Check)

hd_0001: Запрещенные приемники Simulink

Никакая соответствующая инструкция JMAABПроверяйте на запрещенные блоки приемника (Simulink Check)
na_0010: Использование вектора и сигналов шины

na_0010

Проверяйте использование вектора и соедините шиной сигналы (Simulink Check)
jc_0008: Определение имен сигнала

jc_0008

Проверяйте, что сигнальная линия маркирует (Simulink Check)
jc_0009: распространение имени Сигнала

jc_0009

Проверка на распространенный сигнал маркирует (Simulink Check)
db_0097: Положение меток для сигналов и шин

db_0097

Проверяйте, что поток сигналов в Контрольном разряде модели сигнала маркирует (Simulink Check)

na_0008: Отображение меток на сигналах

Никакая соответствующая инструкция JMAABПроверяйте, что сигнальная линия маркирует (Simulink Check)

na_0009: Запись по сравнению с распространением меток сигнала

Никакая соответствующая инструкция JMAABПроверка на распространенный сигнал маркирует (Simulink Check)
db_0110: Параметры блоков

db_0110

Проверяйте использование настраиваемых параметров в блоках (Simulink Check)
db_0112: Использование индекса

db_0112

Проверяйте режим индексации (Simulink Check)
jc_0645: определение Параметра для калибровки

jc_0645

Проверяйте, заданы ли настраиваемые параметры блоков как названные константами (Simulink Check)
jc_0641: установка Шага расчета

jc_0641

Проверяйте на установку шага расчета (Simulink Check)
jc_0643: установка фиксированной точки

jc_0643

Проверяйте использование типа данных с фиксированной точкой с ненулевым смещением (Simulink Check)
jc_0644: установка Type

jc_0644

Проверяйте установку типа объектами данных (Simulink Check)
db_0146: Блочное расположение в условных подсистемах

db_0146

Контрольный разряд условных блоков и блоков итератора (Simulink Check)
jc_0640: настройки Начального значения для Выходного порта блокируются в условных подсистемах

jc_0640

Проверяйте неопределенный начальный выход на условные подсистемы (Simulink Check)
jc_0659: ограничения Использования входа сигнальных линий, чтобы Объединить блоки

jc_0659

Проверяйте использование блока Merge (Simulink Check)
na_0003: Использование Если блоки

na_0003

Регистрируйте логические выражения Если блоки (Simulink Check)
jc_0656: Использование Условных Блоков управления

jc_0656

Проверяйте случай по умолчанию/еще в блоки Случая Переключателя и Если блоки (Simulink Check)
jc_0657: Задержание выходного значения на основе условных блоков потока управления и блоков Слияния

jc_0657

Не поддающийся проверке
na_0002: Соответствующее использование основных логических и числовых операций

na_0002

Проверяйте основные логические и числовые операции (Simulink Check)
jc_0121: Использование добавляет и блоки вычитания

jc_0121

Проверяйте использование блоков Суммы (Simulink Check)
jc_0610: порядок Оператора для блока умножения и деления

jc_0610

Проверяйте порядок оператора блоков продукта (Simulink Check)
jc_0611: Введите расписываются за блоки умножения и деления

jc_0611

Проверяйте знаки входных сигналов в блоках продукта (Simulink Check)
jc_0794: Деление в Simulink

jc_0794

Проверяйте на деление на нуль в Simulink (Simulink Check)
jc_0805: Числовые входные параметры блока операции

jc_0805

Никакая проверка
jc_0622: Использование блоков Fcn

jc_0622

Проверяйте на круглые скобки в выражениях блока Fcn (Simulink Check)
jc_0621: Использование блоков Логического оператора

jc_0621

Проверяйте форму значка блоков Логического оператора (Simulink Check)
jc_0131: Использование блоков Оператора отношения

jc_0131

Проверяйте использование блоков Оператора отношения (Simulink Check)
jc_0800: Сравнение типов с плавающей точкой в Simulink

jc_0800

Сравнение плавающей точки вводит в Simulink (Simulink Check)
jc_0626: Использование блоков Интерполяционной таблицы

jc_0626

Проверяйте использование Интерполяционных таблиц (Simulink Check)
jc_0623: Использование блоков Задержки непрерывного времени и блоков Задержки дискретного времени

jc_0623

Проверяйте использование Памяти и блоков Unit Delay (Simulink Check)
jc_0624: Использование Коснувшейся Задержки блокирует/Задерживает блоки

jc_0624

Проверяйте на каскадные блоки Unit Delay (Simulink Check)
jc_0627: Использование блоков Интегратора Дискретного времени

jc_0627

Проверяйте использование блока Discrete-Time Integrator (Simulink Check)
jc_0628: Использование блоков Насыщения

jc_0628

Проверяйте использование блоков Насыщения (Simulink Check)
jc_0651: Реализация преобразования типов

jc_0651

Проверяйте тип выходных данных блоков операции (Simulink Check)
db_0042: Использование блоков Inport и Outport

db_0042

Контрольный разряд блоков Inport и Outport (Simulink Check)
jc_0081: отображение значка блока Inport и Outport

jc_0081

Проверяйте отображение на блокировки порта (Simulink Check)
na_0011: Осциллограф Goto и От блоков

na_0011

Проверяйте осциллограф От и блоки Goto (Simulink Check)
jc_0161: Определение Блоков памяти Хранилища данных

jc_0161

Проверяйте на использование Блоков памяти Хранилища данных (Simulink Check)
jc_0141: Использование блоков switch

jc_0141

Проверяйте использование блоков switch (Simulink Check)
jc_0650: Блокируйте тип данных ввода/вывода с переключающейся функцией

jc_0650

Проверяйте тип данных ввода и вывода на блоки switch (Simulink Check)
jc_0630: Использование Многопортовых блоков switch

jc_0630

Проверяйте настройки на порты данных в Многопортовых блоках switch (Simulink Check)
na_0020: Количество входных параметров к различным подсистемам

na_0020

Проверяйте на недостающие порты в Различных Подсистемах (Simulink Check)
na_0036: вариант По умолчаниюna_0036Проверяйте использование вариантов по умолчанию (Simulink Check)
na_0037: Использование одной переменной для различного условия

na_0037

Проверяйте использование одного переменных различных условных выражений (Simulink Check)
db_0122: сигналы интерфейса Stateflow и Simulink и параметры

db_0122

Проверяйте на Сильный Ввод Данных с вводом-выводом Simulink (Simulink Check)

db_0123: имена порта Stateflow

Никакая соответствующая инструкция JMAABПроверяйте на имена портов Stateflow и сопоставленных сигналов (Simulink Check)
db_0125: Stateflow локальные данные

db_0125

Проверяйте определение данных Stateflow (Simulink Check)
db_0126: события Defining Stateflow

db_0126

Проверяйте определение событий Stateflow (Simulink Check)
jc_0701: Применимый номер для первого индексаjc_0701Проверяйте применимый номер на первый индекс (Simulink Check)
jc_0712: синхронизация Выполнения для пути к переходу по умолчанию

jc_0712

Проверяйте синхронизацию выполнения на путь к переходу по умолчанию (Simulink Check)
jc_0722: Локальное определение данных в параллельных состояниях

jc_0722

Проверяйте осциллограф данных в параллельных состояниях (Simulink Check)
jc_0797: Несвязанные переходы / утверждают / соединительные соединения

jc_0797

Проверяйте на несвязанные объекты в диаграммах Stateflow (Simulink Check)
db_0137: Состояния в машине состояний

db_0137

Проверяйте на состояние в машине состояний (Simulink Check)
jc_0721: Использование параллельных состояний

jc_0721

Проверяйте использование параллельных состояний (Simulink Check)
db_0129: внешний вид перехода Stateflow

db_0129

Проверяйте на внешний вид перехода Stateflow (Simulink Check)
jc_0531: переход По умолчанию

jc_0531

Проверяйте размещение перехода по умолчанию в диаграммы Stateflow (Simulink Check)
jc_0723: Запрещенный прямой переход от внешнего состояния до дочернего состояния

jc_0723

Проверяйте использование переходов к внешним состояниям (Simulink Check)
jc_0751: Отслеживание в обратном порядке предотвращения в изменении состояния

jc_0751

Проверяйте на неожиданное отслеживание в обратном порядке в изменениях состояния (Simulink Check)
jc_0760: Начальная точка внутреннего перехода

jc_0760

Проверяйте начальную точку внутреннего перехода в Stateflow (Simulink Check)
jc_0763: Использование нескольких внутренних переходов

jc_0763

Проверяйте использование внутренних переходов в состояниях Stateflow (Simulink Check)
jc_0762: Запрет на состояние активности и комбинацию блок-схемы

jc_0762

Проверяйте запрещенную комбинацию состояния активности и блок-схемы (Simulink Check)
db_0132: Переходы в блок-схемах

db_0132

Проверяйте переходы в Блок-схемы Stateflow (Simulink Check)
jc_0773: Безусловный переход блок-схемы

jc_0773

Проверяйте использование безусловных переходов в блок-схемах (Simulink Check)
jc_0775: Завершение соединений в блок-схемах

jc_0775

Проверяйте терминальные соединения в Stateflow (Simulink Check)
jc_0738: Использование комментариев Stateflow

jc_0738

Проверяйте использование комментариев Stateflow (Simulink Check)
jc_0790: язык Действия блока Chart

jc_0790

Проверяйте язык действия диаграммы Stateflow (Simulink Check)
jc_0702: Использование именованных параметров Stateflow и констант

jc_0702

Проверяйте использование числовых литералов в Stateflow (Simulink Check)
jm_0011: Указатели в Stateflow

jm_0011

Проверяйте на указатели в диаграммах Stateflow (Simulink Check)
jc_0491: Повторное использование данных Stateflow

jc_0491

Не поддающийся проверке
jm_0012: ограничения Использования событий и широковещательных событий

jm_0012

Проверяйте на использование событий и широковещательных событий в диаграммах Stateflow (Simulink Check)
jc_0733: Порядок типов состояния активности

jc_0733

Проверяйте, что порядок состояния активности вводит (Simulink Check)
jc_0734: Количество типов состояния активности

jc_0734

Проверяйте, что повторение Действия вводит (Simulink Check)
jc_0740: Ограничение на использование выходного состояния активности

jc_0740

Проверяйте, используется ли тип состояния активности 'выход' в модели (Simulink Check)
jc_0741: Синхронизация, чтобы обновить данные, используемые в условиях перехода диаграммы состояний

jc_0741

Проверяйте обновления переменных, используемых в условиях изменения состояния (Simulink Check)
jc_0772: Порядок выполнения и условия перехода линий перехода

jc_0772

Проверяйте использование условий перехода в переходах Stateflow (Simulink Check)
jc_0753: действия Условия и действия перехода в Stateflow

jc_0753

Проверяйте действия условия и действия перехода в Stateflow (Simulink Check)
jc_0711: Деление в Stateflow

jc_0711

Не поддающийся проверке
db_0127: Ограничение на команды MATLAB в блоках Stateflow

db_0127

Проверяйте на выражения MATLAB в диаграммах Stateflow (Simulink Check)
jc_0481: Использование твердых сравнений равенства для чисел с плавающей точкой в Stateflow

jc_0481

Проверяйте использование выражений с плавающей точкой в диаграммах Stateflow (Simulink Check)
na_0001: Стандартное использование операторов Stateflow

na_0001

Проверяйте операторы Stateflow (Simulink Check)
jc_0655: Запрет на сравнение логического значения в Stateflow

jc_0655

Проверяйте запрещенную операцию сравнения логических сигналов типа (Simulink Check)
jc_0451: Использование унарных минус на беззнаковом целом

jc_0451

Проверяйте использование унарных минус операции в диаграммах Stateflow (Simulink Check)
jc_0802: Запрещенное использование неявного преобразования типа в Stateflow

jc_0802

Проверяйте на неявное преобразование типа в Stateflow (Simulink Check)
jc_0803: Передающие значения к библиотечным функциям

jc_0803

Не поддающийся проверке
jc_0732: Различие между именами состояния, именами данных и именами события

jc_0732

Проверяйте уникальность состояния Stateflow, и Данные называют (Simulink Check)
jc_0730: Уникальное имя состояния в блоках Stateflow

jc_0730

Проверяйте уникальность имен состояния (Simulink Check)
jc_0731: формат имени Состояния

jc_0731

Проверяйте использование имен состояния (Simulink Check)
jc_0501: Формат записей в блоке State

jc_0501

Проверяйте форматирование записи в блоки состояния в диаграммах Stateflow (Simulink Check)
jc_0736: Универсальные добавления отступа в блоках Stateflow

jc_0736

Проверяйте добавление отступа кода в состояниях Stateflow (Simulink Check)
jc_0739: Описание текста в состояниях

jc_0739

Проверяйте на использование текста в состояниях (Simulink Check)
jc_0770: Положение метки перехода

jc_0770

Проверяйте размещение Строки метки в Переходах (Simulink Check)
jc_0771: Прокомментируйте положение в метках перехода

jc_0771

Контрольный разряд комментариев в переходе маркирует (Simulink Check)
jc_0752: действие Условия в метке перехода

jc_0752

Проверяйте использование круглых скобок в переходах Stateflow (Simulink Check)
jc_0774: Комментарии для посредством перехода

jc_0774

Проверяйте на комментарии в безусловных переходах (Simulink Check)
jc_0511: Возвращаемые значения от графической функции

jc_0511

Проверяйте присвоения возвращаемого значения в графические функции Stateflow (Simulink Check)
jc_0804: Запрещенное использование рекурсивных вызовов с графическими функциями

jc_0804

Проверяйте использование графических функций в Stateflow (Simulink Check)
na_0042: Использование функций Simulink

na_0042

Проверяйте использование функции Simulink в Stateflow (Simulink Check)
na_0039: Ограничение на Simulink функционирует в блоках Графика

na_0039

Проверяйте использование Simulink в диаграммах Stateflow (Simulink Check)

na_0018: Количество вложенных, если/еще и оператор выбора

Никакая соответствующая инструкция JMAABПроверяйте вложенные условия в функции MATLAB (Simulink Check)

na_0025: заголовок функции MATLAB

Никакая соответствующая инструкция JMAABНикакая проверка
na_0024: Разделяемые данные в функциях MATLAB

na_0024

Проверяйте код MATLAB на глобальные переменные (Simulink Check)
na_0031: Определение перечисляемого значения по умолчанию

na_0031

Проверяйте использование перечисляемых значений (Simulink Check)
na_0034: настройки ввода/вывода блока MATLAB function

na_0034

Проверяйте настройки ввода и вывода функций MATLAB (Simulink Check)

na_0016: Исходные линии функций MATLAB

Никакая соответствующая инструкция JMAABПроверяйте строки кода в функции MATLAB (Simulink Check)

na_0017: Количество названных функциональных уровней

Никакая соответствующая инструкция JMAABПроверяйте количество вызовов функции в блоках MATLAB function (Simulink Check)
na_0021: Строки в функциях MATLAB

na_0021

Проверяйте использование вектора символов в блоке MATLAB function (Simulink Check)

na_0022: Рекомендуемые шаблоны для Переключателя/Операторов выбора

Никакая соответствующая инструкция JMAABПроверяйте использование рекомендуемых шаблонов для Переключателя/Операторов выбора (Simulink Check)
jc_0801: Запрещенное использование/* и */символов комментария

jc_0801

Проверяйте на использование символов комментария C-стиля (Simulink Check)

Смотрите также