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 | Проверяйте длину имен 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 | Проверяйте целое число со знаком Деления режиме округления |
| 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 | Проверяйте на наличие атрибутов блоков, отличных от nondefault |
| 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: Ограничения использования сигнальных линий, входящих в блоки Merge | jc_0659 | Проверяйте использование блока Merge |
| na_0003: Использование блоков If | na_0003 | Проверяйте логические выражения в блоках If |
| jc_0656: Использование условных блоков управления | jc_0656 | Проверяйте случай по умолчанию/else в блоках Switch Case и блоках If |
| jc_0657: Сохранение значения выхода на основе блоков условного потока управления и блоков Слияния | jc_0657 | Не проверяется |
| na_0002: Соответствующее использование основных логических и числовых операций | na_0002 | Проверяйте фундаментальные логические и числовые операции |
| jc_0121: Использование блоков сложения и вычитания | jc_0121 | Проверяйте использование блоков Sum |
| jc_0610: Порядок оператора для умножения и блока деления | jc_0610 | Проверяйте порядок оператора блоков Product |
| 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 | Проверяйте использование блоков Relational Operator |
| jc_0800: Сравнение типов с плавающей точкой в Simulink | jc_0800 | Сравнение типов с плавающей точкой в Simulink |
| jc_0626: Использование блоков интерполяционной таблицы | jc_0626 | Проверяйте использование интерполяционных таблиц |
| jc_0623: Использование блоков Задержки в непрерывном времени и блоков Задержки в дискретном времени | jc_0623 | Проверяйте использование блоков Memory и Unit Delay |
| jc_0624: Использование блоков Tapped Delay/Блоков Delay | jc_0624 | Проверяйте на каскадные блоки Unit Delay |
| jc_0627: Использование блоков интегратора в дискретном времени | jc_0627 | Проверяйте использование блока интегратора дискретного времени |
| 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 и From | na_0011 | Проверяйте возможности блоков From и Goto |
| jc_0161: Определение блоков памяти хранилища данных | jc_0161 | Проверяйте использование блоков памяти хранилища данных |
| jc_0141: Использование блоков Switch | jc_0141 | Проверяйте использование блоков Switch |
| jc_0650: Блокируйте тип входных/выходных данных с функцией переключения | jc_0650 | Проверяйте входной и выходной тип данных для блоков Switch |
| jc_0630: Использование блоков Multiport Switch | jc_0630 | Проверьте настройки портов данных в блоках Multiport 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: Определение событий 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 Flow графиков |
| 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 | Проверьте, используется ли состояние активности тип 'exit' в модели |
| 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 | Проверяйте форматирование записей в блоках State в диаграммах 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 в блоках Chart | 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 function настройки ввода/вывода | na_0034 | Проверяйте входные и выходные настройки функций MATLAB |
na_0016: Исходные линии функций MATLAB
| Нет соответствующего руководства JMAAB | Проверяйте строки кода в функциях MATLAB |
na_0017: Количество вызываемых уровней функции
| Нет соответствующего руководства JMAAB | Проверяйте количество вызовов функций в блоках MATLAB Function |
| na_0021: Строки в функциях MATLAB | na_0021 | Проверяйте использование вектора символов в блоке MATLAB Function |
na_0022: Рекомендуемые шаблоны для операторов Switch/Case
| Нет соответствующего руководства JMAAB | Проверяйте использование рекомендуемых шаблонов для операторов Switch/Case |
| jc_0801: Запрещенное использование символов/* и */comment | jc_0801 | Проверьте использование символов комментариев в стиле С |