ar_0001: Применимые символы для имен файлов
| ar_0001 | Проверяйте имена файлов (Simulink Check) |
| ar_0002: Применимые символы для имен папок | ar_0002 | Проверяйте имена папок (Simulink Check) |
| jc_0241: ограничение Длины для имен файлов модели | jc_0241 | Проверяйте длину имени файла модели (Simulink Check) |
| jc_0242: ограничение Длины для имен папок | jc_0242 | Проверяйте длину имени папки на каждом уровне модели path (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: ограничение Длины для имен Inport и Outport | jc_0244 | Проверяйте длину Inport, и Outport называет (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 Check) |
| jc_0792: Неиспользованные Данные | jc_0792 | Проверяйте неиспользованные данные в Модель Simulink (Simulink Check) |
| jc_0700: Неиспользованные данные в блоке Stateflow | jc_0700 | Проверяйте на неиспользованные данные в диаграммах Stateflow (Simulink Check) |
| na_0019: Ограниченные имена переменных | Никакая соответствующая инструкция JMAAB | Проверяйте использование ограниченных имен переменных (Simulink Check) |
| jc_0011: параметры Оптимизации для булевых типов данных | jc_0011 | Проверяйте сигналы логики Реализации как булевы данные (по сравнению с двойным) (Simulink Check) |
| jc_0642: Целочисленная установка режима округления | jc_0642 | Проверяйте режим Signed Integer Division Rounding (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: установка Type | jc_0644 | Проверяйте установку типа объектами данных (Simulink Check) |
| db_0146: Блочное расположение в условных подсистемах | db_0146 | Контрольный разряд условных блоков и блоков итератора (Simulink Check) |
| jc_0640: настройки Начального значения для Выходного порта блокируются в условных подсистемах | jc_0640 | Проверяйте неопределенный начальный выход на условные подсистемы (Simulink Check) |
| jc_0659: ограничения Использования входа сигнальных линий, чтобы Объединить блоки | jc_0659 | Проверяйте использование блока Merge (Simulink Check) |
| na_0003: Использование Если блоки | na_0003 | Регистрируйте логические выражения Если блоки (Simulink Check) |
| jc_0656: Использование Условных Блоков управления | jc_0656 | Проверяйте случай по умолчанию/еще в блоки Случая Переключателя и Если блоки (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 | Проверяйте использование Памяти и блоков Unit Delay (Simulink Check) |
| jc_0624: Использование Коснувшейся Задержки блокирует/Задерживает блоки | jc_0624 | Проверяйте на каскадные блоки Unit Delay (Simulink Check) |
| jc_0627: Использование блоков Интегратора Дискретного времени | jc_0627 | Проверяйте использование блока Discrete-Time Integrator (Simulink Check) |
| jc_0628: Использование блоков Насыщения | jc_0628 | Проверяйте использование блоков Насыщения (Simulink Check) |
| jc_0651: Реализация преобразования типов | jc_0651 | Проверяйте тип выходных данных блоков операции (Simulink Check) |
| db_0042: Использование блоков Inport и Outport | db_0042 | Контрольный разряд блоков Inport и Outport (Simulink Check) |
| jc_0081: отображение значка блока Inport и Outport | jc_0081 | Проверяйте отображение на блокировки порта (Simulink Check) |
| na_0011: Осциллограф Goto и От блоков | na_0011 | Проверяйте осциллограф От и блоки Goto (Simulink Check) |
| jc_0161: Определение Блоков памяти Хранилища данных | jc_0161 | Проверяйте на использование Блоков памяти Хранилища данных (Simulink Check) |
| jc_0141: Использование блоков switch | jc_0141 | Проверяйте использование блоков switch (Simulink Check) |
| jc_0650: Блокируйте тип данных ввода/вывода с переключающейся функцией | jc_0650 | Проверяйте тип данных ввода и вывода на блоки switch (Simulink Check) |
| jc_0630: Использование Многопортовых блоков switch | jc_0630 | Проверяйте настройки на порты данных в Многопортовых блоках switch (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 (Simulink Check) |
db_0123: имена порта Stateflow
| Никакая соответствующая инструкция JMAAB | Проверяйте на имена портов Stateflow и сопоставленных сигналов (Simulink Check) |
| db_0125: Stateflow локальные данные | db_0125 | Проверяйте определение данных Stateflow (Simulink Check) |
| db_0126: события Defining Stateflow | db_0126 | Проверяйте определение событий Stateflow (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 | Проверяйте переходы в Блок-схемы Stateflow (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: язык Действия блока Chart | jc_0790 | Проверяйте язык действия диаграммы Stateflow (Simulink Check) |
| jc_0702: Использование именованных параметров Stateflow и констант | jc_0702 | Проверяйте использование числовых литералов в Stateflow (Simulink Check) |
| jm_0011: Указатели в Stateflow | jm_0011 | Проверяйте на указатели в диаграммах Stateflow (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 в блоках Stateflow | db_0127 | Проверяйте на выражения MATLAB в диаграммах Stateflow (Simulink Check) |
| jc_0481: Использование твердых сравнений равенства для чисел с плавающей точкой в Stateflow | jc_0481 | Проверяйте использование выражений с плавающей точкой в диаграммах Stateflow (Simulink Check) |
| na_0001: Стандартное использование операторов Stateflow | na_0001 | Проверяйте операторы Stateflow (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: Формат записей в блоке State | jc_0501 | Проверяйте форматирование записи в блоки состояния в диаграммах Stateflow (Simulink Check) |
| jc_0736: Универсальные добавления отступа в блоках Stateflow | 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 Check) |
na_0018: Количество вложенных, если/еще и оператор выбора
| Никакая соответствующая инструкция 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 function | na_0034 | Проверяйте настройки ввода и вывода функций MATLAB (Simulink Check) |
na_0016: Исходные линии функций MATLAB
| Никакая соответствующая инструкция JMAAB | Проверяйте строки кода в функции MATLAB (Simulink Check) |
na_0017: Количество названных функциональных уровней
| Никакая соответствующая инструкция JMAAB | Проверяйте количество вызовов функции в блоках MATLAB function (Simulink Check) |
| na_0021: Строки в функциях MATLAB | na_0021 | Проверяйте использование вектора символов в блоке MATLAB function (Simulink Check) |
na_0022: Рекомендуемые шаблоны для Переключателя/Операторов выбора
| Никакая соответствующая инструкция JMAAB | Проверяйте использование рекомендуемых шаблонов для Переключателя/Операторов выбора (Simulink Check) |
| jc_0801: Запрещенное использование/* и */символов комментария | jc_0801 | Проверяйте на использование символов комментария C-стиля (Simulink Check) |