Проверки Model Advisor на инструкции MAAB

Simulink® Check™ предоставляет Model Advisor проверки MAAB, которые соответствуют подмножеству инструкций MAAB. Можно осуществить проверки с помощью Model Advisor.

Инструкции MAAB и соответствующие проверки Model Advisor получены в итоге в следующей таблице. Не все инструкции имеют проверки Model Advisor. Для некоторых инструкций без проверок Model Advisor не возможно автоматизировать проверку инструкции. Инструкции без соответствующей проверки отмечены как не применимый. Для получения информации об использовании Model Advisor смотрите Регистрации Модели Выполнения документации Simulink.

Инструкция MAAB - версия 3.0Подпапка By Task> Modeling Standards for MAABПроверка Model Advisor
na_0026: Сопоставимая программная среда

Не применяется

Никакая проверка
ar_0001: Имена файловNaming ConventionsПроверяйте имена файлов
ar_0002: Имена каталоговNaming ConventionsПроверяйте имена папок
na_0035: Принятие соглашений о присвоении имен

Не применяется

Никакая проверка

jc_0201: Применимые символы для имен Подсистемы

Naming ConventionsПроверяйте имена подсистемы

jc_0211: Применимые символы для блоков Inport и блоков Выходного порта

Naming ConventionsПроверяйте имена блокировки порта

jc_0221: Применимые символы для имен сигнальной линии

Naming ConventionsИспользование контрольного символа в метках сигнала

na_0030: Применимые символы для имен Шины Simulink

Naming ConventionsПроверяйте имена сигнала шины Simulink

jc_0231: Применимые символы для имен блока

Naming ConventionsИспользование контрольного символа в именах блока

na_0014: Использование локального языка в Simulink и Stateflow

Не применяется

Никакая проверка

na_0006: Инструкции для смешанного использования Simulink и Stateflow

Не применяется

Никакая проверка
na_0007: Инструкции для использования Блок-схем, Таблиц истинности и Машины состояний

Не применяется

Никакая проверка

db_0143: Подобные типы блока на образцовых уровнях

Model ArchitectureПроверяйте на смешивание базисных блоков и подсистем

db_0144: Использование Подсистем

Не применяется

Никакая проверка

db_0040: Иерархия модели

Не применяется

Никакая проверка

na_0037: Использование одного переменных различных условных выражений

Model ArchitectureПроверяйте использование одного переменных различных условных выражений

na_0020: Количество входных параметров к различным подсистемам

Model ArchitectureПроверяйте неиспользуемые порты в Различные Подсистемы

na_0036: вариант По умолчанию

Model ArchitectureПроверяйте использование вариантов по умолчанию

jc_0301: Модели контроллеров

Не применяется

Никакая проверка

jc_0311: Верхний слой / корневой уровень

Не применяется

Никакая проверка
jc_0321: слой Trigger

Не применяется

Никакая проверка

jc_0331: слой Structure

Не применяется

Никакая проверка

jc_0341: слой Потока данных

Не применяется

Никакая проверка

jc_0011: параметры Оптимизации для булевых типов данных

Model Configuration OptionsПроверяйте сигналы логики Реализации как булевы данные (по сравнению с двойным)

jc_0021: Образцовые диагностические настройки

Model Configuration OptionsПроверяйте образцовые диагностические параметры

na_0004: внешний вид модели Simulink

SimulinkПроверяйте на схемы Simulink с помощью нестандартных атрибутов дисплея

db_0043: размер шрифта Simulink и размер шрифта

SimulinkПроверяйте форматирование шрифта

db_0042: Блокировка порта в моделях Simulink

SimulinkПроверяйте расположение и настройку портов

na_0005: видимость имени Блокировки порта в моделях Simulink

SimulinkПроверяйте видимость имен порта блока
na_0027: Использование только стандартных блоков библиотекиSimulinkПроверяйте использование несовместимых блоков

jc_0081: отображение Значка для Блокировки порта

SimulinkПроверяйте отображение на блокировки порта

jm_0002: Блокируйте изменение размеров

Не применяется

Никакая проверка

db_0142: Положение имен блока

SimulinkПроверяйте, появляются ли имена блока ниже блоков

db_0032: внешний вид Сигнала Simulink

SimulinkПроверяйте внешний вид Сигнала Simulink

jc_0061: Отображение имен блока

SimulinkПроверяйте атрибуты дисплея имен блока

db_0146: Инициированные, активированные, условные Подсистемы

SimulinkКонтрольный разряд Триггера и Включает блоки

db_0140: Отображение параметров базисного блока

SimulinkПроверяйте на атрибуты блока не по умолчанию

na_0032: Использование блоков слияния

SimulinkПроверяйте использование блоков слияния

db_0141: Поток сигналов в моделях Simulink

Не применяется

Никакая проверка

jc_0171: Поддержание потока сигналов при использовании Goto и От блоков

SimulinkПроверяйте использование Goto и От блоков между Подсистемами

jm_0010: Блокировка порта называет в моделях Simulink

SimulinkПроверяйте на соответствующий порт и имена сигнала

jc_0281: Именование Триггерной Блокировки порта и Включает Блокировку порта

SimulinkПроверяйте Триггер и Включите имена блока

na_0008: Отображение меток на сигналах

SimulinkПроверяйте метки сигнальной линии

na_0009: Запись по сравнению с распространением меток сигнала

SimulinkПроверяйте на распространенные метки сигнала

db_0097: Положение меток для сигналов и шин

Не применяется

Никакая проверка

db_0081: Несвязанные сигналы, входные параметры блока и блок выходные параметры

SimulinkПроверяйте на неподключенные порты и сигнальные линии

na_0003: Простые логические выражения, в Если блок Condition

SimulinkРегистрируйте логические выражения 'Если' блоки

na_0002: Соответствующая реализация основных логических и числовых операций

SimulinkПроверяйте основные логические и числовые операции

jm_0001: Запрещенный стандарт Simulink блокирует внутренние контроллеры

SimulinkПроверяйте на запрещенные блоки в дискретных контроллерах

hd_0001: Запрещенные приемники Simulink

SimulinkПроверяйте на запрещенные блоки приемника

na_0011: Осциллограф Goto и От блоков

SimulinkПроверяйте осциллограф От и блоки Goto

jc_0141: Использование блока switch

SimulinkПроверяйте использование блоков switch

jc_0121: Использование блока Sum

Не применяется

Никакая проверка

jc_0131: Использование блока Relational Operator

SimulinkПроверяйте использование блоков Оператора отношения

jc_0161: Использование Чтения/Записи/Блоков памяти Хранилища данных

Не применяется

Никакая проверка

db_0112: Индексация

SimulinkПроверяйте на индексацию в блоках

na_0010: Группировка потоков данных в сигналы

SimulinkПроверяйте использование блоков Мультиплексора и шин

db_0110: Настраиваемые параметры в базисных блоках

SimulinkПроверяйте использование настраиваемых параметров в блоках

na_0012: Использование Переключателя по сравнению с Подсистемой Действия, "Если Затем Еще"

Не применяется

Никакая проверка

db_0114: шаблоны Simulink, для Если затем еще, если построения

Не применяется

Никакая проверка

db_0115: шаблоны Simulink для построений случая

Не применяется

Никакая проверка

na_0028: Использование Подсистемы Действия, "Если Затем Еще" Заменить Несколько Переключателей

Не применяется

Никакая проверка

na_0031: Определение перечисляемого значения по умолчанию

SimulinkПроверяйте использование перечисляемых значений

db_0116: шаблоны Simulink для логических построений с логическими блоками

Не применяется

Никакая проверка

db_0117: шаблоны Simulink для векторных сигналов

Не применяется

Никакая проверка

jc_0351: Методы инициализации

Не применяется

Никакая проверка

jc_0111: Направление Подсистемы

SimulinkПроверяйте ориентацию блоков Subsystem

db_0123: имена порта Stateflow

StateflowПроверяйте на имена портов Stateflow и сопоставленных сигналов

db_0129: внешний вид перехода Stateflow

StateflowПроверяйте на внешний вид перехода Stateflow

db_0137: Состояния в машине состояний

StateflowПроверяйте использование исключительных и состояний по умолчанию в машине состояний

db_0133: Использование шаблонов для блок-схем

Не применяется

Никакая проверка

db_0132: Переходы в блок-схемах

StateflowПроверяйте ориентации перехода в блок-схемы

jc_0501: Формат записей в блоке State

StateflowПроверяйте форматирование записи в блоки состояния в диаграммах Stateflow

jc_0511: Установка возвращаемого значения от графической функции

StateflowПроверяйте присвоения возвращаемого значения в графические функции Stateflow

jc_0531: Размещение перехода по умолчанию

StateflowПроверяйте размещение перехода по умолчанию в диаграммы Stateflow

jc_0521: Использование возвращаемого значения от графических функций

StateflowПроверяйте использование возвращаемых значений от графических функций Stateflow

na_0001: Поразрядные операторы Stateflow

StateflowПроверяйте на битовые операции в диаграммах Stateflow

jc_0451: Использование унарных минус на беззнаковом целом в Stateflow

StateflowПроверяйте использование унарных минус операции в диаграммах Stateflow

na_0013: операция Comparison в Stateflow

StateflowПроверяйте на операции сравнения в диаграммах Stateflow

db_0122: сигналы интерфейса Stateflow и Simulink и параметры

StateflowПроверяйте на сильный ввод данных с вводом-выводом Simulink

db_0125: Осциллограф внутренних сигналов и локальных вспомогательных переменных

StateflowПроверяйте объекты данных Stateflow с локальным осциллографом

jc_0481: Использование твердых сравнений равенства для чисел с плавающей точкой в Stateflow

StateflowПроверяйте использование выражений с плавающей точкой в диаграммах Stateflow

jc_0491: Повторное использование переменных в одном осциллографе Stateflow

StateflowПроверяйте повторное использование Переменных в осциллографе Stateflow

jc_0541: Использование настраиваемых параметров в Stateflow

Не применяется

Никакая проверка

db_0127: команды MATLAB в Stateflow

StateflowПроверяйте на выражения MATLAB в диаграммах Stateflow

jm_0011: Указатели в Stateflow

StateflowПроверяйте на указатели в диаграммах Stateflow

db_0126: Осциллограф событий

Не применяется

Никакая проверка

jm_0012: широковещательные сообщения События

StateflowПроверяйте на широковещательные сообщения события в диаграммах Stateflow

db_0150: шаблоны Конечного автомата для условий

Не применяется

Никакая проверка

db_0151: шаблоны Конечного автомата для действий перехода

StateflowПроверяйте действия перехода в диаграммы Stateflow

db_0148: шаблоны Блок-схемы для условий

Не применяется

Никакая проверка

db_0149: шаблоны Блок-схемы для действий условия

Не применяется

Никакая проверка

db_0134: шаблоны Блок-схемы, для Если построения

Не применяется

Никакая проверка

db_0159: шаблоны Блок-схемы для построений случая

Не применяется

Никакая проверка

db_0135: построения цикла for шаблонов Блок-схемы

Не применяется

Никакая проверка
na_0038: Уровни в диаграммах StateflowStateflowПроверяйте вложенные состояния в диаграммы Stateflow

na_0039: Использование Simulink в диаграммах Stateflow

StateflowПроверяйте использование Simulink в диаграммах Stateflow

na_0040: Количество состояний на контейнер

StateflowКонтрольное число состояний Stateflow на контейнер

na_0041: Выбор функционального типа

Не применяется

Никакая проверка

na_0042: Местоположение функций Simulink

Не применяется

Никакая проверка

na_0033: Использование Перечислимых типов

Не применяется

Никакая проверка

na_0018: Количество вложенных, если/еще и оператор выбора

MATLAB FunctionsПроверяйте метрики функции MATLAB

na_0019: Ограниченные Имена переменных

MATLAB FunctionsПроверяйте использование ограниченных имен переменных

na_0025: Заголовок функции MATLAB

Не применяется

Никакая проверка

na_0034: настройки ввода/вывода блока MATLAB function

MATLAB FunctionsПроверяйте настройки ввода и вывода функций MATLAB
na_0024: Глобальные переменныеMATLAB FunctionsПроверяйте код MATLAB на глобальные переменные

na_0022: Рекомендуемые шаблоны для Переключателя/Операторов выбора

MATLAB FunctionsПроверяйте использование рекомендуемых шаблонов для Переключателя/Операторов выбора

na_0016: Исходные строки функций MATLAB

MATLAB FunctionsПроверяйте метрики функции MATLAB

na_0017: Количество названных функциональных уровней

MATLAB FunctionsПроверяйте количество вызовов функции в блоках MATLAB function

na_0021: Строки

MATLAB FunctionsПроверяйте использование вектора символов в блоке MATLAB function