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 | Проверяйте на деление на нуль в Simulink |
| 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 | Проверяйте использование графических функций в Stateflow |
| 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-стиля |