Simulink® Check™ обеспечивает проверки Model Advisor, которые соответствуют подмножеству инструкций JMAAB. Можно осуществить проверки с помощью Model Advisor.
Инструкции JMAAB и соответствующие проверки Model Advisor получены в итоге в следующей таблице. Не все инструкции имеют проверки Model Advisor. Для некоторых инструкций без проверок Model Advisor не возможно автоматизировать проверку инструкции. Инструкции без соответствующей проверки отмечены как не применимый. Для получения информации об использовании Model Advisor смотрите Запуск Регистрации Model Advisor документации Simulink.
| Инструкция JMAAB - версия 5.1 | Проверка Model Advisor |
|---|---|
| ar_0001: Применимые символы для имен файлов | Проверяйте имена файлов |
| ar_0002: Применимые символы для имен папок | Проверяйте имена папок |
| jc_0241: ограничение Длины для имен файлов модели | Проверяйте длину имени файла модели (Simulink Check) |
| jc_0242: ограничение Длины для имен папок | Проверяйте длину имени папки на каждом уровне модели path (Simulink Check) |
| jc_0201: Применимые символы для имен Подсистемы | Проверяйте имена подсистемы |
| jc_0231: Применимые символы для имен блока | Использование контрольного символа в именах блока |
| jc_0211: Применимые символы для блока Inport и блока Outport | Проверяйте имена блокировки порта |
| jc_0243: ограничение Длины для имен подсистемы | Проверяйте, что длина подсистемы называет (Simulink Check) |
| jc_0247: ограничение Длины для имен блока | Проверяйте длину имен блока (Simulink Check) |
| jc_0244: ограничение Длины для имен Inport и Outport | Проверяйте длину Inport, и Outport называет (Simulink Check) |
| jc_0222: Применимые символы для имен сигнала/шины | Проверяйте применимые символы на имена сигнала и соедините шиной имена (Simulink Check) |
| jc_0232: Применимые символы для названий параметра | Проверяйте применимые символы на названия параметра (Simulink Check) |
| jc_0245: ограничение Длины для сигнала и имен шины | Проверяйте длину сигнала и соедините шиной имена (Simulink Check) |
| jc_0246: ограничение Длины для названий параметра | Проверяйте длину названий параметра (Simulink Check) |
| jc_0795: Применимые символы для имен данных Stateflow | Проверяйте, что применимые символы для данных Stateflow называют (Simulink Check) |
| jc_0796: ограничение Длины для имен данных Stateflow | Проверяйте длину имени данных Stateflow (Simulink Check) |
| jc_0791: Дублированные имена данных об определении | Проверяйте, что дублирование данных Simulink называет (Simulink Check) |
| jc_0792: Неиспользованные данные | Проверяйте неиспользованные данные в Модель Simulink (Simulink Check) |
| db_0043: шрифт Модели и размер шрифта | Проверяйте форматирование шрифта (Simulink Check) |
| jc_0644: Инструкция для установки типа | Проверяйте установку типа объектами данных (Simulink Check) |
| jc_0011: параметры Оптимизации для булевых типов данных | Проверяйте сигналы логики Реализации как булевы данные (по сравнению с двойным) (Simulink Check) |
| jc_0642: Целочисленная установка режима округления | Проверяйте режим Signed Integer Division Rounding (Simulink Check) |
| jc_0806: Обнаружение неправильных результатов вычисления | Проверяйте диагностические настройки на неправильные результаты вычисления (Simulink Check) |
| na_0004: настройки внешнего вида модели Simulink | Проверяйте на схемы Simulink с помощью нестандартных атрибутов дисплея (Simulink Check) |
| jm_0002: Блокируйте изменение размеров | Никакая проверка |
| db_0142: Положение имен блока | Проверяйте, появляются ли имена блока ниже блоков (Simulink Check) |
| jc_0061: Отображение имен блока | Проверяйте атрибуты дисплея имен блока (Simulink Check) |
| db_0140: Отображение параметров блоков | Проверяйте на (Simulink Check) атрибутов блока не по умолчанию |
| jc_0603: Описание модели | Проверяйте описание модели (Simulink Check) |
| jc_0604: Блокируйте штриховку | Проверяйте, заштрихованы ли блоки в модели (Simulink Check) |
| db_0081: Несвязанные сигналы / блоки | Проверяйте на неподключенные порты и сигнальные линии (Simulink Check) |
| db_0032: связи Сигнальной линии | Никакая проверка |
| db_0141: Поток сигналов в моделях Simulink | Проверяйте использование блоков switch (Simulink Check) |
| jc_0110: Направление блока | Проверяйте ориентацию блока (Simulink Check) |
| jc_0171: Разъяснение связей между структурными подсистемами | Никакая проверка |
| jc_0602: Непротиворечивость на имена элемента модели | Проверяйте на непротиворечивость в (Simulink Check) имен элемента модели |
| jc_0281: Инициируйте имена сигнала | Проверяйте триггерные имена сигнала (Simulink Check) |
| db_0143: Применимые типы блока в иерархии модели | Проверяйте на смешивание базисных блоков и подсистем (Simulink Check) |
| db_0144: Использование Подсистем | Никакая проверка |
| jc_0653: Задержите блочное расположение в обратной связи | Проверяйте на предотвращение алгебраических циклов между подсистемами (Simulink Check) |
| na_0010: Использование вектора и сигналов шины | Никакая проверка |
| jc_0008: Определение меток Сигнала | Проверяйте, что сигнальная линия маркирует (Simulink Check) |
| jc_0009: распространение имени Сигнала | Проверка на распространенный сигнал маркирует (Simulink Check) |
| db_0097: Положение меток для сигналов и шин | Никакая проверка |
| db_0112: Использование индекса | Проверяйте на индексацию в блоках (Simulink Check) |
| db_0110: Инструкции для параметров блоков | Проверяйте использование настраиваемых параметров в блоках (Simulink Check) |
| jc_0645: определение Параметра для калибровки | Проверяйте, заданы ли настраиваемые параметры блоков как названные константами (Simulink Check) |
| jc_0641: установка Шага расчета | Проверяйте на установку шага расчета (Simulink Check) |
| jc_0643: установка фиксированной точки | Проверяйте использование типа данных с фиксированной точкой с ненулевым смещением (Simulink Check) |
| db_0146: Блочное расположение в условных подсистемах | Контрольный разряд Триггера и Включает блоки (Simulink Check) |
| jc_0640: настройки Начального значения для Выходного порта блокируются в условных подсистемах | Проверяйте неопределенный начальный выход на условные подсистемы (Simulink Check) |
| jc_0659: ограничения Использования сигнальных линий введены с блоком Merge | Проверяйте использование блока Merge (Simulink Check) |
| na_0003: Использование Если блок | Никакая проверка |
| jc_0656: Использование Условного Блока управления | Проверяйте случай по умолчанию/еще в блоки Случая Переключателя и Если блоки (Simulink Check) |
| jc_0657: Задержание выходного значения на основе блока Conditional Control Flow и блока Merge | Никакая проверка |
| na_0002: Соответствующее использование основных логических и числовых операций | Никакая проверка |
| jc_0121: Использование добавляет/вычитание блоки | Никакая проверка |
| jc_0610: порядок Оператора для блоков умножения и деления | Проверяйте порядок оператора блоков продукта (Simulink Check) |
| jc_0611: Введите расписываются за блоки умножения и деления | Проверяйте знаки входных сигналов в блоках продукта (Simulink Check) |
| jc_0794: Деление в Simulink | Никакая проверка |
| jc_0805: Числовые входные параметры блока операции | Никакая проверка |
| jc_0622: Инструкция для использования блока Fcn | Проверяйте на круглые скобки в выражениях блока Fcn (Simulink Check) |
| jc_0621: Инструкция для использования блока Logical Operator | Проверяйте форму значка блоков Логического оператора (Simulink Check) |
| jc_0131: Использование Операторов отношения | Проверяйте использование блоков Оператора отношения (Simulink Check) |
| jc_0800: Сравнение типов с плавающей точкой в Simulink | Сравнение плавающей точки вводит в Simulink (Simulink Check) |
| jc_0626: Инструкция для использования блока Lookup Table | Проверяйте использование Интерполяционных таблиц (Simulink Check) |
| jc_0623: Использование непрерывного времени задерживает блоки и блоки задержки дискретного времени | Проверяйте использование Памяти и блоков Unit Delay (Simulink Check) |
| jc_0624: Использование Коснувшейся Задержки блокирует/Задерживает блоки | Никакая проверка |
| jc_0627: Инструкция для использования блока Discrete-Time Integrator | Проверяйте использование блока Discrete-Time Integrator (Simulink Check) |
| jc_0628: Инструкция для использования блока Saturation | Проверяйте использование блоков Насыщения (Simulink Check) |
| jc_0651: Инструкция для реализации преобразования типов | Проверяйте тип выходных данных блоков операции (Simulink Check) |
| db_0042: Использование блоков Inport и Outport | Проверяйте расположение и настройку портов (Simulink Check) |
| jc_0081: отображение значка блока Inport/Outport | Проверяйте на неподключенные порты и сигнальные линии (Simulink Check) |
| na_0011: Осциллограф Goto/From | Никакая проверка |
| jc_0161: Определение Блоков памяти Хранилища данных | Никакая проверка |
| jc_0141: Использование блока switch | Проверяйте использование блоков switch (Simulink Check) |
| jc_0650: Блокируйте тип данных ввода/вывода с переключающейся функцией | Проверяйте использование типа данных с фиксированной точкой с ненулевым смещением (Simulink Check) |
| jc_0630: Использование Многопортового блока switch | Проверяйте настройки на порты данных в Многопортовых блоках switch (Simulink Check) |
| db_0122: сигналы интерфейса Stateflow и Simulink и параметры | Проверяйте на Сильный Ввод Данных с вводом-выводом Simulink (Simulink Check) |
| jc_0712: синхронизация Выполнения для пути к переходу по умолчанию | Проверяйте синхронизацию выполнения на путь к переходу по умолчанию (Simulink Check) |
| jc_0700: Неиспользованные данные в блоке Stateflow | Проверяйте на неиспользованные данные в диаграммах Stateflow (Simulink Check) |
| db_0125: Stateflow локальные данные | Проверяйте объекты данных Stateflow с локальным осциллографом (Simulink Check) |
| jc_0701: Применимый номер для первого индекса | Проверяйте применимый номер на первый индекс (Simulink Check) |
| jc_0722: Локальное определение данных в параллельных состояниях | Проверяйте осциллограф данных в параллельных состояниях (Simulink Check) |
| db_0126: события Defining Stateflow | Никакая проверка |
| jc_0797: Несвязанные переходы / утверждают / соединительные соединения | Проверяйте на несвязанные объекты в диаграммах Stateflow (Simulink Check) |
| db_0137: Состояния в машине состояний | Никакая проверка |
| jc_0721: Использование параллельных состояний | Проверяйте на параллельное состояние Stateflow, используемое в группировке (Simulink Check) |
| db_0129: внешний вид перехода Stateflow | Никакая проверка |
| jc_0531: переход По умолчанию | Проверяйте размещение перехода по умолчанию в диаграммы Stateflow (Simulink Check) |
| jc_0723: Запрещенный прямой переход от внешнего состояния до дочернего состояния | Проверяйте использование переходов к внешним состояниям (Simulink Check) |
| jc_0751: Отслеживание в обратном порядке предотвращения в изменении состояния | Проверяйте на неожиданное отслеживание в обратном порядке в изменениях состояния (Simulink Check) |
| jc_0760: Начальная точка внутреннего перехода | Проверяйте начальную точку внутреннего перехода в Stateflow (Simulink Check) |
| jc_0763: Использование нескольких внутренних переходов | Проверяйте использование внутренних переходов в состояниях Stateflow (Simulink Check) |
| jc_0762: Запрет на акт государственной власти и комбинацию блок-схемы | Проверяйте запрещенную комбинацию акта государственной власти и блок-схемы (Simulink Check) |
| db_0132: Переходы в Блок-схемах | Проверяйте ориентации перехода в блок-схемы (Simulink Check) |
| jc_0773: Безусловный переход блок-схемы | Проверяйте использование безусловных переходов в блок-схемах (Simulink Check) |
| jc_0775: Завершение соединений в Блок-схемах | Проверяйте терминальные соединения в Stateflow (Simulink Check) |
| jc_0738: Использование комментариев Stateflow | Проверяйте использование комментариев Stateflow (Simulink Check) |
| jc_0790: язык Действия блока Chart | Проверяйте язык действия диаграммы Stateflow (Simulink Check) |
| jc_0702: Использование именованных параметров/констант Stateflow | Проверяйте использование числовых литералов в Stateflow (Simulink Check) |
| jm_0011: Указатели в Stateflow | Проверяйте на указатели в диаграммах Stateflow (Simulink Check) |
| jc_0491: Повторное использование данных Stateflow | Никакая проверка |
| jm_0012: ограничения Использования событий и широковещательных событий | Проверяйте на широковещательные сообщения события в диаграммах Stateflow (Simulink Check) |
| jc_0733: Порядок типов акта государственной власти | Проверяйте, что порядок акта государственной власти вводит (Simulink Check) |
| jc_0734: Количество типов акта государственной власти | Проверяйте, что повторение Действия вводит (Simulink Check) |
| jc_0740: Ограничение на использование выходного акта государственной власти | Проверяйте, используется ли тип акта государственной власти 'выход' в модели (Simulink Check) |
| jc_0741: Синхронизация, чтобы обновить данные, используемые в условиях перехода диаграммы состояний | Проверяйте обновления переменных, используемых в условиях изменения состояния (Simulink Check) |
| jc_0772: Порядок выполнения и условия перехода линий перехода | Проверяйте использование условий перехода в переходах Stateflow (Simulink Check) |
| jc_0753: действия Условия и действия перехода в Stateflow | Проверяйте действия условия и действия перехода в Stateflow (Simulink Check) |
| jc_0711: Деление в Stateflow | Никакая проверка |
| db_0127: Ограничение на команды MATLAB в блоках Stateflow | Проверяйте на выражения MATLAB в диаграммах Stateflow (Simulink Check) |
| jc_0481: Использование твердых сравнений равенства для чисел с плавающей точкой в Stateflow | Никакая проверка |
| na_0001: Стандартное использование операторов Stateflow | Проверяйте на битовые операции в диаграммах Stateflow (Simulink Check) |
| jc_0655: Запрет на сравнение логического значения в Stateflow | Проверяйте запрещенную операцию сравнения логических сигналов типа (Simulink Check) |
| jc_0451: Использование унарных минус на беззнаковом целом | Проверяйте использование унарных минус операции в диаграммах Stateflow (Simulink Check) |
| jc_0802: Запрещенное использование неявного преобразования типа в Stateflow | Проверяйте на неявное преобразование типа в Stateflow (Simulink Check) |
| jc_0803: Передающие значения к библиотечным функциям | Никакая проверка |
| jc_0732: Различие между именами состояния, именами данных и именами события | Проверяйте уникальность состояния Stateflow, и Данные называют (Simulink Check) |
| jc_0730: Уникальное имя состояния в блоках Stateflow | Проверяйте уникальность имен состояния (Simulink Check) |
| jc_0731: формат имени Состояния | Проверяйте использование имен состояния (Simulink Check) |
| jc_0501: Разрывы строки в метках состояния | Никакая проверка |
| jc_0736: Универсальные добавления отступа в блоках Stateflow | Проверяйте добавление отступа кода в состояниях Stateflow (Simulink Check) |
| jc_0739: Инструкции для описания текстов в состояниях | Проверяйте на использование текста в состояниях (Simulink Check) |
| jc_0770: Положение метки перехода | Проверяйте размещение Строки метки в Переходах (Simulink Check) |
| jc_0771: Прокомментируйте положение в метках перехода | Контрольный разряд комментариев в переходе маркирует (Simulink Check) |
| jc_0752: Формат действия условия в метке перехода | Проверяйте использование круглых скобок в переходах Stateflow (Simulink Check) |
| jc_0774: Комментарии для посредством перехода | Проверяйте на комментарии в безусловных переходах (Simulink Check) |
| jc_0511: Установка возвращаемого значения от графической функции | Проверяйте присвоения возвращаемого значения в графические функции Stateflow (Simulink Check) |
| jc_0801: Запрещенное использование/* и */символов комментария | Проверяйте на использование символов комментария C-стиля (Simulink Check) |
| jc_0804: Запрещенное использование рекурсивных вызовов с графическими функциями | Никакая проверка |
| na_0042: Когда использовать функции Simulink | Никакая проверка |
| na_0039: Ограничение на Simulink функционирует в блоке Chart | Никакая проверка |
| na_0037: Использование одной переменной для различного условия | Никакая проверка |
| na_0020: Количество входных параметров к различным подсистемам | Никакая проверка |
| na_0036: вариант По умолчанию | Никакая проверка |
| na_0031: Определение перечисляемого значения по умолчанию | Никакая проверка |
| na_0034: настройки ввода/вывода блока MATLAB function | Проверяйте настройки ввода и вывода функций MATLAB (Simulink Check) |
| na_0024: Разделяемые данные в функциях MATLAB | Проверяйте код MATLAB на глобальные переменные (Simulink Check) |
| na_0021: Строки в функциях MATLAB | Никакая проверка |