ar_0001: Используемые символы для имен файлов
| ar_0001 | Проверить имена файлов |
| ar_0002: Используемые символы для имен папок | ar_0002 | Проверить имена папок |
| jc_0241: Ограничение длины для имен файлов модели | jc_0241 | Проверка длины имени файла модели |
| jc_0242: Ограничение длины для имен папок | jc_0242 | Проверка длины имени папки на каждом уровне пути к модели |
| jc_0201: Используемые символы для имен подсистем | jc_0201 | Проверка имен подсистем |
| jc_0231: Используемые символы для имен блоков | jc_0231 | Проверка использования символов в именах блоков |
| jc_0211: Используемые символы для блоков Inport и Outport | jc_0211 | Проверка имен блоков портов |
| jc_0243: Ограничение длины для имен подсистем | jc_0243 | Проверить длину имен подсистем |
| jc_0247: Ограничение длины для имен блоков | jc_0247 | Проверка длины имен блоков |
| jc_0244: Ограничение длины для имен входов и выходов | jc_0244 | Проверка длины имен входов и выходов |
| 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 | Проверка режима округления целочисленного деления со знаком |
| 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: Настройка типа | jc_0644 | Проверка настройки типа по объектам данных |
| db_0146: Компоновка блоков в условных подсистемах | db_0146 | Проверка положения условных блоков и блоков итератора |
| jc_0640: Параметры начального значения для блоков Outport в условных подсистемах | jc_0640 | Проверка неопределенного начального выхода для условных подсистем |
| jc_0659: Ограничения использования сигнальных линий, вводимых в блоки объединения | jc_0659 | Проверка использования блока объединения |
| na_0003: Использование блоков If | na_0003 | Проверка логических выражений в блоках If |
| jc_0656: Использование блоков условного управления | jc_0656 | Проверьте вариант по умолчанию/иначе в блоках Switch Case и If blocks |
| jc_0657: Сохранение выходного значения на основе блоков потока условного управления и блоков объединения | jc_0657 | Не проверяется |
| na_0002: Надлежащее использование базовых логических и цифровых операций | na_0002 | Проверка основных логических и цифровых операций |
| jc_0121: Использование блоков добавления и вычитания | jc_0121 | Проверка использования блоков Sum |
| 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 | Проверка использования блоков задержки памяти и блока |
| jc_0624: Использование блоков задержки с отводом/блоков задержки | jc_0624 | Проверка каскадных блоков задержки установки |
| jc_0627: Использование блоков интегратора дискретного времени | jc_0627 | Проверка использования блока интегратора дискретного времени |
| jc_0628: Использование блоков насыщения | jc_0628 | Проверка использования блоков насыщения |
| jc_0651: Реализация преобразования типа | jc_0651 | Проверка типа выходных данных блоков операций |
| db_0042: Использование блоков ввода и вывода | db_0042 | Проверка положения блоков ввода и вывода |
| jc_0081: Отображение значка блока ввода и вывода | jc_0081 | Проверьте отображение блоков портов |
| na_0011: Объем блоков Goto и From | na_0011 | Проверка объема блоков From и Goto |
| jc_0161: Определение блоков памяти хранилища данных | jc_0161 | Проверка использования блоков памяти хранилища данных |
| jc_0141: Использование блоков коммутатора | jc_0141 | Проверка использования блоков коммутаторов |
| jc_0650: Тип данных ввода/вывода блока с функцией переключения | jc_0650 | Проверка типа входных и выходных данных для блоков коммутатора |
| jc_0630: Использование блоков мультипортового коммутатора | jc_0630 | Проверьте настройки портов данных в блоках мультипортового коммутатора |
| na_0020: Количество входов в вариационные подсистемы | na_0020 | Проверка отсутствующих портов в исполнительных подсистемах |
| na_0036: Вариант по умолчанию | na_0036 | Проверка использования вариантов по умолчанию |
| na_0037: Использование одной переменной для условия исполнения | na_0037 | Проверка использования условий варианта с одной переменной |
| db_0122: Сигналы и параметры интерфейса Stateflow и Simulink | db_0122 | Проверка строгой типизации данных с помощью Simulink I/O |
db_0123: Имена портов Stateflow
| Нет соответствующего руководства JMAAB | Проверка имен портов Stateflow и связанных с ними сигналов |
| db_0125: Локальные данные потока состояний | db_0125 | Проверка определения данных потока состояний |
| db_0126: Определение событий потока состояний | 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 | Проверка переходов в блок-схемах потока состояний |
| jc_0773: Безусловный переход блок-схемы | jc_0773 | Проверить использование безусловных переходов на блок-схемах |
| jc_0775: Концевые соединения на блок-схемах | jc_0775 | Проверка клеммных соединений в потоке Stateflow |
| jc_0738: Использование комментариев Stateflow | jc_0738 | Проверка использования комментариев Stateflow |
| jc_0790: Язык действий блока диаграммы | jc_0790 | Проверка языка действий с диаграммами Stateflow |
| jc_0702: Использование именованных параметров и констант потока состояний | 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 в блоках потока состояний | 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: Формат записей в блоке состояния | jc_0501 | Проверка форматирования записей в блоках состояния в диаграммах Stateflow |
| jc_0736: Однородные отступы в блоках потока состояний | 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: количество вложенных операторов if/else и case
| Нет соответствующего руководства JMAAB | Проверка вложенных условий в функциях MATLAB |
na_0025: Заголовок функции MATLAB
| Нет соответствующего руководства JMAAB | Без проверки |
| na_0024: Общие данные в функциях MATLAB | na_0024 | Проверка кода MATLAB для глобальных переменных |
| na_0031: Определение перечисляемого значения по умолчанию | na_0031 | Проверка использования перечисляемых значений |
| na_0034: Параметры ввода/вывода функционального блока MATLAB | na_0034 | Проверка параметров ввода и вывода функций MATLAB |
na_0016: Исходные строки функций MATLAB
| Нет соответствующего руководства JMAAB | Проверка строк кода в функциях MATLAB |
na_0017: Количество уровней вызываемых функций
| Нет соответствующего руководства JMAAB | Проверка количества вызовов функций в функциональных блоках MATLAB |
| na_0021: Строки в функциях MATLAB | na_0021 | Проверка использования вектора символов внутри функционального блока MATLAB |
na_0022: Рекомендуемые шаблоны для операторов Switch/Case
| Нет соответствующего руководства JMAAB | Проверка использования рекомендуемых шаблонов для операторов Switch/Case |
| jc_0801: Запрещенное использование символов/* и */comment | jc_0801 | Проверка использования символов комментариев в стиле C |
