Проверки модели на MAB и податливость JMAAB

Можно использовать Model Advisor, чтобы проверить, что модель или подсистема выполняют Консультативный совет MathWorks® (MAB) и Японию Консультативный совет MATLAB® Automotive, моделируя (JMAAB) инструкции.

Доступ к MAB и проверкам Model Advisor JMAAB

Чтобы открыть Model Advisor, в редакторе Simulink®, кликают по вкладке Modeling и выбирают Model Advisor. Диалоговое окно System Selector ― Model Advisor открывается. Выберите модель или систему, что вы хотите рассмотреть и нажать OK.

Проверки MAB доступны от этих папок Model Advisor:

  • By Product> Simulink Check> Modeling Standards> MAB Checks

  • By Task> Modeling Standards for MAB

Проверки JMAAB доступны от этих папок Model Advisor:

  • By Product> Simulink Check> Modeling Standards> JMAAB Checks

  • By Task> Modeling Standards for JMAAB

Для получения информации об использовании 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Проверяйте имена файлов
ar_0002: Применимые символы для имен папок

ar_0002

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

jc_0241

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

jc_0242

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

jc_0201

Проверяйте имена Подсистемы
jc_0231: Применимые символы для имен блока

jc_0231

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

jc_0211

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

jc_0243

Проверяйте длину имен подсистемы
jc_0247: ограничение Длины для имен блока

jc_0247

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

jc_0244

Проверяйте длину имен Inport и Outport
jc_0222: Применимые символы для сигнала и имен шины

jc_0222

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

jc_0232

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

jc_0245

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

jc_0246

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

jc_0795

Проверяйте применимые символы на имена данных Stateflow
jc_0796: ограничение Длины для имен данных Stateflow

jc_0796

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

jc_0791

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

jc_0792

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

jc_0700

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

jc_0011

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

jc_0642

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

jc_0806

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

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

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

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

na_0004

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

db_0043

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

db_0142

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

jc_0061

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

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

db_0140

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

jc_0603

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

jc_0604

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

db_0081

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

db_0032

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

db_0141

Проверяйте поток сигналов в Контрольный разряд модели меток сигнала
jc_0110: Направление блока

jc_0110

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

jc_0171

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

jc_0602

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

jc_0281

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

db_0143

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

db_0144

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

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

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

na_0010

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

jc_0008

Проверяйте метки сигнальной линии
jc_0009: распространение имени Сигнала

jc_0009

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

db_0097

Проверяйте поток сигналов в Контрольный разряд модели меток сигнала

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

Никакая соответствующая инструкция JMAABПроверяйте метки сигнальной линии

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

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

db_0110

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

db_0112

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

jc_0645

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

jc_0641

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

jc_0643

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

jc_0644

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

db_0146

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

jc_0640

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

jc_0659

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

na_0003

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

jc_0656

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

jc_0657

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

na_0002

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

jc_0121

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

jc_0610

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

jc_0611

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

jc_0794

Никакая проверка
jc_0805: Числовые входные параметры блока операции

jc_0805

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

jc_0622

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

jc_0621

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

jc_0131

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

jc_0800

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

jc_0626

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

jc_0623

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

jc_0624

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

jc_0627

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

jc_0628

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

jc_0651

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

db_0042

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

jc_0081

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

na_0011

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

jc_0161

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

jc_0141

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

jc_0650

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

jc_0630

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

na_0020

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

na_0037

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

db_0122

Проверяйте на сильный ввод данных с вводом-выводом Simulink

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

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

db_0125

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

db_0126

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

jc_0712

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

jc_0722

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

jc_0797

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

db_0137

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

jc_0721

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

db_0129

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

jc_0531

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

jc_0723

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

jc_0751

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

jc_0760

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

jc_0763

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

jc_0762

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

db_0132

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

jc_0773

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

jc_0775

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

jc_0738

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

jc_0790

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

jc_0702

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

jm_0011

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

jc_0491

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

jm_0012

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

jc_0733

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

jc_0734

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

jc_0740

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

jc_0741

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

jc_0772

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

jc_0753

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

jc_0711

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

db_0127

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

jc_0481

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

na_0001

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

jc_0655

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

jc_0451

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

jc_0802

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

jc_0803

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

jc_0732

Проверяйте уникальность имен состояния Stateflow и Данных
jc_0730: Уникальное имя состояния в блоках Stateflow

jc_0730

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

jc_0731

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

jc_0501

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

jc_0736

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

jc_0739

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

jc_0770

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

jc_0771

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

jc_0752

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

jc_0774

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

jc_0511

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

jc_0804

Никакая проверка
na_0042: Использование функций Simulink

na_0042

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

na_0039

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

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

Никакая соответствующая инструкция JMAABПроверяйте метрики функции MATLAB

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

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

na_0024

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

na_0031

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

na_0034

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

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

Никакая соответствующая инструкция JMAABПроверяйте метрики функции MATLAB

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

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

na_0021

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

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

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

jc_0801

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

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