MATLAB Японии автомобильные проверки консультативного совета

MATLAB Японии автомобильные проверки консультативного совета

Консультативный совет MATLAB® Automotive Японии (JMAAB), проверки упрощают разработку и поиск и устранение неисправностей моделей, из которых код сгенерирован для автомобильных приложений.

Model Advisor выполняет контроль лицензии Simulink® Check™, когда вы осуществляете проверки JMAAB.

Проверки JMAAB классифицируются на следующим группам:

Соглашения о присвоении имен

Проверки MATLAB Японии автомобильного консультативного совета (JMAAB) связаны с соглашениями о присвоении имен.

Для получения дополнительной информации смотрите Проверки Модели на Податливость Инструкции MATLAB Японии автомобильного консультативного совета (JMAAB).

Архитектура модели

Проверки MATLAB Японии автомобильного консультативного совета (JMAAB) связаны с архитектурой модели.

Для получения дополнительной информации смотрите Проверки Модели на Податливость Инструкции MATLAB Японии автомобильного консультативного совета (JMAAB).

Параметры конфигурации модели

Проверки MATLAB Японии автомобильного консультативного совета (JMAAB) связаны с параметрами конфигурации модели.

Для получения дополнительной информации смотрите Проверки Модели на Податливость Инструкции MATLAB Японии автомобильного консультативного совета (JMAAB).

Simulink

Проверки MATLAB Японии автомобильного консультативного совета (JMAAB) связаны с блоками Simulink и компонентами.

Для получения дополнительной информации смотрите Проверки Модели на Податливость Инструкции MATLAB Японии автомобильного консультативного совета (JMAAB).

Stateflow

MATLAB Японии автомобильный консультативный совет (JMAAB) связанные с проверками диаграммы Stateflow и компоненты.

Для получения дополнительной информации смотрите Проверки Модели на Податливость Инструкции MATLAB Японии автомобильного консультативного совета (JMAAB).

Функции MATLAB

Проверки MATLAB Японии автомобильного консультативного совета (JMAAB) связаны с функциями MATLAB.

Для получения дополнительной информации смотрите Проверки Модели на Податливость Инструкции MATLAB Японии автомобильного консультативного совета (JMAAB).

Смотрите также

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

ID проверки: mathworks.maab.db_0143

Проверяйте на системы, которые смешивают примитивные блоки и подсистемы.

Описание

Необходимо спроектировать каждый уровень модели с базовыми блоками того же типа, например, только подсистемы или только примитивные (основные) блоки. Если вы маскируете свою подсистему и устанавливаете MaskType на непустую строку, Model Advisor обрабатывает подсистему как базисный блок.

Доступный с Simulink Check.

Введите параметры

Чтобы изменить список блоков, которые отмечает проверка, можно использовать Model Advisor Configuration Editor.

  1. Откройте Редактора конфигурации Модели и перейдите к Check for mixing basic blocks and subsystems.

  2. В панели Input Parameters, к:

    • Позвольте блоки, заданные MAAB 3.0, от Standard, выберите MAAB 3.0. Таблица Block type list обеспечивает блоки, которые MAAB 3.0 позволяет на любом уровне модели.

    • Чтобы задать блоки, чтобы или позволить или запретить, от Standard, выбирают Custom. В Treat blocktype list as выберите Allowed или Prohibited. В таблице Block type list можно добавить или удалить блоки.

  3. Нажмите Apply.

  4. Сохраните настройку. Когда вы осуществляете проверку с помощью этой настройки, проверка использует заданные входные параметры.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Уровень в модели включает блоки подсистемы и примитивные блоки.

Переместите невиртуальные блоки в подсистему.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

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

ID проверки: mathworks.maab.jc_0011

Проверяйте параметр оптимизации на булевы типы данных.

Описание

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

Доступный с Simulink Check.

Предпосылка

Необходимая как условие инструкция MAAB, Версия 3.0, для этой проверки являются na_0002: Соответствующая реализация основных логических и числовых операций.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Параметр конфигурации для Implement logic signals as boolean data (vs. double) не установлен. Установите флажок Implement logic signals as boolean data (vs. double) в диалоговом окне Configuration Parameters.

Возможности и ограничения

  • Не работает на моделях библиотеки.

  • Не позволяет исключения блоков или графиков.

Смотрите также

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

ID проверки: mathworks.maab.na_0004

Проверяйте атрибуты установки внешнего вида модели.

Описание

Настройки внешнего вида модели требуются, чтобы соответствовать инструкциям, когда модель выпущена.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Панель инструментов не отображается. Выберите Modeling> Environment> Toolstrip.
Строка состояния не отображается. Выберите Modeling> Environment> Status Bar.
Sample Time> Colors выбран. Очистите Debug> Information Overlays> Colors.
Wide Nonscalar Lines очищен. Выберите Debug > Information Overlays> Nonscalar Signals.
Viewer Indicators очищен. Выберите Debug> Information Overlays> Viewers.
Testpoint Indicators очищен. Выберите Debug> Information Overlays> Log & Testpoint.
Port Data Types выбран. Очистите Debug> Information Overlays> Port Data Type.
Storage Class выбран. Очистите Debug> Information Overlays> Storage Class.
Signal Dimensions выбран. Очистите Debug> Information Overlays> Signal Dimensions.
Execution Context Indicator выбран. Очистите Display> Signals & Ports> Execution Context Indicator.
Model Browser выбран. Очистите Modeling> Environment> Model Browser.
Sorted Execution Order выбран. Очистите Debug> Information Overlays> Execution Order.
Model Block Version выбран. Очистите Debug> Information Overlays> Ref. Model Version.
Model Block I/O Mismatch выбран. Очистите Debug> Information Overlays> Ref. Model I/O Mismatch.
Library Links является набором Disabled, User Defined, или All. Выберите Debug> Information Overlays> Show All Links.
Linearization Indicators очищен. Выберите Debug> Information Overlays> Linearization Indicators.
Блокируйтесь фоны не являются белыми. Для каждой перечисленной схемы кликните по холсту и выберите Format> Background.
Блокируйтесь передние планы не являются черными.Выберите Format> Foreground Color> Black.
Схемы не имеют белых фонов. Выберите Diagram> Format> Canvas Color> White.
Схемы не имеют набора фактора изменения масштаба к 100%. Для каждой перечисленной схемы выберите Modeling> Environment > Zoom> Normal View (100%).

Результаты действия

Нажатие на Modify обновляет атрибуты дисплея, чтобы соответствовать инструкции.

Возможности и ограничения

  • Не работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.

  • Не позволяет исключения блоков или графиков.

Смотрите также

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

ID проверки: mathworks.maab.db_0043

Проверяйте на различие в размерах шрифта и размерах шрифта.

Описание

За исключением свободных текстовых аннотаций в модели, текстовых элементах, таких как имена блока, аннотации блока и метки сигнала, должны иметь тот же стиль шрифта и размер шрифта. Выберите стиль шрифта и размер шрифта, который является четким и портативным (конвертируемый между платформами), такими как Arial или Times New Roman 12 точек. Чтобы задать правила шрифта для сеанса Simulink, из редактора Simulink выбирают Diagram> Format> Font Styles for Model.

Доступный с Simulink Check.

Введите параметры

Font Name

Примените заданный шрифт ко всем текстовым элементам. Когда вы задаете Common (значение по умолчанию), проверка идентифицирует различные шрифты, используемые в вашей модели. Несмотря на то, что можно задать другие шрифты, шрифтами, доступными из выпадающего списка, является Arial, Courier New, Georgia, Times New Roman, Arial Black, и Verdana.

Font Size

Примените заданный размер шрифта ко всем текстовым элементам. Когда вы задаете Common (значение по умолчанию), проверка идентифицирует различные размеры шрифта, используемые в вашей модели. Несмотря на то, что можно задать другие размеры шрифта, размерами шрифта, доступными из выпадающего списка, является 6, 8, 9, 10, 12, 14, 16.

Font Style

Примените заданный стиль шрифта ко всем текстовым элементам. Когда вы задаете Common (значение по умолчанию), проверка идентифицирует различные стили шрифта, используемые в вашей модели. Стилями шрифта, доступными из выпадающего списка, является normal, bold, italic, и bold italic.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Шрифты или размеры шрифта для текстовых элементов в модели не являются сопоставимыми или портативными.Задайте значения для параметров шрифта и на правой панели Model Advisor, нажмите Modify all Fonts, или вручную измените шрифты и размеры шрифта текстовых элементов в модели, таким образом, они являются сопоставимыми и портативными.

Возможности и ограничения

  • Инструкция JMAAB, ограничения Версии 5.1:

    • Проверка не отмечает метки состояния Stateflow, и поле называют настройки стиля шрифта и стиль шрифта. (ID Sub: c

    • Проверка не отмечает метки состояния Stateflow, и поле называют настройки размера шрифта. (ID Sub: d

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.

  • Позволяет исключения блоков и графиков.

Результаты действия

На правой панели Model Advisor, нажатие по Modify all Fonts изменяет размер шрифта и размер шрифта всех текстовых элементов в модели согласно значениям, которые вы задаете во входных параметрах.

Для входных параметров, если вы задаете Common, нажатие на Modify all Fonts изменяет размеры шрифта и размеры шрифта всех текстовых элементов в модели к обычно используемым шрифтам, размеры шрифта или стили шрифта.

Смотрите также

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

ID проверки: mathworks.maab.db_0042

Проверяйте, содержит ли модель порты с недопустимым положением и настройкой.

Описание

В моделях порты должны выполнить следующие правила:

  • Поместите блоки Inport на левой стороне схемы. Приемлемо переместить блок Inport направо только, чтобы предотвратить пересечения сигнала.

  • Поместите блоки Outport в правую сторону схемы. Приемлемо переместить блок Outport налево только, чтобы предотвратить пересечения сигнала.

  • Избегайте использования дублирующихся блоков Inport на уровне подсистемы, если это возможно.

  • Не используйте дублирующиеся блоки Inport на корневом уровне.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Блоки Inport слишком далеки направо и результат в лево-плавных сигналах. Переместите заданные блоки Inport налево.
Блоки Outport слишком далеки налево и результат в лево-плавных сигналах. Переместите заданные блоки Output направо.
Порты не имеют ориентации по умолчанию. Измените диаграмму модели, таким образом, что сигнальные линии для выходных портов вводят сторону блока, и сигнальные линии для входных портов выходят из правой стороны блока.
Порты являются дублирующимися блоками Inport.
  • Если дублирующиеся блоки Inport находятся в подсистеме, удаляют их, если это возможно.

  • Если дублирующиеся блоки Inport на корневом уровне, удаляют их.

Возможности и ограничения

  • Инструкция JMAAB, ограничения Версии 5.1:

    • Проверка не отмечает, когда Inports не размещаются на левой стороне схемы. (ID Sub: a

    • Проверка не отмечает, когда Выходные порты не помещаются в правую сторону схемы. (ID Sub: b

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

  • Не анализирует пересечения сигнала

Смотрите также

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

ID проверки: mathworks.maab.db_0142

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

Описание

Если показано, имя блока должно появиться ниже блока.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Блоки имеют имена, которые не появляются ниже блоков. Определите имя блока, чтобы появиться ниже блоков.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

Смотрите также

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

ID проверки: mathworks.maab.jc_0061

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

Описание

Когда подсистема и имена блока предоставляют описательную информацию, отображают имена. Если функция блока известна от ее внешнего вида, не отображайте имя. Блоки с именами, которые очевидны из внешнего вида блока:

  • От

  • Goto

  • Земля

  • Логика

  • MinMax

  • ModelReference

  • MultiPortSwitch

  • Продукт

  • Оператор отношения

  • Насыщать

  • Переключатель

  • Терминатор

  • Тригонометрия

  • Unit Delay

  • Сумма

  • Сравните с постоянным

  • Сравните с нулем

Доступный с Simulink Check.

Введите Параметры.  Чтобы задать пользовательские блоки и маски, чтобы включать в эту проверку, используйте Model Advisor Configuration Editor.

  1. Откройте Редактора конфигурации Модели и перейдите к Check the display attributes of block names. В панели Input Parameters выберите Custom.

  2. Используйте таблицу Block type list, чтобы включать или исключить блоки и маски от проверки.

  3. Нажмите Apply.

  4. Сохраните настройку. Когда вы осуществляете проверку с помощью этой настройки, проверка использует входные параметры, которые вы задали.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие

Имя отображено и очевидно из внешнего вида блока.

Скройте имя блока путем выбора Format > Hide Automatic Block Name.

Имя не является описательным. А именно, имя блока:

  • Не очевидный из внешнего вида блока.

  • Имя по умолчанию добавлено с целым числом.

Измените имя блока, чтобы предоставить описательную информацию или скрыть имя блока путем выбора Format > Hide Automatic Block Name.

Имя является описательным и не отображенное. Описательные имена:

  • Предусмотренный блоки, которые не очевидны из внешнего вида блока.

  • Не имя по умолчанию добавлено с целым числом.

Измените блоки, чтобы показать имя блока путем отмены выбора Format > Hide Automatic Block Name.
Проверка не оценивает мои пользовательские блоки и маски.Используйте Редактора конфигурации Модели, чтобы задать ваши собственные проверки и блоки.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.

  • Позволяет исключения блоков и графиков.

Смотрите также

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

ID проверки: mathworks.maab.db_0146

Проверяйте положение блоков Enable и Trigger.

Описание

Найдите блоки, которые задают подсистемы как условное выражение или итеративный наверху схемы подсистемы.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Trigger, Enable и блоки Action Port не наверху схемы подсистемы. Переместите Trigger, Enable и блоки Action Port к верхней части схемы подсистемы.
For Each, For Iterator и блоки While Iterator не находятся в том же месте на схеме подсистемы.Переместите For Each, For Iterator и блоки While Iterator, таким образом, они в универсальном местоположении на схеме подсистемы.

Возможности и ограничения

  • Инструкция JMAAB, ограничение Версии 5.1: проверка не проверяет, что For Each или блоки For Iterator однородно расположены.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Не анализирует содержимое в подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

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

ID проверки: mathworks.maab.db_0140

Идентифицируйте блоки, которые используют значения параметров блоков не по умолчанию, которые не отображены в диаграмме модели.

Описание

Диаграммы модели должны отобразить параметры блоков, которые имеют значения кроме значений по умолчанию. Один способ отобразить эту информацию при помощи вкладки Block Annotation в диалоговом окне Block Properties. Чтобы автоматически зафиксировать предупреждения, сопоставленные с этой проверкой, смотрите, Автоматически Фиксируют Отображение Параметров блоков Не по умолчанию.

Чтобы настроить список параметров блоков не по умолчанию, которые отмечаются проверкой, смотрите, Настраивают Проверку Model Advisor на Атрибуты Блока Не по умолчанию.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Параметры блоков, которые имеют значения кроме значений по умолчанию и значения, не находятся в отображении модели.В диалоговом окне Block Properties используйте вкладку Block Annotation, чтобы добавить аннотации параметров блоков.

Возможности и ограничения

  • Только настраиваемый для параметров блоков в IntrinsicDialogParameters. Смотрите общие свойства блока (Simulink)

  • Инструкция JMAAB, ограничение Версии 5.1: проверка отмечает маскированные блоки, которые отображают информацию о параметре, но не используют аннотации блока. Инструкции JMAAB 5.1 позволяют маскированным блокам отображать информацию о параметре.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.

  • Позволяет исключения блоков и графиков.

Совет

Если вы используете add_block функция с 'built-in/blocktype' как путь исходного блока для Simulink встроенные блоки, некоторые значения параметров по умолчанию некоторых блоков отличаются от значений по умолчанию, которые вы получаете, если вы добавили те блоки в интерактивном режиме при помощи Simulink.

Смотрите также

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

ID проверки: mathworks.maab.db_0081

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

Описание

Несвязанные входные параметры должны быть соединены, чтобы основать блоки. Несвязанные выходные параметры должны быть соединены с блоками терминатора строки.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Блоки имеют несвязанные вводы или выводы. Соедините несвязанные линии с блоками, заданными проектом или Основываться или блоки Терминатора.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

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

ID проверки: mathworks.maab.jc_0141

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

Описание

Проверяет, что вход управления блоком switch (второй вход) является булевым значением и что блок сконфигурирован, чтобы передать первый вход, когда вход управления является ненулевым.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Вход управления блоком switch (второй вход) не является булевым значением.Измените тип данных входа управления к булевской переменной.
Блок switch не сконфигурирован, чтобы передать первый вход, когда вход управления является ненулевым. Установите параметры блоков Criteria for passing first input на u2 ~ =0.

Возможности и ограничения

  • Не работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.

  • Позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой. Однако разовая редактированием проверка эту проверку не проверяет, что тип данных управления ввел, булево значение.

Смотрите также

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

ID проверки: mathworks.maab.jc_0131

Проверяйте положение блоков Constant, используемых в блоках Relational Operator.

Описание

Когда оператор отношения используется, чтобы сравнить сигнал с постоянным значением, постоянный вход должен быть вторым, более низким входом.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Блоки Relational Operator имеют блок Constant на первом, верхнем входе. Переместите блок Constant во второй, более низкий вход.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.

  • Позволяет исключения блоков и графиков.

Смотрите также

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

ID проверки: mathworks.maab.db_0112

Проверяйте, что блоки используют сопоставимую векторную индексацию.

Описание

Проверяйте, что блоки используют сопоставимую векторную индексацию. Когда возможно, используйте основанную на нуле индексацию, чтобы повысить эффективность кода.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow®.

Проверка проверяет сопоставимую индексацию для следующих объектов:

ОбъектИндексация
  • Блок Assignment

  • Для блока Iterator

  • Блок Find

  • Многопортовый блок switch

  • Селекторный блок

  • Основанная на нуле индексация ([0, 1, 2...])

  • Индексация на основе одна ([1, 2, 3...])

  • Диаграммы Stateflow с языком действия C

Основанная на нуле индексация ([0, 1, 2...])
  • Блок MATLAB function

  • Блок Fcn

  • Системные блоки MATLAB

  • Таблицы истинности

  • Таблицы переходов состояний

  • Диаграммы Stateflow с языком действия MATLAB

  • Функции MATLAB в диаграммах Stateflow

Индексация на основе одна ([1, 2, 3...])

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Объекты в вашей модели используют индексацию на основе одну, но могут быть сконфигурированы для основанной на нуле индексации.Сконфигурируйте объекты для основанной на нуле индексации.
Объекты в вашей модели используют противоречивую индексацию.Если возможно, сконфигурируйте объекты для основанной на нуле индексации. Если ваша модель содержит объекты, которые не могут быть сконфигурированы для основанной на нуле индексации, сконфигурировать объекты для индексации на основе одной.

Возможности и ограничения

  • Инструкция JMAAB, ограничение Версии 5.1: Эта проверка не может быть сконфигурирована, чтобы поддержать индексацию на основе одну. (ID Sub: a2)

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция MAAB, Версия 3.0: db_0112: Индексация в документации Simulink.

  • Инструкция JMAAB, Версия 5.1: db_0112: Использование индекса

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

ID проверки: mathworks.maab.db_0110

Проверяйте, задают ли настраиваемые параметры выражения, преобразования типа данных или операции индексации.

Описание

Чтобы сделать параметр настраиваемым, необходимо ввести базисный блок без использования вычислений MATLAB или сценариев. Например, не используйте:

  • Выражения

  • Преобразования типа данных

  • Выборы строк или столбцов

Поддерживаемые блоки включают:

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Блоки имеют настраиваемый параметр, который задает выражение, преобразование типа данных или операцию индексации. В каждом случае переместите вычисление за пределами блока, например, путем выполнения вычисления с серией блоков Simulink, или предварительно вычислите значение как новую переменную.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Не оценивает параметры маски.

  • Позволяет исключения блоков и графиков.

Смотрите также

Проверяйте использование блока Discrete-Time Integrator

ID проверки: mathworks.jmaab.jc_0627

Проверяйте использование блока Discrete-Time Integrator.

Описание

Для блоков Discrete-Time Integrator проверяйте:

  • Параметры блоков Limit output выбраны.

  • Пределы насыщения заданы с помощью Simulink.Parameter или MPT.Parameter возразите, чьим типом данных является auto.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Параметры блоков Limit output очищеныВыберите параметры блоков Discrete-Time Integrator Limit output.
Предел насыщения задан Объектом параметра, типом данных которого не является autoИзмените тип данных для Объекта параметра к auto.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0627: Инструкция для использования блока Discrete-Time Integrator

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

ID проверки: mathworks.jmaab.jc_0643

Проверяйте блоки, с тем, тип данных выходного сигнала которых является фиксированной точкой, и смещение не является нулем.

Описание

Для блоков, которые имеют тип данных с фиксированной точкой для их выходных сигналов, проверяйте, что параметры блоков Bias установлены в 0.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие

В Ассистенте Типа данных Mode установлен в Fixed Point но значением для Bias не является 0.

Измените параметры блоков Bias в 0.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0643: установка фиксированной точки

Проверяйте тип данных ввода и вывода на блоки switch

ID проверки: mathworks.jmaab.jc_0650

Проверяйте, являются ли типы входных и выходных данных для портов данных тем же самым для переключения функциональных блоков

Описание

Для Switch Multiport Switch и блоки Index Vector, проверяют, что порты входных и выходных данных имеют совпадающий тип данных.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Порты входных и выходных данных имеют различные типы данных.Измените порт данных ввода или вывода, таким образом, тип данных является тем же самым для обоих.

Возможности и ограничения

  • Анализирует содержимое во всех подсистемах маскированных.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0650: Блокируйте тип данных ввода/вывода с переключающейся функцией

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

ID проверки: mathworks.jmaab.jc_0611

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

Описание

Для блоков продукта с операторами деления проверяйте, что тот же знаковый бит используется в типах данных входного сигнала. Знаковыми битами является любой signed или unsigned.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Типы данных входного сигнала имеют различные знаковые биты.Обновите производственный блок так знаковый бит для соответствия типов данных входного сигнала.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0611: Входной сигнал для блоков умножения и деления

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

ID проверки: mathworks.maab.db_0132

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

Описание

Следующие правила применяются к переходам в блок-схемах:

  • Чертите условия перехода горизонтально.

  • Чертите переходы с действием условия вертикально.

  • Соединения в блок-схемах должны иметь выходной переход по умолчанию.

  • Переходы в блок-схемах не должны комбинировать условие и действие.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Модель включает переход с условием, которое не чертится горизонтально или действие перехода, которое не чертится вертикально.Измените модель.
Соединение не имеет выходного перехода по умолчаниюДобавьте выходной переход по умолчанию к соединению.
Переход имеет условие и действиеРазделите условие и действие в отдельные переходы

Возможности и ограничения

  • Инструкция MAAB, ограничение Версии 3.0: Несмотря на то, что db_0132: Переходы в блок-схемах имеют цикл for исключения построения, проверка действительно отмечает блок-схемы, содержащие построения цикла, если переход нарушает правило ориентации.

  • Инструкция JMAAB, ограничение Версии 5.1: проверка только отмечает блок-схемы, содержащие построения цикла, если переход нарушает правило ориентации.

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

Смотрите также

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

ID проверки: mathworks.maab.jc_0511

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

Описание

Возвращаемое значение от графической функции Stateflow должно быть установлено только в одном месте.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Возвращаемое значение от графической функции Stateflow присвоено в нескольких местах.Измените заданную графическую функцию так, чтобы ее возвращаемое значение было установлено в одном месте.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

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

ID проверки: mathworks.maab.db_0122

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

Описание

Сильный ввод данных между Stateflow и сигналами ввода и вывода Simulink требуется.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Диаграмма Stateflow не использует сильный ввод данных с Simulink. Установите флажок Use Strong Data Typing with Simulink I/O для заданного блока.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков и графиков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

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

ID проверки: mathworks.maab.db_0125

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

Описание

Эта проверка отмечает данные Stateflow, локальный осциллограф которых не задан на уровне Графика или ниже, независимо от того, используются ли данные или нет.

Необходимо задать локальные данные блока Stateflow на уровне графика или ниже в иерархии объектов. Вы не можете задать локальные переменные на уровне машины; однако, параметры и константы позволены на уровне машины.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Локальные данные не заданы в иерархии Stateflow на уровне графика или ниже. Задайте локальные данные на уровне графика или ниже.

Возможности и ограничения

  • Инструкция JMAAB, ограничения Версии 5.1:

    • Проверка не делает флага Constant локальные данные, заданные на уровне машины. (ID Sub: b

    • Проверка не отмечает дублирующееся определение данных и использование в связи между родительскими объектами и их потомками. (ID Sub: c

    • Проверка не делает флагового параметра локальные данные, заданные на уровне машины. (ID Sub: d

    • Проверка не обнаруживает, если локальные данные имеют то же имя в рамках графиков или состояний, которые имеют связи между родительскими объектами и их потомками.

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Не позволяет исключения блоков или графиков.

Смотрите также

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

ID проверки: mathworks.maab.db_0127

Идентифицируйте, что Stateflow возражает, что используют выражения MATLAB, которые не подходят для генерации кода.

Описание

Не используйте функции MATLAB, инструкции и операторы в объектах Stateflow.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Объекты Stateflow используют выражения MATLAB.Замените выражения MATLAB в объектах Stateflow.

Возможности и ограничения

  • Применяется только к диаграммам Stateflow, которые используют C в качестве языка действия.

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

Смотрите также

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

ID проверки: mathworks.maab.jm_0011

Идентифицируйте операции указателя на переменных пользовательского кода.

Описание

Указатели на переменные пользовательского кода не позволены.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Переменные пользовательского кода используют операции указателя.Измените заданный график, чтобы удалить зависимость от операций указателя.

Возможности и ограничения

  • Применяется только к диаграммам Stateflow, которые используют C в качестве языка действия.

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция MAAB, Версия 3.0: jm_0011: Указатели в Stateflow в документации Simulink.

  • Инструкция JMAAB, Версия 5.1: jm_0011: Указатели в Stateflow

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

ID проверки: mathworks.maab.jm_0012

Идентифицируйте неориентированные широковещательные сообщения события, которые могут вызвать рекурсию в процессе моделирования и сгенерировать неэффективный код.

Описание

Широковещательные сообщения события в диаграммах Stateflow должны быть направлены.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Широковещательные сообщения события являются неориентированными.Повторно спроектируйте схему, чтобы использовать направленную широковещательную передачу события. Используйте отправить синтаксис или квалифицированные имена события, чтобы направить событие к конкретному состоянию. Используйте несколько операторов SEND, чтобы направить событие больше чем к одному состоянию.

Возможности и ограничения

  • Инструкция JMAAB, ограничение Версии 5.1: проверка не может быть сконфигурирована, чтобы отметить событие, используемое кроме диаграммы Stateflow выход. (ID Sub: a1)

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

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

ID проверки: mathworks.maab.na_0001

Идентифицируйте побитовые операторы (&, |, и ^) в диаграммах Stateflow. Если вы выбираете Enable C-bit operations для графика, только о побитовых операторах в выражениях, содержащих булевы типы данных, сообщают. В противном случае обо всех побитовых операторах сообщают для графика.

Описание

Не используйте побитовые операторы в диаграммах Stateflow, если вы не включаете битовые операции.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Диаграммы Stateflow с Enable C-bit operations выбранные побитовые операторы использования (&, |, и ^) в выражениях, содержащих булевы типы данных.Не используйте булевы типы данных в заданных выражениях.
Model Advisor не мог определить типы данных в выражениях с битовыми операциями.Чтобы позволить Model Advisor определять типы данных, рассмотрите явным образом преобразование типа заданных выражений.
Диаграммы Stateflow с Enable C-bit operations очистили побитовые операторы использования (&, |, и ^).

Чтобы устранить эту проблему, сделайте любое из следующего:

  • Измените выражения, чтобы заменить побитовые операторы.

  • Не используя булевы типы данных, рассмотрите битовые операции включения. В диалоговом окне Свойств диаграммы выберите Enable C-bit operations.

Возможности и ограничения

  • Инструкция JMAAB, ограничения Версии 5.1:

    • Проверка не отмечает когда операторы кроме"!" используются в логическом отрицании. (ID Sub: a

    • Проверка не может быть сконфигурирована, чтобы выбрать между "~ =", "! = ", и" <>" для операций неравенства. (ID Sub: b1, b2, b3)

    • Проверка не обнаруживает, когда "^" и "~" побитовые операторы используются в Логических операциях. (ID Sub: c

  • Применяется только к графикам, которые используют C в качестве языка действия.

  • Не работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

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

ID проверки: mathworks.maab.jc_0451

Идентифицируйте унарный минус операции, применился к беззнаковому целому в объектах Stateflow.

Описание

Не выполняйте унарный минус операции на беззнаковом целом в объектах Stateflow.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Унарный минус операции применяются к беззнаковому целому в объектах Stateflow.Измените заданные объекты удалить зависимость от унарного минус операции.
Model Advisor не мог определить типы данных в выражениях с унарным минус операции.Чтобы позволить Model Advisor определять типы данных, рассмотрите явным образом преобразование типа заданных выражений.

Возможности и ограничения

  • Не работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

Проверяйте настройки ввода и вывода функций MATLAB

ID проверки: mathworks.maab.na_0034

Идентифицируйте функции MATLAB, которые имеют входные параметры, выходные параметры или параметры с наследованной сложностью или свойствами типа данных.

Описание

Проверка идентифицирует функции MATLAB с наследованной сложностью или свойствами типа данных. Таблица результатов обеспечивает ссылки на функции MATLAB, которые не передают проверку, наряду с условиями, инициировавшими предупреждение.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Функции MATLAB имеют наследуемые интерфейсы.

Явным образом задайте сложность и свойства типа данных для импорта, выходных портов и параметров функции MATLAB, идентифицированной в результатах.

Если применимо, с помощью Редактора блока MATLAB function (Simulink), сделайте следующие модификации в Портах и Менеджере данных (Simulink):

  • Измените Complexity от Inherited к On или Off.

  • Измените Type от Inherit: Same as Simulink к явному типу.

  • Измените Size от —1 (Inherited) к явному размеру.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

Проверяйте код MATLAB на глобальные переменные

ID проверки: mathworks.maab.na_0024

Проверяйте на глобальные переменные в коде MATLAB.

Описание

Проверяет, что глобальные переменные не используются ни в одном следующем:

  • Код MATLAB в блоках MATLAB function

  • Функции MATLAB заданы в диаграммах Stateflow

  • Названные функции MATLAB

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие

Глобальные переменные используются в одном или нескольких из следующего:

  • Код MATLAB в блоках MATLAB function

  • Функции MATLAB заданы в диаграммах Stateflow

  • Названные функции MATLAB

Замените глобальные переменные на сигнальные линии, аргументы функции или персистентные данные.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Не позволяет исключения блоков или графиков.

Смотрите также

  • Инструкция MAAB, Версия 3.0: na_0024: Глобальные переменные в документации Simulink.

  • Инструкция JMAAB, Версия 5.1: na_0024: Разделяемые данные в функциях MATLAB

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

ID проверки: mathworks.jmaab.jc_0623

Память проверок и Unit Delay блокируются с несоответствующим шагом расчета.

Описание

Идентифицирует блоки Memory с дискретным шагом расчета и блоки Unit Delay с недискретным шагом расчета.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Блоки памяти имеют шаг расчета, который не непрерывен.Используйте блок Unit Delay вместо Блока памяти.
Блоки Unit Delay имеют недискретный шаг расчета.Используйте Блок памяти вместо блока Unit Delay.

Возможности и ограничения

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0623: Использование непрерывного времени задерживает блоки дискретного времени и блоки

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

ID проверки: mathworks.jmaab.jc_0110

Проверки блокируются с измененной ориентацией.

Описание

Идентифицирует блоки, которые инвертируются или с вращаемой ориентацией. Эта проверка исключает блоки Delay или Unit Delay.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Некоторые блоки в модели вращали или инвертировали ориентацию.Инвертируйте или поверните эти блоки, которые будут ориентированы к праву.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0110: Направление блока

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

ID проверки: mathworks.jmaab.jc_0763

Описание

Идентифицирует состояния Stateflow, который использует несколько внутренних переходов.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

 УсловиеРекомендуемое действие
a1Одно или несколько состояний Stateflow имеют несколько внутренних переходов.Реконструируйте, чтобы избежать использования нескольких внутренних переходов.
a2Одно или несколько состояний Stateflow имеют несколько внутренних переходов, не помещенных в порядке выполнения.Рассмотрите помещающие внутренние переходы сверху донизу в порядке выполнения.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0763: Использование нескольких внутренних переходов

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

ID проверки: mathworks.jmaab.jc_0772

Описание

Идентифицирует переходы, полученные из и безусловного Stateflow состояния переходы с более высоким приоритетом, чем условные переходы.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Переходы Stateflow найдены с более высоким приоритетом, чем условные переходы.Измените порядок выполнения переходов или добавьте условие выполнения.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0772: Порядок выполнения и условия перехода линий перехода

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

ID проверки: mathworks.jmaab.jc_0222

Описание

Проверяет сигнал и имена шины в модели.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Имя файла запускается с номера.Переименуйте файл.
Имя файла запускается с подчеркивания (" _ "). Переименуйте файл.
Имя файла заканчивается подчеркиванием (" _ "). Переименуйте файл.
Расширение файла содержит один (или больше) символы нижнего подчеркивания. Измените расширение файла.
Имя файла имеет последовательные символы нижнего подчеркивания. Переименуйте файл.
Имя файла содержит больше чем одну точку (". "). Переименуйте файл.
Имя файла содержит запрещенные символы. Переименуйте файл. Допустимые символы являются a–z, A–Z, 0–9. и подчеркните (_).

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0222: Применимые символы для имен сигнала/шины

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

ID проверки: mathworks.jmaab.jc_0232

Описание

Проверяет названия параметра в модель.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Название параметра запускается с номера.Переименуйте параметр.
Название параметра запускается с подчеркивания (" _ "). Переименуйте параметр.
Название параметра заканчивается подчеркиванием (" _ "). Переименуйте параметр.
Название параметра имеет последовательные символы нижнего подчеркивания. Переименуйте параметр.
Название параметра содержит запрещенные символы. Переименуйте параметр. Допустимые символы являются a–z, A–Z, 0–9. и подчеркните (_).

Возможности и ограничения

  • Не анализирует содержимое в подсистемах маскированных.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0232: Применимые символы для названий параметра

Проверяйте длину имени файла модели

ID проверки: mathworks.jmaab.jc_0241

Описание

Проверки, если длина имени файла модели придерживается максимального ограничения длины 63 символов.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Имя файла модели не придерживается ограничения длины 63 символов.Измените имя файла модели так, чтобы длина имени файла была не больше чем 63 символами.

Возможности и ограничения

  • Не анализирует содержимое соединенных библиотекой блоков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0241: ограничения Длины для имен файлов модели

Проверяйте длину имени папки на каждом уровне модели path

ID проверки: mathworks.jmaab.jc_0242

Описание

Проверяет длину имен папок на каждом уровне модели path, чтобы видеть, придерживаются ли все папки в пути максимального ограничения длины 63 символов.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Длина имен папок на каждом уровне модели path не придерживается ограничения длины 63 символов.Измените имена папок, которые не соответствуют ограничению длины 63 символов в пути.

Возможности и ограничения

  • Не анализирует содержимое соединенных библиотекой блоков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0242: ограничения Длины для имен папок

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

ID проверки: mathworks.jmaab.jc_0243

Описание

Проверки, если длина имен подсистемы в модели придерживается максимального ограничения длины 63 символов.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Имена подсистемы в модели не придерживаются ограничения длины 63 символов.Измените имена блока подсистемы так, чтобы длина имени подсистемы была не больше чем 63 символами.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0243: ограничения Длины для имен подсистемы

Проверяйте длину имен Inport и Outport

ID проверки: mathworks.jmaab.jc_0244

Описание

Проверки, если продолжительность импорта и имен выходного порта придерживается максимального ограничения длины 63 символов.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Имена блока Inport или выходного порта в Модели не придерживаются ограничения длины 63 символов.Измените импорт или имена блока выходного порта так, чтобы длина имени блока была не больше чем 63 символами.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных библиотекой блоков.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0244: ограничения Длины для имен Inport и Outport

Проверяйте длину сигнала и соедините шиной имена

ID проверки: mathworks.jmaab.jc_0245

Описание

Проверки, если длина сигнала или имен шины придерживается максимального ограничения длины 63 символов.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Имя сигнала или шины в модели не придерживается ограничения длины 63 символов.Измените сигнал или имена шины в модели так, чтобы длина имен была не больше чем 63 символами.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0245: ограничения Длины для сигнала и имен шины

Проверяйте длину названий параметра

ID проверки: mathworks.jmaab.jc_0246

Описание

Проверки, если длина названий параметра в модели придерживается максимального ограничения длины 63 символов.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Названия параметра в модели не придерживаются ограничения длины 63 символов.Измените названия параметра так, чтобы длина названий параметра была не больше чем 63 символами.

Возможности и ограничения

  • Не анализирует содержимое соединенных библиотекой блоков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0246: ограничения Длины для названий параметра

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

ID проверки: mathworks.jmaab.jc_0247

Описание

Проверки, если длина имен блока в модели придерживается максимального ограничения длины 63 символов.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Имена блока в модели не придерживаются ограничения длины 63 символов.Измените имена блока так, чтобы длина имен блока была не больше чем 63 символами.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0247: ограничения Длины для имен блока

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

ID проверки: mathworks.jmaab.jc_0604

Описание

Проверки, если штриховка блока используется в модели.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Block shading является превращенный on.Считайте превращение off свойством DropShadow в блоках для лучшей удобочитаемости.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0604: Блокируйте штриховку

Проверяйте порядок оператора блоков продукта

ID проверки: mathworks.jmaab.jc_0610

Описание

Проверяет порядок оператора блоков продукта.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0610_a: Проверка сначала вход с блоком продуктаНеподходящее использование порядка оператора блоков Product .Измените первый вход в блоке Product к умножению ('* ').
jc_0610_b: Контрольное число входных параметров с блоками продукта Блоки Product имеют неверный номер входных параметров.Рассмотрите наличие не больше чем двух входных параметров для блоков Product .

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0610: порядок Оператора для блоков умножения и деления

Проверяйте форму значка блоков Логического оператора

ID проверки: mathworks.jmaab.jc_0621

Описание

Форма значка проверок блоков Logical Operator . Форма значка Логического оператора должна быть прямоугольной.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Неподходящая установка значка формирует для блоков Logical Operator .Измените форму значка блоков Logical Operator к прямоугольному для удобочитаемости.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0621: Инструкция для использования блока Logical Operator

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

ID проверки: mathworks.jmaab.jc_0645

Описание

Проверки, если настраиваемые параметры блоков заданы как названные константами.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Неподходящее использование настраиваемых значений параметров блоков.Измените настраиваемые литеральные значения параметров блоков в именованные константы.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0645: определение Параметра для калибровки

Проверяйте случай по умолчанию/еще в блоки Случая Переключателя и Если блоки

ID проверки: mathworks.jmaab.jc_0656

Описание

Проверяет, что случай default/else в Switch Case блокирует and If blocks.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Неподходящее использование Switch и блоков If. Рассмотрите установку опции случая default/else в блоках Случая Switch и блоках If к on.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0656: Использование Условного Блока управления

Проверяйте на круглые скобки в выражениях блока Fcn

ID проверки: mathworks.jmaab.jc_0622

Описание

Проверяет использование круглых скобок в выражениях блока Fcn . Круглые скобки должны использоваться, чтобы задать приоритет оператора.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Неподходящее использование выражений блока Fcn.Разрешите приоритет оператора в выражениях блока Fcn путем добавления круглых скобок.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0622: Инструкция для использования блока Fcn

    .

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

ID проверки: mathworks.jmaab.jc_0640

Описание

Проверки, что начальное выходное значение для всех Выходных портов и блоков Слияния, соединенных с Conditional subsystem , явным образом задано.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Начальный выход для всех Выходных портов и блоков Слияния, соединенных с Conditional subsystem, явным образом не задан.Для Условной подсистемы явным образом задайте начальное выходное значение для всех Выходных портов и блоков Слияния, соединенных с Conditional subsystem.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0640: настройки Начального значения для Выходного порта блокируются в условных подсистемах

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

ID проверки: mathworks.jmaab.jc_0628

Описание

Эта проверка идентифицирует:

  • Saturation или Saturation Dynamic блокируются с любыми операциями преобразования типа. Проверка сравнивает это скомпилированное соответствие типов входных и выходных данных или проверяет, что Output data type установлен в Inherit: Same as input и Inherit: Same as second input для Saturation и блоков Saturation Dynamic соответственно.

  • Если upper limit установлен в максимальное значение типа выходных данных (intmax, realmax).

  • Если lower limit установлен в минимальное значение типа выходных данных (intmin,-realmax).

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Типы входных и выходных данных отличаются.Убедитесь, что Output data type установлен в Inherit: Same as input и Inherit: Same as second input для Saturation и блоков Saturation Dynamic соответственно.
Значения верхнего предела и нижнего предела блоков не установлены к, придерживался значения.
  • Установите upper limit типа выходных данных к меньше, чем максимальное значение.

  • Установите lower limit типа выходных данных к меньше, чем минимальное значение.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0628: Инструкция для использования Блока Насыщения

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

ID проверки: mathworks.jmaab.jc_0644

Описание

Идентифицирует блоки в Simulink, которые нарушают установку типа, если объекты сигнала используются (если тип данных сигнала установлен в объекте сигнала, то это не должно быть установлено на стороне блока).

Эта проверка освобождает:

  • Блок преобразования типа данных.

  • Введите установку с помощью fixdt.

  • Дважды и булевы типы.

  • Допускающая повторное использование внутренняя деталь функции (атомарная подсистема).

  • Блокируйте набор типа выходных данных к Inherit via backpropagation.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Тип данных сигнала установлен в различные типы в объектах сигнала и в блоке. Установите тип выходных данных блоков или к auto или к Inherit via back propagation.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0644: Инструкция для установки типа

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

ID проверки: mathworks.jmaab.jc_0655

Описание

Идентифицирует булевы переходы типа в диаграммах Stateflow, которые используют или сравнение с числами или логические значения (TRUE или FALSE), или используют операторы отрицания (! или ~) непостоянно в модели.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Операторы отрицания используются непостоянно в модели.Оператор отрицания должен последовательно использоваться в модели.
Булевы транзакции типа по сравнению с числами или логическими значениями (TRUE или FALSE).Убедитесь, что булевы транзакции типа не по сравнению с числами или логическими значениями.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Не анализирует содержимое в подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0655: Запрет на сравнение логического значения в Stateflow

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

ID проверки: mathworks.jmaab.jc_0738

Описание

Идентифицирует комментарии, которые вкладываются или содержат новую строку (строки) в середине в Stateflow.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0738_a: Если язык действия является "C", вложение комментария не должно использоватьсяНа или больше комментариев в объектах Stateflow вкладываются.Комментарии в Stateflow не должны быть вложены.
jc_0738_b: Если язык действия является "C", комментарии не должны содержать новую строку (строки) в серединеОдин или несколько комментариев в объектах Stateflow содержат новую строку (строки) в середине.Комментарии в Stateflow не должны содержать новую строку (строки) в середине.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0738: Использование комментариев Stateflow

Проверяйте обновления переменных, используемых в условиях изменения состояния

ID проверки: mathworks.jmaab.jc_0741

Описание

Проверки, если переменные, используемые в условиях изменения состояния, выполняют обновление "во время" типа акта государственной власти.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Одна или несколько переменных в условии изменения состояния выполняют обновление "во время" типа акта государственной власти. Убедитесь, что переменные, используемые в условиях изменения состояния, не выполняют обновление "во время" типа акта государственной власти.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0741: Синхронизация, чтобы обновить данные, используемые в условиях перехода диаграммы состояний

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

ID проверки: mathworks.jmaab.jc_0751

Описание

Проверяет неожиданное отслеживание в обратном порядке в изменения состояния. Параметр Confirguration для Unexpected backtracking (SFUnexpectedBacktrackingDiag) должен быть установлен на error.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Отслеживание в обратном порядке не обнаружено во время изменения состояния. Установите confirguration параметр для Unexpected backtracking (SFUnexpectedBacktrackingDiag) к error.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Не анализирует содержимое соединенных библиотекой блоков.

  • Не анализирует содержимое в подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0751: Отслеживание в обратном порядке предотвращения в изменении состояния

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

ID проверки: mathworks.jmaab.jc_0752

Описание

Проверки, если новая строка запускается до и после круглых скобок для действий условия в переходах Stateflow.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Действия условия в переходах Stateflow записаны около круглой скобки.Запустите новую строку до и после круглых скобок для действий условия в переходах Stateflow.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0752: Формат действия условия в метке перехода

Проверяйте действия условия и действия перехода в Stateflow

ID проверки: mathworks.jmaab.jc_0753

Описание

Проверки, если использование действий условия или действий перехода универсально в рамках того же графика.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Действия условия и действия перехода смешаны в рамках того же графика.Использование действий условия или действий перехода должно быть универсальным в рамках того же графика.

Возможности и ограничения

  • Инструкция JMAAB, ограничение Версии 5.1: проверка не может быть сконфигурирована, чтобы только позволить действия условия в диаграмме Stateflow. (ID Sub: a1)

  • Эта проверка не отмечает действия перехода, используемые в диаграммах состояний.

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0753: действия Условия и действия перехода в Stateflow

Проверяйте начальную точку внутреннего перехода в Stateflow

ID проверки: mathworks.jmaab.jc_0760

Описание

Идентифицирует, должны ли во всех диаграммах состояний и блок-схемах, внутренние переходы от государственных границ начать с левого края состояния.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Начальная точка одного или нескольких внутренних переходов от государственных границ диаграмм состояний или блок-схем не начинает с левого края состояния.Убедитесь, что во всех диаграммах состояний и блок-схемах, внутренние переходы от государственных границ должны начать с левого края состояния.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0760: Начальная точка внутреннего перехода

Проверяйте запрещенную комбинацию акта государственной власти и блок-схемы

ID проверки: mathworks.jmaab.jc_0762

Описание

Проверки, если акты государственной власти в состояниях и операторах блок-схемы используются в комбинации.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Состояния Stateflow комбинируют акт государственной власти и блок-схему.Разделите акты государственной власти и операторы блок-схемы в различные состояния.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0762: Запрещенный акта государственной власти и комбинации блок-схемы

Проверяйте использование Интерполяционных таблиц

ID проверки: mathworks.jmaab.jc_0626

Проверки на правильные установки параметров в Интерполяционных таблицах, чтобы предотвратить неожиданные результаты.

Описание

Проверки n-D Поиск (1D, 2D, и n-D) Таблицы для следующих параметров, чтобы гарантировать, что значения придерживаются соответствующих рекомендаций.

  • InterpMethod

  • ExtrapMethod

  • UseLastTableValue

Проверяет Динамические Интерполяционные таблицы на параметр LookUpMeth и гарантирует, что значения придерживаются рекомендации.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Параметр InterpMethod в n-D интерполяционной таблице устанавливается на Cubic spline.

Обновите установки параметров с одним из следующих рекомендуемых значений

  • Плоский

  • Самый близкий

  • Линейный наклон точки

  • Линейный Лагранж.

Параметр ExtrapMethod в n-D интерполяционной таблице устанавливается на Cubic spline или Linear.Установите параметр на рекомендуемое значение Clip.
Параметр UseLastTableValue в n-D интерполяционной таблице устанавливается на off.Установите параметр на рекомендуемое значение on.
Параметр LookUpMeth в динамической интерполяционной таблице устанавливается на кроме Interpolation-Use End Values.Установите параметр на рекомендуемое значение Interpolation-Use End Values.

Возможности и ограничения

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0626: Инструкция для использования блока Lookup Table

Режим Check Signed Integer Division Rounding

ID проверки: mathworks.jmaab.jc_0642

Описание

Идентифицирует блоки, параметр которых Integer Rounding Mode установлен в Simplest, когда параметр конфигурации Signed Integer Division Rounds установлен в Undefined.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Если параметр, Integer Rounding Mode перечисленных блоков установлен в Simplest, когда параметр Signed Integer Division Rounds установлен в Undefined.Установите параметр Signed Integer Division Round на значение, которое описывает округляющееся поведение вашей производственной платформы или изменения Integer Rounding Mode перечисленных блоков к значению кроме Simplest.

Возможности и ограничения

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0642: Целочисленная установка режима округления

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

ID проверки: mathworks.jmaab.jc_0659

Проверки, если существует какой-либо подарок блоков, промежуточный условная подсистема и блок слияния.

Описание

Блоки слияния должны иметь прямые связи от условно выполняемых подсистем. В то время как использование блока Merge принимает следующее во внимание:

  • Никакие блоки не должны присутствовать промежуточные Слияние и Условно выполняемые блоки подсистемы, включая виртуальную подсистему, которая не влияет на функцию блока Merge .

  • Блок Merge может быть вложен в любом количестве подсистем, если предыдущему условию удовлетворяют.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Один или несколько блоков, вставленных промежуточный Merge и Условный блок Subsystem.Сделайте прямые связи из Условных блоков Subsystem, чтобы Объединить блоки.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0659: ограничения Использования сигнальных линий введены с блоком Merge

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

ID проверки: mathworks.jmaab.jc_0700

Проверяет состояние параметра Unused data, events, messages and functions.

Описание

Идентифицирует, устанавливается ли параметр Unused data, events, messages and functions на None. Неиспользованные данные и события не могут существовать в блоке Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
В блоке Stateflow параметр Unused data, events, messages and functions установлен в None.Убедитесь, что установили параметр или на Warning или на Error.

Возможности и ограничения

  • Работает на моделях библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0700: Неиспользованные данные в блоке Stateflow

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

ID проверки: mathworks.jmaab.jc_0701

Описание

Идентифицирует, не установлен ли первый индекс массивов в Stateflow или в 0 или в 1.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0701_a1: Проверяйте, установлен ли первый индекс данных Stateflow в 0Одни или несколько данных Stateflow имеют первый набор индекса к значению кроме 0.Убедитесь, что установили первое значение индекса к 0.
jc_0701_a2: Проверяйте, установлен ли первый индекс данных Stateflow в 1Одни или несколько данных Stateflow имеют первый набор индекса к значению кроме 1.Убедитесь, что установили первое значение индекса к 1.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0701: Применимый номер для первого индекса

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

ID проверки: mathworks.jmaab.jc_0712

Описание

Идентифицирует состояние параметра Execute (enter) Chart At Initialization. Этот параметр требует, чтобы много других факторов привели к сопоставимым результатам.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Параметр Execute (enter) Chart At Initialization выбран.Убедитесь, что очистили выбор.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0712: синхронизация Выполнения для пути к переходу по умолчанию

Проверяйте на параллельное состояние Stateflow, используемое в группировке

ID проверки: mathworks.jmaab.jc_0721

Описание

Параллельные состояния не должны использоваться в целях группировки, которая является подсостояниями параллельных состояний, не должны быть параллельные состояния.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Параллельные состояния только для группировки.Подсостояния параллельных состояний не должны быть параллельными (не используйте в группировке).

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0721: Использование параллельных состояний

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

ID проверки: mathworks.jmaab.jc_0722

Описание

Осциллограф локальных переменных должен быть установлен, как ограничено одним параллельным состоянием, если те же самые данные не требуются двумя или больше параллельными состояниями.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Осциллограф данных Stateflow (локальные переменные) не ограничивается параллельным состоянием, когда те же данные не требуются несколькими параллельными состояниями.Ограничьте осциллограф данных Stateflow (локальные переменные) только к одному параллельному состоянию.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0722: Локальное определение данных в параллельных состояниях

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

ID проверки: mathworks.jmaab.jc_0730

Описание

Имена состояния должны быть уникальными в графиках, за исключением Атомарных подграфиков. Т.е. Атомарные Подграфики обработаны как различный контейнер, таким образом, они могут совместно использовать Имена состояния с другими состояниями за пределами подграфика.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
В диаграмме Stateflow два или больше состояния Stateflow имеют то же имя.Переименуйте состояния Stateflow так, чтобы не было никаких идентичных имен в диаграмме Stateflow.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0730: Уникальное имя состояния в блоках Stateflow

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

ID проверки: mathworks.jmaab.jc_0731

Проверки на наклонные черты (/) на имена состояния.

Описание

Проверки, если наклонные черты (/) включены в имена состояния. После того, как имя состояния задано, добавьте новую линию для описания любых исполняемых операторов. Наклонная черта (/) требуется только при описании исполняемых операторов в продолжении после имен состояния.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Наклонная черта находится на имя состояния.Удалите наклонную черту с имени состояния и убедитесь, что запустили новую строку для любых исполняемых операторов.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0731: формат имени Состояния

Проверяйте уникальность имен состояния Stateflow и Данных

ID проверки: mathworks.jmaab.jc_0732

Описание

Проверки, если в одной диаграмме Stateflow, имя Данных Stateflow и имя состояния Stateflow являются тем же самым.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Если имя Данных Stateflow и имя состояния Stateflow имеют то же имя в диаграмме Stateflow.Переименуйте или имени Данных Stateflow или имени состояния Stateflow к не быть идентичными именами.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0732: Различие между именами состояния, именами данных и именами события

Проверяйте повторение типов Действия

ID проверки: mathworks.jmaab.jc_0734

Идентифицирует повторенные типы Действия в состоянии Stateflow.

Описание

Типы действия (запись (en), во время (du), выход (исключая), en, du: du, исключая: en, исключая: en, du, исключая:) не должен быть описан два или больше раза в состоянии Stateflow.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Один или несколько типов действия используются многократно в состоянии Stateflow.Объедините типы действий так, чтобы каждый из типов действия был задан только однажды в состоянии Stateflow.
  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0734: Количество типов акта государственной власти

Проверяйте добавление отступа кода в состояниях Stateflow

ID проверки: mathworks.jmaab.jc_0736

Проверяйте на универсальное добавление отступа строк метки в состояниях Stateflow и Переходах.

Описание

Проверки, если добавления отступа в блоках Stateflow описаны однородно и придерживаются следующих рекомендаций:

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0736_a: Проверяйте на универсальное добавление отступа языка действия в состояниях StateflowОдно или несколько состояний Stateflow в модели не имеют универсального добавления отступа.Рассмотрите удаление пробелов перед типами акта государственной власти и добавлением точного количества однобайтовых пробелов, как задано во входном параметре перед исполняемыми операторами.
jc_0736_b: Проверяйте на универсальный интервал типов действия переходаОдин или несколько переходов Stateflow в модели не имеют универсального интервала.Рассмотрите не добавляющие пробелы прежде' [' условия перехода, '{' действия перехода и '/' события в переходе.
jc_0736_c: Проверяйте на универсальный интервал действий переходаОдин или несколько переходов Stateflow в модели не имеют универсального интервала.Рассмотрите добавление точного количества однобайтовых пробелов, как задано во входном параметре после '/' действия перехода.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0736: Универсальные добавления отступа в блоках Stateflow

Проверяйте размещение Строки метки в Переходах

ID проверки: mathworks.jmaab.jc_0770

Описание

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

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0770_a1: метки Перехода должны быть помещены около места происхождения переходаОдному или нескольким переходам Stateflow не поместили строку метки около источника перехода.Убедитесь, что поместили метки Stateflow около места происхождения перехода.
jc_0770_a2: метки Перехода должны быть помещены около центра переходаОдному или нескольким переходам Stateflow не поместили строку метки около центра перехода.Убедитесь, что поместили метки Stateflow около средней точки (центр) перехода.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0770: размещение метки Перехода

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

ID проверки: mathworks.jmaab.jc_0791

Описание

Проверки на дублирующееся определение имен данных. Имена данных Simulink должны быть уникальными через базовое рабочее пространство, рабочее пространство модели и словарь данных.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Одно или несколько имен данных Simulink имеют дублирующиеся определения.Убедитесь, что все заданные имена данных Simulink уникальны.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0791: Дублирующиеся имена данных

Сравнение плавающей точки вводит в Simulink

ID проверки: mathworks.jmaab.jc_0800

Описание

Проверки, если эквивалентное сравнение сделано на числах с плавающей запятой.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Наблюдаются один или несколько экземпляров эквивалентного сравнения для чисел с плавающей запятой.Убедитесь, что избежали использования эквивалентных сравнений для чисел с плавающей запятой.

Возможности и ограничения

  • Не работает на моделях библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0800: Сравнение типов с плавающей точкой в Simulink

Проверяйте на предотвращение алгебраических циклов между подсистемами

ID проверки: mathworks.jmaab.jc_0653

Описание

Проверяет размещение блоков Delay в алгебраических циклах между подсистемами.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Задержитесь блоки в обратной связи помещаются в подсистеме.Задержитесь блоки в обратной связи должны быть помещены за пределами их родительской подсистемы.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0653: Задержите блочное расположение в обратной связи

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

ID проверки: mathworks.jmaab.jc_0531

Описание

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

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Параллельные состояния в модели имеют переходы по умолчанию.Переходы по умолчанию не должны использоваться в параллельных состояниях.
Одно или несколько состояний Stateflow в модели не имеют переходов по умолчанию.Убедитесь, что существует переход по умолчанию на каждом уровне.
Одно или несколько состояний Stateflow в модели имеют несколько переходов по умолчанию на том же уровне.Несколько переходов по умолчанию не должны быть включены в тот же уровень.
Один или несколько переходов по умолчанию в модели не соединяются с главным состоянием или соединением.Убедитесь, что переходы по умолчанию непосредственно соединяются с верхней частью состояния или соединения.
Одно или несколько целевых состояний или соединений переходов по умолчанию не находятся на верхней части.Убедитесь, что целевое состояние перехода или целевое соединение перехода для перехода по умолчанию расположены в далекий верхний левый угол в том же уровне.
Один или несколько переходов по умолчанию в модели превышают государственные границы.Убедитесь, что переход по умолчанию не превышает государственные границы.
Параметр Никакие безусловные переходы по умолчанию в Настройке> Диагностика> Stateflow не устанавливается на error.Установите параметр Никакие безусловные переходы по умолчанию к ошибке.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0531: переход По умолчанию

Проверяйте настройки на порты данных в Многопортовых блоках switch

ID проверки: mathworks.jmaab.jc_0630

Описание

Идентифицирует Многопортовые блоки switch, которые нарушают настройки порта данных.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Блок switch или Многопортовый блок switch в модели имеют меньше чем два порта данных.Убедитесь, что блоки switch или Многопортовый блок switch в модели имеют порты данных, которые больше два.
Тип данных порта управления на Многопортовом Переключателе не установлен в беззнаковое целое.Измените тип данных порта управления на Многопортовом Переключателе к беззнаковому целому.
Многопортовый блок switch, устанавливающий Порт данных для случая по умолчанию, не установлен в Дополнительный порт данных.Установите Многопортовый блок switch, устанавливающий Порт данных для случая по умолчанию к Дополнительному порту данных.
Установка Diagnostics блока switch для случая по умолчанию ни к Одному.Установите установку Diagnostics блока switch для случая по умолчанию ни к Одному.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой. Однако разовая редактированием проверка эту проверку не проверяет податливость с инструкцией (v5.0) jc_0630 JMAAB ID Sub b: Установите Вход на [Многопортовый Переключатель] порт управления к неприсвоенному целому числу.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0630: Использование Многопортового блока switch

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

ID проверки: mathworks.jmaab.jc_0739

Описание

Идентифицирует состояния Stateflow с текстом, превышающим контур состояния.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Одно или несколько состояний Stateflow в модели имеют текст, превышающий контур состояния.Убедитесь, что текст в состоянии Stateflow не выходит за пределы контура состояния.

Возможности и ограничения

  • Эта проверка отмечает все состояния Stateflow в модели, которые имеют символ новой строки в тексте. Этот флаг происходит, даже если текст в состоянии Stateflow содержится в контуре состояния.

  • Работает на моделях библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0739: Инструкции для описания текстов в состояниях

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

ID проверки: mathworks.jmaab.jc_0797

Описание

Проверки на несвязанные объекты в диаграммах Stateflow и Идентифицируют повисшие переходы и несвязанные состояния Stateflow и Соединения в диаграммах Stateflow.

Доступный с Simulink Check.

Эта проверка требует лицензии Stateflow.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Один или несколько несвязанных переходов, состояний или соединений найдены в диаграммах Stateflow.Реконструируйте, чтобы соединить повисшие переходы и несвязанные состояния и соединения.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения блоков и графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0797: Несвязанные линии перехода / утверждают / соединительные соединения

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

ID проверки: mathworks.jmaab.jc_0790

Описание

Проверки, если язык действия диаграмм Stateflow установлен в C.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Язык действия одной или нескольких диаграмм Stateflow не установлен в C.Установите весь язык действия диаграмм Stateflow на C.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0790: Стройте диаграмму языка действия

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

ID проверки: mathworks.jmaab.jc_0795

Описание

Проверки, если имена данных Stateflow в модели используют приемлемые символы.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Имя данных Stateflow запускается с подчеркивания (" _ "). Переименуйте данные Stateflow.
Данные Stateflow называют концы с подчеркиванием (" _ "). Переименуйте данные Stateflow.
Имя данных Stateflow имеет последовательные символы нижнего подчеркивания. Переименуйте данные Stateflow.
Имя данных Stateflow является только зарезервированным словом MATLAB. Рассмотрите использование другого имени для данных Stateflow.

Возможности и ограничения

  • Инструкция JMAAB, ограничение Версии 5.1: проверка не отмечает, когда Имя запускается с подчеркивания. (ID Sub: a

  • Работает на моделях библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Позволяет исключения графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0795: Применимые символы для имен данных Stateflow

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

ID проверки: mathworks.jmaab.jc_0796

Описание

Проверки, если длина имен данных Stateflow в пределе 0 - 63 символов.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Длина имен данных Stateflow не в пределе 0 - 63 символов.Рассмотрите использование другого имени для каждого имени данных Stateflow.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения графиков.

  • Анализирует содержимое соединенных блоков библиотеки.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0796: ограничение Длины для имен данных Stateflow

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

ID проверки: mathworks.jmaab.jc_0008

Проверяйте маркировку на сигнальных линиях.

Описание

Используйте метку, чтобы идентифицировать:

  • Сигналы, происходящие из следующих блоков (исключение значка блока, отмеченное ниже, применяется ко всем перечисленным блокам, кроме Inport, Bus Selector, Demux и Selector):

    • Блок Bus Selector (маркировка сил инструмента)

    • Блок Chart (Stateflow)

    • Блок Constant

    • Блок Data Store Read

    • Блок Demux

    • Блок From

    • Блок Inport

    • Блок Selector

    • Блок Subsystem

    Блокируйте исключение значка

    Если метка сигнала отображается в отображении значка для инициирующего блока, вы не должны отображать метку для связанного сигнала, если метка сигнала не требуется в другом месте из-за правила для мест назначения сигнала.

  • Сигналы соединились с одним из следующих целевых блоков (прямо или косвенно с базисным блоком, который выполняет операцию, которая не является поддающейся трансформации):

    • Блок Bus Selector (маркировка сил инструмента)

    • Блок Chart (Stateflow)

    • Блок Data Store Write

    • Блок Goto

    • Блок Mux

    • Блок Outport

    • Блок Subsystem

  • Любой сигнал интереса.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Сигналы, прибывающие из Bus Selector, Chart, Constant, Data Store Read, Demux, From, Inport или блоков Selector, не помечены.Пометьте сигнал.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.

  • Не позволяет исключения блоков или графиков.

Смотрите также

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

ID проверки: mathworks.jmaab.jc_0009

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

Описание

Необходимо распространить метку сигнала из ее источника, а не ввести метку сигнала явным образом (вручную), если сигнал происходит из:

  • Блок Inport во вложенной подсистеме. Однако, если вложенная подсистема является подсистемой библиотеки, можно явным образом пометить сигнал, прибывающий из блока Inport, чтобы разместить повторное использование библиотечного блока.

  • Базисный блок, который выполняет неподдающуюся трансформации операцию.

  • Блок Subsystem или Stateflow Chart. Однако, если связь происходит из выхода экземпляра библиотечного блока, можно явным образом пометить сигнал разместить повторное использование библиотечного блока.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Модель включает метки сигнала, которые вводились явным образом, но должны быть распространены. Используйте открытую угловую скобку (<) символ, чтобы отметить метки сигнала, которые должны быть распространены и удалить метки, которые вводились явным образом.

Возможности и ограничения

  • Не работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.

  • Не позволяет исключения блоков или графиков.

Смотрите также

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

ID проверки: mathworks.jmaab.jc_0281

Описание

Идентифицируйте триггерные блоки, где источник триггерного сигнала и места назначения имеет отличающиеся имена.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0281_a1: Проверяйте имена источника триггерного сигнала и условного входного блокаИмя блока в начале координат триггерного сигнала и условного входного имени блока в месте назначения отличается.Имя блока в начале координат триггерного сигнала и условного входного имени блока в месте назначения должно включать то же имя.
jc_0281_a2: Проверяйте имена триггерного сигнала и условной подсистемыИмя блока в начале координат триггерного сигнала и условное имя подсистемы в месте назначения отличаются.Имя блока в начале координат триггерного сигнала и условное имя подсистемы в месте назначения должны включать то же имя.
jc_0281_a3: Проверяйте имена источника триггерного сигнала и условного входного блокаИмя триггерного сигнала и условного входного имени блока в месте назначения отличается.Имя триггерного сигнала и условного входного имени блока в месте назначения должно включать то же имя.
jc_0281_a4: Проверяйте имена триггерного сигнала и условной подсистемыИмя триггерного сигнала и условное имя подсистемы в месте назначения должны включать то же имя.Имя триггерного сигнала и условное имя подсистемы в месте назначения отличаются.
jc_0281_b1: Проверяйте имена источника триггерного сигнала и события блока StateflowИмя блока в начале координат триггерного сигнала и имя события блока Stateflow в месте назначения отличаются.Имя блока в начале координат триггерного сигнала и имя события блока Stateflow в месте назначения должны включать то же имя.
jc_0281_b2: Проверяйте имена источника триггерного сигнала и имя ГрафикаИмя блока в начале координат триггерного сигнала и имя Графика в месте назначения отличаются.Имя блока в начале координат триггерного сигнала и имя Графика в месте назначения должны включать то же имя.
jc_0281_b3: Проверяйте имена триггерного сигнала и события блока StateflowИмя триггерного сигнала и имя события блока Stateflow в месте назначения отличаются.Имя триггерного сигнала и имя события блока Stateflow в месте назначения должны включать то же имя.
jc_0281_b4: Проверяйте имена триггерного сигнала и ГрафикаИмя триггерного сигнала и имя Графика в месте назначения отличаются.Имя триггерного сигнала и имя Графика в месте назначения должны включать то же имя.

Примечание: Инструкция идентификаторы Sub A1 и B1 выбрана по умолчанию.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0281: Инициируйте имена сигнала

Проверяйте на непротиворечивость на имена элемента модели

ID проверки: mathworks.jmaab.jc_0602

Описание

Проверки, если элементы модели, соединенные с сигналом, следуют за сопоставимым именованием.

Следующие имена должны быть соответствующими точно, когда непосредственно соединено с сигнальными линиями:

  • Имя блока Inport

  • Имя блока выходного порта

  • Структурный входной порт подсистемы помечает имя

  • Структурный выходной порт подсистемы помечает имя

  • С имени тега

  • Имя тега Goto

  • Имя сигнала сигнальной линии

Исключение 1: имя сигнальной линии, соединенной с одним из ниже подсистем, может иметь другое имя к тому из имени метки порта подсистемы:

  • Допускающие повторное использование подсистемы

  • Подсистемы соединяются с библиотекой

Исключение 2: Если комбинация блоков Inport, блоков Выходного порта и других блоков имеет то же имя блока, используйте суффикс или префикс для блоков Inport и Outport для сопоставимого именования. Это может быть сконфигурировано через Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Один или несколько элементов модели не сопоставимы со связанным именем сигнала.

Полагайте, что переименование отклоняющихся элементов модели совпадает с именем сигнала или сопоставимо с блоками Inport/Outport.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Не позволяет исключения блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0602: Непротиворечивость на имена элемента модели

Проверяйте на установку шага расчета

ID проверки: mathworks.jmaab.jc_0641

Описание

Проверяйте, установлено ли свойство шага расчета блока в-1 (наследованный).

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Свойство шага расчета блока не установлено в-1 (наследованный).Измените шаг расчета в-1 (наследованный).

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения блоков и графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0641: установка Шага расчета

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

ID проверки: mathworks.jmaab.jc_0651

Описание

Проверки, если модель придерживается инструкций для реализации преобразования типов.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Один или несколько блоков Operation нашли, что явным образом задают тип выходных данных.Вместо того, чтобы явным образом задать тип выходных данных на блоках операции, используйте блок Data Type Conversion при изменении типа данных выходного сигнала блока.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Не позволяет исключения блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0651: Инструкция для реализации преобразования типов

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

ID проверки: mathworks.jmaab.jc_0702

Описание

Идентифицирует использование числовых литералов в состояниях Stateflow и переходах.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Одно или несколько выражений в состояниях Stateflow и переходов Stateflow содержат числовые литералы.Полагайте, что модернизация использует названный параметрами и константами вместо числовых литералов.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0702: Использование именованных параметров/констант Stateflow

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

ID проверки: mathworks.jmaab.jc_0723

Описание

Идентифицирует переходы в диаграммах Stateflow, которые заканчиваются на внешних дочерних состояниях.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Один или несколько переходов заканчиваются на внешних дочерних состояниях.Полагайте, что модернизация избегает использования переходов, заканчивающихся на внешних дочерних состояниях.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0723: Запрещенный прямой переход от внешнего состояния до дочернего состояния

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

ID проверки: mathworks.jmaab.jc_0733

Описание

Идентифицирует акты государственной власти, которые не работают в состояниях Stateflow.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0733_a: Проверяйте основные типы акта государственной властиОдно или несколько состояний Stateflow имеют основные типы акта государственной власти, записанные не в порядке.Рассмотрите упорядоченное расположение актов государственной власти в порядке записи (en), во время (du), и выход (исключая).
jc_0733_b: Проверяйте объединенные типы акта государственной властиОдно или несколько состояний Stateflow объединили типы акта государственной власти, записанные не в порядке.Рассмотрите упорядоченное расположение актов государственной власти в порядке записи (en), во время (du), и выход (исключая).

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0733: Порядок типов акта государственной власти

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

ID проверки: mathworks.jmaab.jc_0740

Описание

Проверки, если выходные действия Stateflow используются в модели.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Одно или несколько состояний Stateflow используют выходной тип действия.Рассмотрите выход типа акта государственной власти удаления в состояниях Stateflow.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0740: Ограничение на использование выходного акта государственной власти

Контрольный разряд комментариев в метках перехода

ID проверки: mathworks.jmaab.jc_0771

Описание

Идентифицирует комментарии в метках перехода, которые не расположены однородно.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0771_a1: Комментарии в метках перехода должны быть однородно расположены на верхнюю частьОдин или несколько комментариев в метках перехода не расположены наверху.Комментарии в метках перехода должны быть расположены выше условий перехода, действий условия, действий перехода и событий Stateflow.
jc_0771_a2: Комментарии в метках перехода должны быть однородно расположены в нижнюю частьОдин или несколько комментариев в метках перехода не расположены в нижнюю часть.Комментарии в метках перехода должны быть расположены ниже условий перехода, действий условия, действий перехода и событий Stateflow.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0771: Прокомментируйте положение в метках перехода

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

ID проверки: mathworks.jmaab.jc_0773

Описание

Идентифицирует безусловные переходы в блок-схемах.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0773_a: Проверяйте на присутствие безусловного перехода, происходящего из перекрестка Stateflow с условным переходомОдно или несколько соединений Stateflow не имеют безусловных переходов, происходящих от них.Рассмотрите добавление безусловного перехода к соединению.
jc_0773_b: Проверяйте порядок выполнения безусловных переходовОдно или несколько соединений Stateflow имеют безусловные переходы, которые не выполняются в последний раз.Рассмотрите устанавливание порядка выполнения безусловного перехода от соединения до самого высокого значения.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0773: Безусловный переход блок-схемы

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

ID проверки: mathworks.jmaab.jc_0774

Описание

Идентифицирует комментарии в безусловных переходах без операторов действия.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Один или несколько безусловных переходов без операторов действия не имеют комментариев.Рассмотрите добавление комментария, объяснив безусловный переход.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0774: Комментарии для посредством перехода

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

ID проверки: mathworks.jmaab.jc_0775

Описание

Идентифицирует использование терминальных соединений в блок-схемах.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0775_a1: Проверяйте на использование только одного терминального соединенияОдин или несколько контейнеров Stateflow имеют больше чем одно терминальное соединение.Рассмотрите использование только одного терминального соединения.
jc_0775_a2: Проверяйте на использование одного терминального перекрестка с одним безусловным переходом, как введеноОдин или несколько контейнеров Stateflow имеют или больше чем одно терминальное соединение или терминальное соединение без одного безусловного перехода.Рассмотрите использование только одного терминального перекрестка с одним безусловным переходом, как введено.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0775: Терминальное соединение в блок-схемах

Проверяйте неиспользованные данные в Модель Simulink

ID проверки: mathworks.jmaab.jc_0792

Описание

Идентифицирует неиспользованные данные в словаре данных и рабочем пространстве модели.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0792_a: Проверяйте на неиспользованные данные в Словаре ДанныхОдна или несколько переменных данных в словаре данных не использованы.Рассмотрите удаление неиспользованных переменных данных.
jc_0792_b: Проверяйте на неиспользованные данные в Рабочем пространстве моделиОдна или несколько переменных данных в рабочем пространстве модели не использованы.Рассмотрите удаление неиспользованных переменных данных.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Не позволяет исключения блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0792: Неиспользованные данные

Проверяйте на использование символов комментария C-стиля

ID проверки: mathworks.jmaab.jc_0801

Описание

Идентифицирует использование C-стиля (/* и */) комментарии в файлах CGT и объектах MPT.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Одна или несколько сущностей используют комментарии C-стиля.Рассмотрите комментарии C-стиля удаления в файлах CGT и объектах MPT.

Возможности и ограничения

  • Не работает на моделях библиотеки.

  • Не анализирует содержимое соединенных блоков библиотеки.

  • Не анализирует содержимое во всех подсистемах маскированных.

  • Не позволяет исключения блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0801: Запрещенное использование/* и */символов комментария

Проверяйте на неявное преобразование типа в Stateflow

ID проверки: mathworks.jmaab.jc_0802

Описание

Идентифицирует неявное преобразование типа в Stateflow.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Одна или несколько операций и/или вызовов функции в диаграммах Stateflow имеют неверный тип данных.Все операции и вызовы функции должны быть сделаны между переменными совпадающего типа данных. Если типы данных отличаются, переменные должны быть явным образом типом, литым, чтобы совпадать с типами данных.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Не позволяет исключения блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0802: Запрещенное использование неявного преобразования типа в Stateflow

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

ID проверки: mathworks.jmaab.jc_0806

Описание

Идентифицирует состояние параметров конфигурации настроек диагностики валидности данных, которые обнаруживают неправильные результаты вычисления.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Деление параметра конфигурации модели сингулярной матрицей (CheckMatrixSingularityMsg) не установлено в error.Установите входное значение параметров на error.
Выходной (SignalInfNanChecking) блока Inf или NaN параметра конфигурации модели не установлен в error.Установите входное значение параметров на error.
Параметр конфигурации модели Переносится на переполнении (IntegerOverflowMsg), не установлен в error.Установите входное значение параметров на error.
Параметр конфигурации модели Насыщает на переполнении (IntegerSaturationMsg), не установлен в error.Установите входное значение параметров на error.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Не позволяет исключения блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0806: Обнаружение неправильных результатов вычисления

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

ID проверки: mathworks.jmaab.jc_0231

Описание

Идентифицирует имена блока с неправильными символами.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID Sub УсловиеРекомендуемое действие
jc_0231_a: Символы допускали имена блокаОдин или несколько блоков в модели имеют недопустимые имена.Используйте алфавитно-цифровые символы и символы нижнего подчеркивания в имени блока.
jc_0231_b: Номер вначалеОдин или несколько блоков в модели имеют числа в начале имени блока.Используйте буквенные символы в начале имени блока.
jc_0231_c: Подчеркните вначалеОдин или несколько блоков в модели имеют символы нижнего подчеркивания в начале имени блока.Используйте буквенные символы в начале имени блока.
jc_0231_d: Подчеркните в концеОдин или несколько блоков в модели имеют символы нижнего подчеркивания в конце имени блока.Не заканчивайте имена блока символами нижнего подчеркивания.
jc_0231_e: Последовательные символы нижнего подчеркиванияОдин или несколько блоков в модели имеют последовательные символы нижнего подчеркивания в имени блока.Не используйте последовательные символы нижнего подчеркивания в имени блока.
jc_0231_f: Одно зарезервированное слово MATLABОдин или несколько блоков в использовании модели зарезервировали слова MATLAB как имя блока.Не используйте зарезервировал слово MATLAB как имя блока.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0231: Применимые символы для имен блока

Проверяйте описание модели

ID проверки: mathworks.jmaab.jc_0603

Описание

Идентифицирует слои в модели, которые имеют противоречивое форматирование описания для следующих элементов модели:

  • Аннотации

  • Блок Model Info

  • Блок DocBlock

Можно выбрать тип блока описания и сконфигурировать теги описания от параметров входа Description Block Type и Description Tags . Формат для Description Tags должен иметь строковый тип с разделенными тегами запятой.

По умолчанию Description Block Type установлен в Annotation, и параметром Description Tags является Input:,Description:,Output:.

Например, рассматривая значения по умолчанию (Вход: Описание: вывод :, каждый слой в модели должен иметь формат описания как следующее:

Входной параметр: <вводят информацию>

Описание: <описание модели>

Вывод : <выходная информация>

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Один или несколько слоев в модели не имеют описаний модели или не имеют сопоставимого форматирования описания модели.Используйте сопоставимый формат в описаниях модели на всех слоях в модели.

Возможности и ограничения

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0603: Описание модели

Применимые символы для имен файлов

ID проверки: mathworks.jmaab.ar_0001

Описание

Погода проверок имена файлов соответствует стандартам инструкции.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
ar_0001_a: Символы допускали имена файловОдин или несколько файлов имеют недопустимые имена.Используйте алфавитно-цифровые символы и символы нижнего подчеркивания в именах файлов.
ar_0001_b: Номер вначалеОдин или несколько файлов имеют числа в начале имени файла.Используйте буквенные символы в начале имен файлов.
ar_0001_c: Подчеркните вначалеОдин или несколько файлов имеют символы нижнего подчеркивания в начале имени файла.Используйте буквенные символы в начале имен файлов.
ar_0001_d: Подчеркните в концеОдин или несколько файлов имеют символы нижнего подчеркивания в конце имени файла.Не заканчивайте имена файлов символами нижнего подчеркивания.
ar_0001_e: Последовательные символы нижнего подчеркиванияОдин или несколько файлов имеют последовательные символы нижнего подчеркивания в имени файла.Не используйте последовательные символы нижнего подчеркивания в именах файлов.
ar_0001_f: Одно Зарезервированное слово MATLAB Один или несколько файлов зарезервировали слова MATLAB как имя файла.Не используйте зарезервировал слово MATLAB как имя файла.
ar_0001_g: Идентичные имена файлов на путиОдин или несколько файлов имеют имена, которые идентичны файлам, существующим в пути MATLAB.Используйте уникальные имена файлов.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех файлах маскированных.

  • Не поддерживает исключения блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0775: Завершение соединений в Блок-схемах

Применимые символы для имен папок

ID проверки: mathworks.jmaab.ar_0002

Описание

Имена папок проверок, чтобы соответствовать стандартам инструкции.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
ar_0002_a: Символы допускали имена папокОдна или несколько папок имеют недопустимые имена.Используйте алфавитно-цифровые символы и символы нижнего подчеркивания на имена папок.
ar_0002_b: Номер вначалеОдна или несколько папок имеют числа в начале имени папки.Используйте буквенные символы в начале имен папок.
ar_0002_c: Подчеркните вначалеОдна или несколько папок имеют символы нижнего подчеркивания в начале имени папки.Используйте буквенные символы в начале имен папок.
ar_0002_d: Подчеркните в концеОдна или несколько папок имеют символы нижнего подчеркивания в конце имени папки.Не заканчивайте имена папок символами нижнего подчеркивания.
ar_0002_e: Последовательные символы нижнего подчеркиванияОдна или несколько папок имеют последовательные символы нижнего подчеркивания на имя папки.Не используйте последовательные символы нижнего подчеркивания на имена папок.
ar_0002_f: Одно Зарезервированное слово MATLAB Одна или несколько папок зарезервировали слова MATLAB как имя папки.Не используйте зарезервировал слово MATLAB как имя папки.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Не поддерживает исключения блоков или графиков.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: ar_0002: имена папок

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

ID проверки: mathworks.jmaab.jc_0201

Описание

Идентифицирует имена подсистемы с неправильными символами.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0201_a: Символы допускали имена подсистемыОдна или несколько подсистем имеют недопустимые имена.Используйте алфавитно-цифровые символы и символы нижнего подчеркивания на имена подсистемы.
jc_0201_b: Номер вначалеОдна или несколько подсистем имеют числа в начале имени подсистемы.Используйте буквенные символы в начале имен подсистемы.
jc_0201_c: Подчеркните вначалеОдна или несколько подсистем имеют символы нижнего подчеркивания в начале имени подсистемы.Используйте буквенные символы в начале имен подсистемы.
jc_0201_d: Подчеркните в концеОдна или несколько подсистем имеют символы нижнего подчеркивания в конце имени подсистемы.Не заканчивайте имена подсистемы символами нижнего подчеркивания.
jc_0201_e: Последовательные символы нижнего подчеркиванияОдна или несколько подсистем имеют последовательные символы нижнего подчеркивания на имя подсистемы.Не используйте последовательные символы нижнего подчеркивания на имена подсистемы.
jc_0201_f: Одно Зарезервированное слово MATLAB Одна или несколько подсистем зарезервировали слова MATLAB как имя подсистемы.Не используйте зарезервировал слово MATLAB как имя подсистемы.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек блоков или графиков.

Разовая редактированием Проверка. Эта проверка поддерживается разовой редактированием проверкой.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0201: имена Подсистемы

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

ID проверки: mathworks.jmaab.jc_0211

Описание

Идентифицирует имена блока Inport или Выходного порта с неправильными символами.

Эта проверка содержит подпроверки. Можно принять решение запуститься один или несколько подпроверок путем выбора подыдентификаторов из Model Advisor Configuration Editor.

Доступный с Simulink Check.

Результаты и рекомендуемые действия

Инструкция ID SubУсловиеРекомендуемое действие
jc_0211_a: Символы допускали имена блокировки портаОдна или несколько блокировок порта имеют недопустимые имена.Используйте алфавитно-цифровые символы и символы нижнего подчеркивания на имена блокировки порта.
jc_0211_b: Номер вначалеОдна или несколько блокировок порта имеют числа в начале имени блокировки порта.Используйте буквенные символы в начале имен блокировки порта.
jc_0211_c: Подчеркните вначалеОдна или несколько блокировок порта имеют символы нижнего подчеркивания в начале имени блокировки порта.Используйте буквенные символы в начале имен блокировки порта.
jc_0211_d: Подчеркните в концеОдна или несколько блокировок порта имеют символы нижнего подчеркивания в конце имени блокировки порта.Не заканчивайте имена блокировки порта символами нижнего подчеркивания.
jc_0211_e: Последовательные символы нижнего подчеркиванияОдна или несколько блокировок порта имеют последовательные символы нижнего подчеркивания на имя блокировки порта.Не используйте последовательные символы нижнего подчеркивания на имена блокировки порта.
jc_0211_f: Одно Зарезервированное слово MATLAB Одна или несколько блокировок порта зарезервировали слова MATLAB как имя блокировки порта.Не используйте зарезервировал слово MATLAB как имя блокировки порта.

Возможности и ограничения

  • Выбор поддержек Инструкции идентификаторы Sub.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных блоков библиотеки.

  • Анализирует содержимое во всех подсистемах маскированных.

  • Исключения поддержек блоков или графиков.

Разовая редактированием Проверка. Эта проверка поддерживается разовой редактированием проверкой.

Смотрите также

  • Инструкция JMAAB, Версия 5.1: jc_0211: имена блокировки порта