ar_0001: Используемые символы для имен файлов
| ar_0001 | Проверка имен файлов (Simulink Check) |
| ar_0002: Используемые символы для имен папок | ar_0002 | Проверка имен папок (Simulink Check) |
| jc_0241: Ограничение длины для имен файлов модели | jc_0241 | Проверка длины имени файла модели (Simulink Check) |
| jc_0242: Ограничение длины для имен папок | jc_0242 | Проверка длины имени папки на каждом уровне пути к модели (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: Ограничение длины для имен входов и выходов | jc_0244 | Проверка длины имен входов и выходов (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) |
| jc_0792: Неиспользуемые данные | jc_0792 | Проверка неиспользуемых данных в модели Simulink (Simulink Check) |
| jc_0700: Неиспользуемые данные в блоке Stateflow | jc_0700 | Проверка неиспользуемых данных в диаграммах потока состояний (Simulink Check) |
| na_0019: Ограниченные имена переменных | Нет соответствующего руководства JMAAB | Проверка использования ограниченных имен переменных (Simulink Check) |
| jc_0011: Параметры оптимизации для логических типов данных | jc_0011 | Проверка Реализация логических сигналов в виде булевых данных (по сравнению с двойными) (Simulink Check) |
| jc_0642: Настройка режима округления целых чисел | jc_0642 | Проверка режима округления целочисленного деления (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: Настройка типа | jc_0644 | Проверка настройки типа по объектам данных (Simulink Check) |
| db_0146: Компоновка блоков в условных подсистемах | db_0146 | Проверка положения условных блоков и блоков итератора (Simulink Check) |
| jc_0640: Параметры начального значения для блоков Outport в условных подсистемах | jc_0640 | Проверка неопределенных исходных выходных данных для условных подсистем (Simulink Check) |
| jc_0659: Ограничения использования сигнальных линий, вводимых в блоки объединения | jc_0659 | Проверка использования блока объединения (Simulink Check) |
| na_0003: Использование блоков If | na_0003 | Проверка логических выражений в блоках If (Simulink Check) |
| jc_0656: Использование блоков условного управления | jc_0656 | Проверка варианта по умолчанию/иначе в блоках вариантов переключения и блоках If (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 | Проверка использования блоков задержки памяти и блока (Simulink Check) |
| jc_0624: Использование блоков задержки с отводом/блоков задержки | jc_0624 | Проверка каскадных блоков задержки установки (Simulink Check) |
| jc_0627: Использование блоков интегратора дискретного времени | jc_0627 | Проверка использования блока интегратора дискретного времени (Simulink Check) |
| jc_0628: Использование блоков насыщения | jc_0628 | Проверка использования блоков насыщения (Simulink Check) |
| jc_0651: Реализация преобразования типа | jc_0651 | Проверка типа выходных данных блоков операций (Simulink Check) |
| db_0042: Использование блоков ввода и вывода | db_0042 | Проверка положения блоков ввода и вывода (Simulink Check) |
| jc_0081: Отображение значка блока ввода и вывода | jc_0081 | Проверка отображения блоков портов (Simulink Check) |
| na_0011: Объем блоков Goto и From | na_0011 | Проверка объема блоков From и Goto (Simulink Check) |
| jc_0161: Определение блоков памяти хранилища данных | jc_0161 | Проверка использования блоков памяти хранилища данных (Simulink Check) |
| jc_0141: Использование блоков коммутатора | jc_0141 | Проверка использования блоков переключателей (Simulink Check) |
| jc_0650: Тип данных ввода/вывода блока с функцией переключения | jc_0650 | Проверка типа входных и выходных данных для блоков коммутатора (Simulink Check) |
| jc_0630: Использование блоков мультипортового коммутатора | jc_0630 | Проверка настроек портов данных в блоках многопортовых коммутаторов (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 I/O (Simulink Check) |
db_0123: Имена портов Stateflow
| Нет соответствующего руководства JMAAB | Проверка имен портов Stateflow и связанных сигналов (Simulink Check) |
| db_0125: Локальные данные потока состояний | db_0125 | Проверка определения данных потока состояний (Simulink Check) |
| db_0126: Определение событий потока состояний | db_0126 | Проверка определения событий потока состояний (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 | Проверка переходов в блок-схемах потока состояния (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: Язык действий блока диаграммы | jc_0790 | Проверить язык действий диаграммы Stateflow (Simulink Check) |
| jc_0702: Использование именованных параметров и констант потока состояний | jc_0702 | Проверка использования числовых литералов в Stateflow (Simulink Check) |
| jm_0011: Указатели в Stateflow | jm_0011 | Проверка указателей в диаграммах потока состояний (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 в блоках потока состояний | db_0127 | Проверка выражений MATLAB в диаграммах Stateflow (Simulink Check) |
| jc_0481: Использование жестких сравнений равенства для чисел с плавающей запятой в Stateflow | jc_0481 | Проверка использования выражений с плавающей запятой в диаграммах Stateflow (Simulink Check) |
| na_0001: Стандартное использование операторов Stateflow | na_0001 | Проверка операторов потока состояния (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: Формат записей в блоке состояния | jc_0501 | Проверка форматирования записей в блоках состояния в диаграммах Stateflow (Simulink Check) |
| jc_0736: Однородные отступы в блоках потока состояний | 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) |
na_0018: количество вложенных операторов if/else и case
| Нет соответствующего руководства 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 | na_0034 | Проверка параметров ввода и вывода функций MATLAB (Simulink Check) |
na_0016: Исходные строки функций MATLAB
| Нет соответствующего руководства JMAAB | Проверка строк кода в функциях MATLAB (Simulink Check) |
na_0017: Количество уровней вызываемых функций
| Нет соответствующего руководства JMAAB | Проверка количества вызовов функций в функциональных блоках MATLAB (Simulink Check) |
| na_0021: Строки в функциях MATLAB | na_0021 | Проверка использования вектора символов в функциональном блоке MATLAB (Simulink Check) |
na_0022: Рекомендуемые шаблоны для операторов Switch/Case
| Нет соответствующего руководства JMAAB | Проверка использования рекомендуемых шаблонов для операторов Switch/Case (Simulink Check) |
| jc_0801: Запрещенное использование символов/* и */comment | jc_0801 | Проверка использования символов комментариев в стиле C (Simulink Check) |
