| na_0026: Сопоставимая программная среда | Никакая проверка |
| ar_0001: Имена файлов | Проверяйте имена файлов (Simulink Check) |
| ar_0002: Имена каталогов | Проверяйте имена папок (Simulink Check) |
| na_0035: Принятие соглашений о присвоении имен | Никакая проверка |
jc_0201: Применимые символы для имен Подсистемы | Проверяйте, что подсистема называет (Simulink Check) |
jc_0211: Применимые символы для блоков Inport и блоков Выходного порта | Проверяйте, что блокировка порта называет (Simulink Check) |
jc_0221: Применимые символы для имен сигнальной линии | Использование контрольного символа в сигнале маркирует (Simulink Check) |
na_0030: Применимые символы для имен Шины Simulink | Проверяйте имена сигнала шины Simulink (Simulink Check) |
jc_0231: Применимые символы для имен блока | Использование контрольного символа в именах блока (Simulink Check) |
na_0014: Использование локального языка в Simulink и Stateflow | Никакая проверка |
na_0006: Инструкции для смешанного использования Simulink и Stateflow | Никакая проверка |
| na_0007: Инструкции для использования Блок-схем, Таблиц истинности и Машины состояний | Никакая проверка |
db_0143: Подобные типы блока на уровнях модели | Проверяйте на смешивание базисных блоков и подсистем (Simulink Check) |
db_0144: Использование Подсистем | Никакая проверка |
db_0040: Иерархия модели | Никакая проверка |
na_0037: Использование одного переменных различных условных выражений | Проверяйте использование одного переменных различных условных выражений (Simulink Check) |
na_0020: Количество входных параметров к различным подсистемам | Проверяйте неиспользуемые порты в Различные Подсистемы (Simulink Check) |
na_0036: вариант По умолчанию | Проверяйте использование вариантов по умолчанию (Simulink Check) |
jc_0301: Модели контроллеров | Никакая проверка |
jc_0311: Верхний слой / корневой уровень | Никакая проверка |
| jc_0321: слой Trigger | Никакая проверка |
jc_0331: слой Structure | Никакая проверка |
jc_0341: слой Потока данных | Никакая проверка |
jc_0011: параметры Оптимизации для булевых типов данных | Проверяйте сигналы логики Реализации как булевы данные (по сравнению с двойным) (Simulink Check) |
jc_0021: диагностические настройки Модели | Проверяйте диагностические параметры модели (Simulink Check) |
na_0004: внешний вид модели Simulink | Проверяйте на схемы Simulink с помощью нестандартных атрибутов дисплея (Simulink Check) |
db_0043: размер шрифта Simulink и размер шрифта | Проверяйте форматирование шрифта (Simulink Check) |
db_0042: Блокировка порта в моделях Simulink | Проверяйте расположение и настройку портов (Simulink Check) |
na_0005: видимость имени Блокировки порта в моделях Simulink | Проверяйте, что видимость порта блока называет (Simulink Check) |
| na_0027: Использование только стандартных библиотечных блоков | Проверяйте использование несовместимых блоков (Simulink Check) |
jc_0081: отображение Значка для Блокировки порта | Проверяйте отображение на блокировки порта (Simulink Check) |
jm_0002: Блокируйте изменение размеров | Никакая проверка |
db_0142: Положение имен блока | Проверяйте, появляются ли имена блока ниже блоков (Simulink Check) |
db_0032: внешний вид Сигнала Simulink | Проверяйте внешний вид Сигнала Simulink (Simulink Check) |
jc_0061: Отображение имен блока | Проверяйте атрибуты дисплея имен блока (Simulink Check) |
db_0146: Инициированные, активированные, условные Подсистемы | Контрольный разряд Триггера и Включает блоки (Simulink Check) |
db_0140: Отображение параметров базисного блока | Проверяйте на (Simulink Check) атрибутов блока не по умолчанию |
na_0032: Использование блоков слияния | Проверяйте использование блоков слияния |
db_0141: Поток сигналов в моделях Simulink | Никакая проверка |
jc_0171: Поддержание потока сигналов при использовании Goto и От блоков | Проверяйте использование Goto и От блоков между Подсистемами (Simulink Check) |
jm_0010: Блокировка порта называет в моделях Simulink | Проверяйте на соответствующий порт и имена сигнала (Simulink Check) |
jc_0281: Именование Триггерной Блокировки порта и Включает Блокировку порта | Проверяйте Триггер и Включите имена блока (Simulink Check) |
na_0008: Отображение меток на сигналах | Проверяйте, что сигнальная линия маркирует (Simulink Check) |
na_0009: Запись по сравнению с распространением меток сигнала | Проверка на распространенный сигнал маркирует (Simulink Check) |
db_0097: Положение меток для сигналов и шин | Никакая проверка |
db_0081: Несвязанные сигналы, входные параметры блока и блок выходные параметры | Проверяйте на неподключенные порты и сигнальные линии (Simulink Check) |
na_0003: Простые логические выражения, в Если блок Condition | Регистрируйте логические выражения Если блоки (Simulink Check) |
na_0002: Соответствующая реализация основных логических и числовых операций | Проверяйте основные логические и числовые операции (Simulink Check) |
jm_0001: Запрещенный стандарт Simulink блокирует внутренние контроллеры | Проверяйте на запрещенные блоки в дискретных контроллерах (Simulink Check) |
hd_0001: Запрещенные приемники Simulink | Проверяйте на запрещенные блоки приемника (Simulink Check) |
na_0011: Осциллограф Goto и От блоков | Проверяйте осциллограф От и блоки Goto (Simulink Check) |
jc_0141: Использование блока switch | Проверяйте использование блоков switch (Simulink Check) |
jc_0121: Использование блока Sum | Никакая проверка |
jc_0131: Использование блока Relational Operator | Проверяйте использование блоков Оператора отношения (Simulink Check) |
jc_0161: Использование Чтения/Записи/Блоков памяти Хранилища данных | Никакая проверка |
db_0112: Индексация | Проверяйте на индексацию в блоках (Simulink Check) |
na_0010: Группировка потоков данных в сигналы | Проверяйте использование шин и блоков Мультиплексора (Simulink Check) |
db_0110: Настраиваемые параметры в базисных блоках | Проверяйте использование настраиваемых параметров в блоках (Simulink Check) |
na_0012: Использование Переключателя по сравнению с Подсистемой Действия, "Если Затем Еще" | Никакая проверка |
db_0114: шаблоны Simulink, для Если затем еще, если построения | Никакая проверка |
db_0115: шаблоны Simulink для построений случая | Никакая проверка |
na_0028: Использование Подсистемы Действия, "Если Затем Еще" Заменить Несколько Переключателей | Никакая проверка |
na_0031: Определение перечисляемого значения по умолчанию | Проверяйте использование перечисляемых значений (Simulink Check) |
db_0116: шаблоны Simulink для логических построений с логическими блоками | Никакая проверка |
db_0117: шаблоны Simulink для векторных сигналов | Никакая проверка |
jc_0351: Методы инициализации | Никакая проверка |
jc_0111: Направление Подсистемы | Проверяйте ориентацию блоков Subsystem (Simulink Check) |
db_0123: имена порта Stateflow | Проверяйте на имена портов Stateflow и сопоставленных сигналов (Simulink Check) |
db_0129: внешний вид перехода Stateflow | Проверяйте на внешний вид перехода Stateflow (Simulink Check) |
db_0137: Состояния в машине состояний | Проверяйте использование исключительных и состояний по умолчанию в машине состояний (Simulink Check) |
db_0133: Использование шаблонов для блок-схем | Никакая проверка |
db_0132: Переходы в блок-схемах | Проверяйте ориентации перехода в блок-схемы (Simulink Check) |
jc_0501: Формат записей в блоке State | Проверяйте форматирование записи в блоки состояния в диаграммах Stateflow (Simulink Check) |
jc_0511: Установка возвращаемого значения от графической функции | Проверяйте присвоения возвращаемого значения в графические функции Stateflow (Simulink Check) |
jc_0531: Размещение перехода по умолчанию | Проверяйте размещение перехода по умолчанию в диаграммы Stateflow (Simulink Check) |
jc_0521: Использование возвращаемого значения от графических функций | Проверяйте использование возвращаемых значений от графических функций Stateflow (Simulink Check) |
na_0001: Поразрядные операторы Stateflow | Проверяйте на битовые операции в диаграммах Stateflow (Simulink Check) |
jc_0451: Использование унарных минус на беззнаковом целом в Stateflow | Проверяйте использование унарных минус операции в диаграммах Stateflow (Simulink Check) |
na_0013: операция Comparison в Stateflow | Проверяйте на операции сравнения в диаграммах Stateflow (Simulink Check) |
db_0122: сигналы интерфейса Stateflow и Simulink и параметры | Проверяйте на Сильный Ввод Данных с вводом-выводом Simulink (Simulink Check) |
db_0125: Осциллограф внутренних сигналов и локальных вспомогательных переменных | Проверяйте объекты данных Stateflow с локальным осциллографом (Simulink Check) |
jc_0481: Использование твердых сравнений равенства для чисел с плавающей точкой i01n Stateflow | Проверяйте использование выражений с плавающей точкой в диаграммах Stateflow (Simulink Check) |
jc_0491: Повторное использование переменных в одном осциллографе Stateflow | Проверяйте повторное использование переменных в осциллографе Stateflow (Simulink Check) |
jc_0541: Использование настраиваемых параметров в Stateflow | Никакая проверка |
db_0127: команды MATLAB в Stateflow | Проверяйте на выражения MATLAB в диаграммах Stateflow (Simulink Check) |
jm_0011: Указатели в Stateflow | Проверяйте на указатели в диаграммах Stateflow (Simulink Check) |
db_0126: Осциллограф событий | Никакая проверка |
jm_0012: широковещательные сообщения События | Проверяйте на широковещательные сообщения события в диаграммах Stateflow (Simulink Check) |
db_0150: шаблоны Конечного автомата для условий | Никакая проверка |
db_0151: шаблоны Конечного автомата для действий перехода | Проверяйте действия перехода в диаграммы Stateflow (Simulink Check) |
db_0148: шаблоны Блок-схемы для условий | Никакая проверка |
db_0149: шаблоны Блок-схемы для действий условия | Никакая проверка |
db_0134: шаблоны Блок-схемы, для Если построения | Никакая проверка |
db_0159: шаблоны Блок-схемы для построений случая | Никакая проверка |
db_0135: построения цикла for шаблонов Блок-схемы | Никакая проверка |
| na_0038: Уровни в диаграммах Stateflow | Проверяйте вложенные состояния в диаграммы Stateflow (Simulink Check) |
na_0039: Использование Simulink в диаграммах Stateflow | Проверяйте использование Simulink в диаграммах Stateflow (Simulink Check) |
na_0040: Количество состояний на контейнер | Контрольное число состояний Stateflow на контейнер (Simulink Check) |
na_0041: Выбор функционального типа | Никакая проверка |
na_0042: Местоположение функций Simulink | Никакая проверка |
na_0033: Использование Перечислимых типов | Никакая проверка |
na_0018: Количество вложенных, если/еще и оператор выбора | Проверяйте метрики функции MATLAB (Simulink Check) |
na_0019: Ограниченные Имена переменных | Проверяйте использование ограниченных имен переменных (Simulink Check) |
na_0025: Заголовок функции MATLAB | Никакая проверка |
na_0034: настройки ввода/вывода блока MATLAB function | Проверяйте настройки ввода и вывода функций MATLAB (Simulink Check) |
| na_0024: Глобальные переменные | Проверяйте код MATLAB на глобальные переменные (Simulink Check) |
na_0022: Рекомендуемые шаблоны для Переключателя/Операторов выбора | Проверяйте использование рекомендуемых шаблонов для Переключателя/Операторов выбора (Simulink Check) |
na_0016: Исходные линии функций MATLAB | Проверяйте метрики функции MATLAB (Simulink Check) |
na_0017: Количество названных функциональных уровней | Проверяйте количество вызовов функции в блоках MATLAB function (Simulink Check) |
na_0021: Строки | Проверяйте использование вектора символов в блоке MATLAB function (Simulink Check) |