Консультативный совет MATLAB® Automotive Японии (JMAAB), проверки упрощают разработку и поиск и устранение неисправностей моделей, из которых код сгенерирован для автомобильных приложений.
Model Advisor выполняет контроль лицензии Simulink® Check™, когда вы осуществляете проверки JMAAB.
Руководства по моделированию Алгоритма управления Используя MATLAB, Simulink и Stateflow инструкции JMAAB по веб-сайту MathWorks®
ID проверки: mathworks.maab.ar_0001
Проверяет имена всех файлов, находящихся в той же папке как модель
Имя файла соответствует ограничениям.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Имя файла содержит запрещенные символы. | Переименуйте файл. Допустимые символы являются a–z, A–Z, 0–9. и подчеркните (_). |
| Имя файла запускается с номера. | Переименуйте файл. |
| Имя файла запускается с подчеркивания (" _ "). | Переименуйте файл. |
| Имя файла заканчивается подчеркиванием (" _ "). | Переименуйте файл. |
| Расширение файла содержит один (или больше) символы нижнего подчеркивания. | Измените расширение файла. |
| Имя файла имеет последовательные символы нижнего подчеркивания. | Переименуйте файл. |
| Имя файла содержит больше чем одну точку (". "). | Переименуйте файл. |
Инструкция JMAAB, ограничения Версии 5.1:
Проверка не отмечает конфликты с зарезервированными словами MATLAB. (ID Sub: f
Проверка не отмечает идентичные имена файлов на пути MATLAB. (ID Sub: g
Инструкция MAAB, ограничение Версии 3.0: проверка не отмечает конфликты с ключевыми словами C++.
Работает на моделях библиотеки.
Не позволяет исключения блоков или графиков.
Инструкция MAAB, Версия 3.0: ar_0001: Имена файлов в документации Simulink.
Инструкция JMAAB, Версия 5.1: ar_0001: Применимые символы для имен файлов
ID проверки: mathworks.maab.ar_0002
Каталог модели проверок и подкаталог называют для недопустимых символов.
Имя каталога соответствует ограничениям.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Имя каталога содержит запрещенные символы. | Переименуйте директорию. Допустимые символы являются a–z, A–Z, 0–9. и подчеркните (_). |
| Имя каталога запускается с номера. | Переименуйте директорию. |
| Имя каталога запускается с подчеркивания (" _ "). | Переименуйте директорию. |
| Имя каталога заканчивается подчеркиванием (" _ "). | Переименуйте директорию. |
| Имя каталога имеет последовательные символы нижнего подчеркивания. | Переименуйте директорию. |
Инструкция JMAAB, ограничение Версии 5.1: проверка не отмечает конфликты с зарезервированными словами MATLAB. (ID Sub: f
Работает на моделях библиотеки.
Не позволяет исключения блоков или графиков.
Анализирует полный путь модели.
Анализирует подкаталоги в той же директории как модель.
Инструкция MAAB, Версия 3.0: ar_0002: Имена каталогов в документации Simulink.
Инструкция JMAAB, Версия 5.1: ar_0002: Применимые символы для имен папок
ID проверки: mathworks.maab.jc_0201
Проверяйте, включают ли имена блока подсистемы недопустимые символы.
Имена всех блоков подсистемы, которые генерируют код, проверяются на недопустимые символы.
Проверка не сообщает о недопустимых символах на имена подсистемы для:
Виртуальные подсистемы
Атомарные подсистемы с набором Function Packaging к Inline
Доступный с Simulink Check.
Чтобы управлять соглашением о присвоении имен для блоков, которые отмечает проверка, можно использовать Model Advisor Configuration Editor.
Откройте Образцового Редактора конфигурации и перейдите к Check port block names. В панели Input Parameter:
Используйте Naming standard, чтобы выбрать MAAB 3.0 или Custom. Когда вы выбираете MAAB 3.0, проверка использует регулярное выражение ([^a-zA-Z_0-9])|(^\d)|(^ )|(__)|(^_)|(_$), чтобы проверить что имена:
Используйте эти символы: a-z, A-Z, 0-9 и подчеркивание (_).
Не запускайте с номера.
Не используйте символы нижнего подчеркивания вначале или конец строки.
Не используйте больше чем одно последовательное подчеркивание.
Когда вы выбираете Custom, можно ввести собственный Regular expression for prohibited names. Например, если вы хотите позволить больше чем одно последовательное подчеркивание, введите ([^a-zA-Z_0-9])|(^\d)|(^ )|(^_)|(_$).
Нажмите Apply.
Сохраните настройку. Когда вы осуществляете проверку с помощью этой настройки, проверка использует входные параметры, которые вы задали.
| Условие | Рекомендуемое действие |
|---|---|
Имена подсистемы не выполняют стандарт именования, заданный во входных параметрах. | Обновите имена подсистемы, чтобы выполнить ваши собственные инструкции или инструкции MAAB. |
Инструкция JMAAB, ограничение Версии 5.1: проверка не отмечает конфликты с зарезервированными словами MATLAB. (ID Sub: f
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения блоков и графиков.
Разовая редактированием Проверка. Эта проверка поддерживается разовой редактированием проверкой.
Используйте символы нижнего подчеркивания, чтобы разделить части имени подсистемы вместо пробелов.
Инструкция MAAB, Версия 3.0: jc_0201: Применимые символы для Подсистемы называют в документации Simulink.
Инструкция JMAAB, Версия 5.1: jc_0201: Применимые символы для имен Подсистемы
ID проверки: mathworks.maab.jc_0211
Проверяйте, включают ли Inport и имена блока Outport недопустимые символы.
Имена всех блоков Inport и Outport проверяются на недопустимые символы.
Доступный с Simulink Check.
Чтобы управлять соглашением о присвоении имен для блоков, которые отмечает проверка, можно использовать Model Advisor Configuration Editor.
Откройте Образцового Редактора конфигурации и перейдите к Check port block names. В панели Input Parameter:
Используйте Naming standard, чтобы выбрать MAAB 3.0 или Custom. Когда вы выбираете MAAB 3.0, проверка использует регулярное выражение ([^a-zA-Z_0-9])|(^\d)|(^ )|(__)|(^_)|(_$), чтобы проверить что имена:
Используйте эти символы: a-z, A-Z, 0-9 и подчеркивание (_).
Не запускайте с номера.
Не используйте символы нижнего подчеркивания вначале или конец строки.
Не используйте больше чем одно последовательное подчеркивание.
Когда вы выбираете Custom, можно ввести собственный Regular expression for prohibited names. Например, если вы хотите позволить больше чем одно последовательное подчеркивание, введите ([^a-zA-Z_0-9])|(^\d)|(^ )|(^_)|(_$).
Нажмите Apply.
Сохраните настройку. Когда вы осуществляете проверку с помощью этой настройки, проверка использует входные параметры, которые вы задали.
| Условие | Рекомендуемое действие |
|---|---|
Имена блока не выполняют стандарт именования, заданный во входных параметрах. | Обновите имена блока, чтобы выполнить ваши собственные инструкции или инструкции MAAB. |
Инструкция JMAAB, ограничение Версии 5.1: проверка не отмечает конфликты с зарезервированными словами MATLAB. (ID Sub: f
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения блоков и графиков.
Разовая редактированием Проверка. Эта проверка поддерживается разовой редактированием проверкой.
Используйте символы нижнего подчеркивания, чтобы разделить части имени блока вместо пробелов.
Инструкция MAAB, Версия 3.0: jc_0211: Применимые символы для блоков Inport и Выходного порта блокируются в документации Simulink.
Инструкция JMAAB, Версия 5.1: jc_0211: Применимые символы для блока Inport и блока Outport
ID проверки: mathworks.maab.jc_0231
Проверяйте, включают ли имена блока недопустимые символы.
Проверка сообщает о недопустимых символах во всех именах блока, кроме:
Inports и Outports
Размаскированные подсистемы
Инструкция MAAB, Версия 3.0, jc_0231: Применимые символы для имен блока не применяются к блокам подсистемы.
Доступный с Simulink Check.
Необходимая как условие инструкция MAAB, Версия 3.0, для этой проверки являются jc_0201: Применимые символы для имен Подсистемы.
Чтобы управлять соглашением о присвоении имен для блоков, которые отмечает проверка, можно использовать Model Advisor Configuration Editor.
Откройте Образцового Редактора конфигурации и перейдите к Check character usage in block names. В панели Input Parameter:
Используйте Naming standard, чтобы выбрать MAAB 3.0 или Custom. Когда вы выбираете MAAB 3.0, проверка использует регулярное выражение ([^a-zA-Z_0-9\n\r ])|(^\d)|(^ ), чтобы проверить что имена:
Используйте эти символы: a-z, A-Z, 0-9, подчеркивание (_), и пробел.
Не запускайте с номера или пробела.
Не имейте двухбайтовых символов.
Когда вы выбираете Custom, можно ввести собственный Regular expression for prohibited names. Например, если вы не хотите позволять символы нижнего подчеркивания (_) в имени блока, введите ([^a-zA-Z0-9\r])|(^\d)|(^ ).
Нажмите Apply.
Сохраните настройку. Когда вы осуществляете проверку с помощью этой настройки, проверка использует входные параметры, которые вы задали.
| Условие | Рекомендуемое действие |
|---|---|
Имена блока не выполняют стандарт именования, заданный во входных параметрах. | Обновите имена блока, чтобы выполнить ваши собственные инструкции или инструкции MAAB. |
Инструкция JMAAB, ограничения Версии 5.1:
Проверка не отмечает имена Базисного блока, кроме [Inport] и [Выходной порт], то использование символы нижнего подчеркивания вначале. (ID Sub: a
Проверка не отмечает имена Базисного блока, кроме [Inport] и [Выходной порт], то использование символы нижнего подчеркивания в конце. (ID Sub: b
Проверка не отмечает имена Базисного блока, кроме [Inport] и [Выходной порт], то использование последовательные символы нижнего подчеркивания. (ID Sub: c
Проверка не отмечает имена Базисного блока кроме [Inport] и [Выходной порт], который только состоит из одного зарезервированного слова MATLAB. (ID Sub: d
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения блоков и графиков.
Разовая редактированием Проверка. Эта проверка поддерживается разовой редактированием проверкой.
Возвраты каретки позволены в именах блока.
Инструкция MAAB, Версия 3.0: jc_0231: Применимые символы для имен блока в документации Simulink.
Инструкция JMAAB, Версия 5.1: jc_0231: Применимые символы для имен блока
ID проверки: mathworks.maab.db_0143
Проверяйте на системы, которые смешивают примитивные блоки и подсистемы.
Необходимо разработать каждый уровень модели со стандартными блоками того же типа, например, только подсистемы или только примитивные (основные) блоки. Если вы маскируете свою подсистему и устанавливаете MaskType на непустую строку, Model Advisor обрабатывает подсистему как базисный блок.
Доступный с Simulink Check.
Чтобы изменить список блоков, которые отмечает проверка, можно использовать Model Advisor Configuration Editor.
Откройте Образцового Редактора конфигурации и перейдите к Check for mixing basic blocks and subsystems.
В панели 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 можно добавить или удалить блоки.
Нажмите Apply.
Сохраните настройку. Когда вы осуществляете проверку с помощью этой настройки, проверка использует заданные входные параметры.
| Условие | Рекомендуемое действие |
|---|---|
| Уровень в модели включает блоки подсистемы и примитивные блоки. | Переместите невиртуальные блоки в подсистему. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: db_0143: Подобные типы блока на образцовых уровнях в документации Simulink.
Инструкция JMAAB, Версия 5.1: db_0143: типы блока Использования в иерархии модели
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. |
Не работает на моделях библиотеки.
Не позволяет исключения блоков или графиков.
Инструкция MAAB, Версия 3.0: jc_0011: параметры Оптимизации для булевых типов данных в документации Simulink.
Инструкция JMAAB, Версия 5.1: jc_0011: параметры Оптимизации для булевых типов данных.
ID проверки: mathworks.maab.na_0004
Проверяйте образцовые атрибуты установки внешнего вида.
Образцовые настройки внешнего вида требуются, чтобы соответствовать инструкциям, когда модель выпущена.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Панель инструментов не видима. | Выберите View> Toolbar. |
| Строка состояния не видима. | Выберите View> Status Bar. |
| Sample Time> Colors выбран. | Очистите Sample Time> Colors. |
| Wide Nonscalar Lines очищен. | Выберите Display> Signals & Ports> Wide Nonscalar Lines. |
| Viewer Indicators очищен. | Выберите Display> Signals & Ports> Viewer Indicators. |
| Testpoint Indicators очищен. | Выберите Display> Signals & Ports> Testpoint & Logging Indicators. |
| Port Data Types выбран. | Очистите Display> Signals & Ports> Port Data Types. |
| Storage Class выбран. | Очистите Display> Signals & Ports> Storage Class. |
| Signal Dimensions выбран. | Очистите Display> Signals & Ports> Signal Dimensions. |
| Execution Context Indicator выбран. | Очистите Display> Signals & Ports> Execution Context Indicator. |
| Model Browser выбран. | Очистите View> Model Browser > Show Model Browser. |
| Sorted Execution Order выбран. | Очистите Display> Blocks> Sorted Execution Order. |
| Model Block Version выбран. | Очистите Display> Blocks> Block Version for Referenced Models. |
| Model Block I/O Mismatch выбран. | Очистите Display> Blocks> Block I/O Mismatch for Referenced Models. |
Library Links является набором Disabled, User Defined или All. | Выберите Display> Library Links> None. |
| Linearization Indicators очищен. | Выберите Display> Signals & Ports> Linearization Indicators. |
| Блокируйтесь фоны не являются белыми. | Выберите Format> Background Color> White. |
| Блокируйтесь передние планы не являются черными. | Выберите Format> Foreground Color> Black. |
| Схемы не имеют белых фонов. | Выберите Diagram> Format> Canvas Color> White. |
| Схемы не имеют набора фактора изменения масштаба к 100%. | Выберите View> Zoom> Normal (100%). |
Нажатие на Modify обновляет атрибуты дисплея, чтобы соответствовать инструкции.
Не работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Не позволяет исключения блоков или графиков.
Инструкция MAAB, Версия 3.0: na_0004: внешний вид модели Simulink в документации Simulink.
Инструкция JMAAB, Версия 5.1: na_0004: настройки внешнего вида модели Simulink
ID проверки: mathworks.maab.db_0043
Проверяйте на различие в размерах шрифта и размерах шрифта.
За исключением свободных текстовых аннотаций в модели, текстовых элементах, таких как имена блока, аннотации блока и метки сигнала, должны иметь тот же стиль шрифта и размер шрифта. Выберите стиль шрифта и размер шрифта, который является четким и портативным (конвертируемый между платформами), такими как Arial или Times New Roman 12 точек. Чтобы задать правила шрифта для сеанса Simulink, из редактора Simulink выбирают Diagram> Format> Font Styles for Model.
Доступный с Simulink Check.
Примените заданный шрифт ко всем текстовым элементам. Когда вы задаете Common (значение по умолчанию), проверка идентифицирует различные шрифты, используемые в вашей модели. Несмотря на то, что можно задать другие шрифты, шрифтами, доступными из выпадающего списка, является Arial, Courier New, Georgia, Times New Roman, Arial Black и Verdana.
Примените заданный размер шрифта ко всем текстовым элементам. Когда вы задаете Common (значение по умолчанию), проверка идентифицирует различные размеры шрифта, используемые в вашей модели. Несмотря на то, что можно задать другие размеры шрифта, размерами шрифта, доступными из выпадающего списка, является 6, 8, 9, 10, 12, 14, 16.
Примените заданный стиль шрифта ко всем текстовым элементам. Когда вы задаете 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 изменяет размеры шрифта и размеры шрифта всех текстовых элементов в модели к обычно используемым шрифтам, размеры шрифта или стили шрифтов.
Инструкция MAAB, Версия 3.0: db_0043: размер шрифта Simulink и размер шрифта в документации Simulink.
Инструкция JMAAB, Версия 5.1: db_0043: Образцовый шрифт и размер шрифта
ID проверки: mathworks.maab.db_0042
Проверяйте, содержит ли модель порты с недопустимым положением и настройкой.
В моделях порты должны выполнить следующие правила:
Плэйс-Инпорт блокируется на левой стороне схемы. Приемлемо переместить блок Inport направо только, чтобы предотвратить пересечения сигнала.
Плэйс-Аутпорт блокируется на правой стороне схемы. Приемлемо переместить блок Outport налево только, чтобы предотвратить пересечения сигнала.
Избегайте использования дублирующихся блоков Inport на уровне подсистемы, если это возможно.
Не используйте дублирующиеся блоки Inport на корневом уровне.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Блоки Inport слишком далеки направо и результат в лево-плавных сигналах. | Переместите заданные блоки Inport налево. |
| Блоки выходного порта слишком далеки налево и результат в лево-плавных сигналах. | Переместите заданные Выходные блоки направо. |
| Порты не имеют ориентации по умолчанию. | Измените диаграмму модели, таким образом, что сигнальные линии для выходных портов вводят сторону блока, и сигнальные линии для входных портов выходят из правой стороны блока. |
| Порты являются дублирующимися блоками Inport. |
|
Инструкция JMAAB, ограничения Версии 5.1:
Проверка не отмечает, когда Inports не размещаются на левой стороне схемы. (ID Sub: a
Проверка не отмечает, когда Выходные порты не помещаются в правую сторону схемы. (ID Sub: b
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Не анализирует пересечения сигнала
Инструкция MAAB, Версия 3.0: db_0042: Блокировка порта в моделях Simulink в документации Simulink.
Инструкция JMAAB, Версия 5.1: db_0042: Использование блоков Inport и Outport
ID проверки: mathworks.maab.db_0142
Проверяйте, появляются ли имена блока ниже блоков.
Если показано, имя блока должно появиться ниже блока.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Блоки имеют имена, которые не появляются ниже блоков. | Определите имя блока, чтобы появиться ниже блоков. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Разовая редактированием Проверка. Эта проверка поддерживается разовой редактированием проверкой.
Инструкция MAAB, Версия 3.0: db_0142: Положение имен блока в документации Simulink.
Инструкция JMAAB, Версия 5.1: db_0142: Положение имен блока.
ID проверки: mathworks.maab.jc_0061
Проверяйте атрибуты дисплея подсистемы и имен блока.
Когда подсистема и имена блока предоставляют описательную информацию, отображают имена. Если функция блока известна от ее внешнего вида, не отображайте имя. Блоки с именами, которые очевидны из внешнего вида блока:
От
Goto
Земля
Логика
MinMax
ModelReference
MultiPortSwitch
Продукт
Оператор отношения
Насыщать
Переключатель
Терминатор
Тригонометрия
Единичная задержка
Сумма
Сравните с постоянным
Сравните с нулем
Доступный с Simulink Check.
Введите Параметры. Чтобы задать авторские блоки и маски, чтобы включать в эту проверку, используйте Model Advisor Configuration Editor.
Откройте Образцового Редактора конфигурации и перейдите к Check the display attributes of block names. В панели Input Parameters выберите Custom.
Используйте таблицу Block type list, чтобы включать или исключить блоки и маски от проверки.
Нажмите Apply.
Сохраните настройку. Когда вы осуществляете проверку с помощью этой настройки, проверка использует входные параметры, которые вы задали.
| Условие | Рекомендуемое действие |
|---|---|
Имя отображено и очевидно из внешнего вида блока. | Скройте имя путем очистки Diagram> Format> Show Block Name. |
Имя не является описательным. А именно, имя блока:
| Измените имя, чтобы быть более описательными или скрыть имя путем очистки Diagram> Format> Show Block Name. |
Имя является описательным и не отображенное. Описательные имена:
| Отобразите имя путем выбора Diagram> Format> Show Block Name |
| Проверка не оценивает мои авторские блоки и маски. | Используйте Образцового Редактора конфигурации, чтобы задать ваши собственные проверки и блоки. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: jc_0061: Отображение имен блока в документации Simulink.
Инструкция JMAAB, Версия 5.1: jc_0061: Отображение имен блока
ID проверки: mathworks.maab.db_0146
Проверяйте положение Триггера и Включите блоки.
Найдите блоки, которые задают подсистемы как условное выражение или итеративный наверху схемы подсистемы.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Инициируйте, Включите, и Блокировки порта Действия не наверху схемы подсистемы. | Переместите Триггер, Включите, и Блокировки порта Действия к верхней части схемы подсистемы. |
| Для Каждого, Для Итератора, и В то время как блоки Итератора не находятся в том же месте на схеме подсистемы. | Переместитесь Для Каждого Для Итератора, и В то время как Итератор блокируется так, они в универсальном местоположении на схеме подсистемы. |
Инструкция JMAAB, ограничение Версии 5.1: проверка не проверяет, что Для Каждого или Для блоков Итератора однородно расположены.
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Не анализирует содержимое в подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: db_0146: Инициированные, активированные, условные Подсистемы в документации Simulink.
Инструкция JMAAB, Версия 5.1: db_0146: Блочное расположение в условных подсистемах
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'
Инструкция MAAB, Версия 3.0: db_0140: Отображение параметров базисного блока.
Инструкция JMAAB, Версия 5.1: db_0140: Отображение параметров блоков
Для списка значений по умолчанию параметров блоков смотрите Специфичные для блока Параметры (Simulink).
ID проверки: mathworks.maab.db_0081
Проверяйте, имеет ли модель несвязанные входные порты, выходные порты или сигнальные линии.
Несвязанные входные параметры должны быть соединены, чтобы основать блоки. Несвязанные выходные параметры должны быть соединены с блоками терминатора строки.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Блоки имеют несвязанные вводы или выводы. | Соедините несвязанные строки с блоками, заданными проектом или Основываться или блоки Терминатора. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: db_0081: Несвязанные сигналы, входные параметры блока и блок выходные параметры в документации Simulink.
Инструкция JMAAB, Версия 5.1: db_0081: Несвязанные сигналы / блок
ID проверки: mathworks.maab.jc_0141
Проверяйте использование блоков switch.
Проверяет, что вход управления блоком switch (второй вход) является булевым значением и что блок сконфигурирован, чтобы передать первый вход, когда вход управления является ненулевым.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Вход управления блоком switch (второй вход) не является булевым значением. | Измените тип данных входа управления к булевской переменной. |
| Блок switch не сконфигурирован, чтобы передать первый вход, когда вход управления является ненулевым. | Установите параметры блоков Criteria for passing first input на u2 ~ =0. |
Не работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения блоков и графиков.
Разовая редактированием Проверка. Эта проверка поддерживается разовой редактированием проверкой. Однако разовая редактированием проверка эту проверку не проверяет, что тип данных управления ввел, булево значение.
Инструкция MAAB, Версия 3.0: jc_0141: Использование блока switch в документации Simulink.
Инструкция JMAAB, Версия 5.1: jc_0141: Использование блока switch
ID проверки: mathworks.maab.jc_0131
Проверяйте положение блоков Константа, используемых в блоках Оператора отношения.
Когда оператор отношения используется, чтобы сравнить сигнал с постоянным значением, постоянный вход должен быть вторым, более низким входом.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Блоки Оператора отношения имеют блок Constant на первом, верхнем входе. | Переместите блок Constant во второй, более низкий вход. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: jc_0131: Использование блока Relational Operator в документации Simulink.
Инструкция JMAAB, Версия 5.1: jc_0131: Использование Операторов отношения
ID проверки: mathworks.maab.db_0112
Проверяйте, что блоки используют сопоставимую векторную индексацию.
Проверяйте, что блоки используют сопоставимую векторную индексацию. Когда возможно, используйте основанную на нуле индексацию, чтобы повысить эффективность кода.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow®.
Проверка проверяет сопоставимую индексацию для следующих объектов:
| Объект | Индексация |
|---|---|
|
|
| Основанная на нуле индексация ([0, 1, 2...]) |
| Индексация на основе одна ([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, или предварительно вычислите значение как новую переменную. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Не оценивает параметры маски.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: db_0110: Настраиваемые параметры в базисных блоках в документации Simulink.
Инструкция JMAAB, Версия 5.1: db_0110: Инструкции для параметров блоков
ID проверки: mathworks.jmaab.jc_0627
Проверяйте использование блока Discrete-Time Integrator.
Для блоков Интегратора Дискретного времени проверяйте:
Параметры блоков Limit output выбраны.
Пределы насыщения заданы с помощью объекта Simulink.Parameter или MPT.Parameter, типом данных которого является auto.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Параметры блоков Limit output очищены | Выберите параметры блоков Интегратора Дискретного времени Limit output. |
Предел насыщения задан Объектом параметра, типом данных которого не является auto | Измените тип данных для Объекта параметра к auto. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Инструкция JMAAB, Версия 5.1: jc_0627: Инструкция для использования блока Discrete-Time Integrator
ID проверки: mathworks.jmaab.jc_0643
Проверяйте блоки, с тем, тип данных выходного сигнала которых является фиксированной точкой, и смещение не является нулем.
Для блоков, которые имеют тип данных с фиксированной точкой для их выходных сигналов, проверяйте, что параметры блоков Bias установлены в 0.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
В Ассистенте Типа данных Mode установлен в | Измените параметры блоков Bias на 0. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Инструкция JMAAB, Версия 5.1: jc_0643: установка фиксированной точки
ID проверки: mathworks.jmaab.jc_0650
Проверяйте, являются ли типы входных и выходных данных для портов данных тем же самым для переключения функциональных блоков
Для Переключателя Многопортовый Переключатель и Индексные блоки Вектора, проверяют, что порты входных и выходных данных имеют совпадающий тип данных.
Доступный с 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: проверка только отмечает блок-схемы, содержащие построения цикла, если переход нарушает правило ориентации.
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Разовая редактированием Проверка. Эта проверка поддерживается разовой редактированием проверкой.
Инструкция MAAB, Версия 3.0: db_0132: Переходы в блок-схемах в документации Simulink.
Инструкция JMAAB, Версия 5.1: db_0132: Переходы в Блок-схемах
ID проверки: mathworks.maab.jc_0511
Идентифицируйте графические функции с несколькими присвоениями возвращаемых значений в диаграммах Stateflow.
Возвращаемое значение от графической функции Stateflow должно быть установлено только в одном месте.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Возвращаемое значение от графической функции Stateflow присвоено в нескольких местах. | Измените заданную графическую функцию так, чтобы ее возвращаемое значение было установлено в одном месте. |
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: jc_0511: Установка возвращаемого значения от графической функции в документации Simulink.
Допускающие повторное использование функции в графиках (Stateflow).
ID проверки: mathworks.maab.db_0122
Проверяйте, маркировал ли Stateflow, и сигналы ввода и вывода Simulink со строгим контролем типов.
Сильный ввод данных между Stateflow и сигналами ввода и вывода Simulink требуется.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Диаграмма Stateflow не использует сильный ввод данных с Simulink. | Установите флажок Use Strong Data Typing with Simulink I/O для заданного блока. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков и графиков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: db_0122: сигналы интерфейса Stateflow и Simulink и параметры в документации Simulink.
Инструкция JMAAB, Версия 5.1: db_0122: сигналы интерфейса Stateflow и Simulink и параметры
Синтаксис для состояний и переходов (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
Проверка не обнаруживает, если локальные данные имеют то же имя в рамках графиков или состояний, которые имеют связи между родительскими объектами и их потомками.
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Не позволяет исключения блоков или графиков.
Инструкция MAAB, Версия 3.0: db_0125: Осциллограф внутренних сигналов и локальных вспомогательных переменных в документации Simulink.
Инструкция JMAAB, Версия 5.1: db_0125: Stateflow локальные данные
ID проверки: mathworks.maab.jc_0521
Идентифицируйте вызовы графических функций в условных выражениях.
Не используйте возвращаемое значение графической функции в операции сравнения.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Условные выражения содержат вызовы графических функций. | Присвойте возвращаемые значения графических функций к промежуточным переменным. Используйте эти промежуточные переменные в заданных условных выражениях. |
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: jc_0521: Использование возвращаемого значения от графических функций в документации Simulink.
Допускающие повторное использование функции в графиках (Stateflow).
Шаблоны логики повторного использования путем определения графических функций (Stateflow).
ID проверки: mathworks.maab.db_0127
Идентифицируйте, что Stateflow возражает, что используют выражения MATLAB, которые не подходят для генерации кода.
Не используйте функции MATLAB, инструкции и операторы в объектах Stateflow.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Объекты Stateflow используют выражения MATLAB. | Замените выражения MATLAB в объектах Stateflow. |
Применяется только к диаграммам Stateflow, которые используют C в качестве языка действия.
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Разовая редактированием Проверка. Эта проверка поддерживается разовой редактированием проверкой.
Инструкция MAAB, Версия 3.0: db_0127: команды MATLAB в Stateflow в документации Simulink.
Доступ к функциям MATLAB и данным о рабочей области в графиках 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
ID проверки: mathworks.maab.jm_0012
Идентифицируйте неориентированные широковещательные сообщения события, которые могут вызвать рекурсию во время симуляции и сгенерировать неэффективный код.
Широковещательные сообщения события в диаграммах Stateflow должны быть направлены.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Широковещательные сообщения события являются неориентированными. | Повторно спроектируйте схему, чтобы использовать направленную широковещательную передачу события. Используйте отправить синтаксис или квалифицированные имена события, чтобы направить событие к конкретному состоянию. Используйте несколько операторов SEND, чтобы направить событие больше чем к одному состоянию. |
Инструкция JMAAB, ограничение Версии 5.1: проверка не может быть сконфигурирована, чтобы отметить событие, используемое кроме диаграммы Stateflow вывод. (ID Sub: a1)
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: jm_0012: широковещательные сообщения События в документации Simulink.
Инструкция JMAAB, Версия 5.1: jm_0012: ограничения Использования событий и широковещательных событий
Широковещательно передайте локальные События, чтобы синхронизировать параллельные состояния (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 очистили побитовые операторы использования (&, | и ^). | Чтобы устранить эту проблему, сделайте любое из следующего:
|
Инструкция JMAAB, ограничения Версии 5.1:
Проверка не отмечает когда операторы кроме"!" используются для логического отрицания. (ID Sub: a
Проверка не может быть сконфигурирована, чтобы выбрать между "~ =", "! = ", и" <>" для операций неравенства. (ID Sub: b1, b2, b3)
Проверка не обнаруживает, когда "^" и "~" побитовые операторы используются для Логических операций. (ID Sub: c
Применяется только к графикам, которые используют C в качестве языка действия.
Не работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: na_0001: Поразрядные операторы Stateflow в документации Simulink.
Инструкция JMAAB, Версия 5.1: na_0001: Стандартное использование операторов Stateflow
Бинарные операции (Stateflow).
ID проверки: mathworks.maab.jc_0451
Идентифицируйте унарный минус операции, применился к беззнаковому целому в объектах Stateflow.
Не выполняйте унарный минус операции на беззнаковом целом в объектах Stateflow.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Унарный минус операции применяются к беззнаковому целому в объектах Stateflow. | Измените заданные объекты удалить зависимость от унарного минус операции. |
| Model Advisor не мог определить типы данных в выражениях с унарным минус операции. | Чтобы позволить Model Advisor определять типы данных, рассмотрите явным образом преобразование типа заданных выражений. |
Не работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: jc_0451: Использование унарных минус на беззнаковом целом в Stateflow в документации Simulink.
Инструкция JMAAB, Версия 5.1: jc_0451: Использование унарных минус на беззнаковом целом
ID проверки: mathworks.maab.db_0123
Проверяйте на несоответствия между портами Stateflow, и сопоставил имена сигнала.
Имя ввода и вывода Stateflow должно совпасть с соответствующим сигналом. Проверка не отмечает:
Назовите несоответствия для допускающих повторное использование диаграмм Stateflow в библиотеках.
Порты Stateflow, если соответствующий сигнал не имеет метки.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Сигналы имеют имена, которые отличаются от соответствующих портов Stateflow. | Поменяйте имена или сигналов или портов Stateflow. |
Не работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков. Исключения не будут работать на соединенные графики библиотеки.
Инструкция MAAB, Версия 3.0: db_0123: порт Stateflow называет в документации Simulink.
ID проверки: mathworks.maab.na_0034
Идентифицируйте функции MATLAB, которые имеют входные параметры, выходные параметры или параметры с наследованной сложностью или свойствами типа данных.
Проверка идентифицирует функции MATLAB с наследованной сложностью или свойствами типа данных. Таблица результатов обеспечивает ссылки на функции MATLAB, которые не передают проверку, наряду с условиями, инициировавшими предупреждение.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Функции MATLAB имеют наследуемые интерфейсы. | Явным образом задайте сложность и свойства типа данных для импорта, выходных портов и параметров функции MATLAB, идентифицированной в результатах. Если применимо, с помощью Редактора блока MATLAB function (Simulink), сделайте следующие модификации в Портах и Менеджере данных (Simulink):
|
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция MAAB, Версия 3.0: na_0034: настройки ввода/вывода блока MATLAB function в документации Simulink.
Инструкция JMAAB, Версия 5.1: na_0034: настройки ввода/вывода блока MATLAB function
ID проверки: mathworks.maab.na_0024
Проверяйте на глобальные переменные в коде MATLAB.
Проверяет, что глобальные переменные не используются ни в одном следующем:
Код MATLAB в блоках MATLAB function
Функции MATLAB заданы в диаграммах Stateflow
Названные функции MATLAB
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
Глобальные переменные используются в одном или нескольких из следующего:
| Замените глобальные переменные на сигнальные линии, аргументы функции или персистентные данные. |
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Не позволяет исключения блоков или графиков.
Инструкция MAAB, Версия 3.0: na_0024: Глобальные переменные в документации Simulink.
Инструкция JMAAB, Версия 5.1: na_0024: Разделяемые данные в функциях MATLAB
ID проверки: mathworks.jmaab.jc_0623
Память проверок и Единичная задержка блокируется с несоответствующим шагом расчета.
Идентифицирует Блоки памяти с дискретным шагом расчета и блоки Единичной задержки с недискретным шагом расчета.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Блоки памяти имеют шаг расчета, который не непрерывен. | Используйте блок Unit Delay вместо Блока памяти. |
| Блоки Единичной задержки имеют недискретный шаг расчета. | Используйте Блок памяти вместо блока Unit Delay. |
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция JMAAB, Версия 5.1: jc_0623: Использование непрерывно-разовых блоков задержки и блоков дискретного времени
ID проверки: mathworks.jmaab.jc_0110
Проверки блокируются с измененной ориентацией.
Идентифицирует блоки, которые инвертируются или с вращаемой ориентацией. Эта проверка исключает блоки Единичной задержки или Задержки.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Некоторые блоки в модели вращали или инвертировали ориентацию. | Инвертируйте или поверните эти блоки, которые будут ориентированы к праву. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция JMAAB, Версия 5.1: jc_0110: Направление блока
ID проверки: mathworks.jmaab.jc_0763
Идентифицирует состояния Stateflow что источник несколько внутренних переходов.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Одно или несколько состояний Stateflow имеют несколько внутренних переходов. | Реконструируйте, чтобы избежать использования нескольких внутренних переходов. |
Инструкция JMAAB, ограничение Версии 5.1: проверка не отмечает порядок выполнения от начала до конца нескольких внутренних переходов. (ID Sub: a2)
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция JMAAB, Версия 5.1: jc_0763: Использование нескольких внутренних переходов
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: ограничения Длины для образцовых имен файлов
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: ограничения Длины для имен подсистемы
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
Проверяет порядок оператора блоков продукта.
| Условие | Рекомендуемое действие |
|---|---|
| Неподходящее использование порядка оператора блоков продукта. | Измените первый вход в блоке продукта к умножению ('* '). |
Инструкция JMAAB, ограничение Версии 5.1: проверка не отмечает блоки продукта с помощью больше чем 2 входных параметров. (ID Sub: b
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Разовая редактированием Проверка. Эта проверка поддерживается разовой редактированием проверкой.
Инструкция JMAAB, Версия 5.1: jc_0610: порядок Оператора для блоков умножения и деления
ID проверки: mathworks.jmaab.jc_0621
Форма значка проверок блоков Логического оператора. Форма значка Логического оператора должна быть прямоугольной.
| Условие | Рекомендуемое действие |
|---|---|
| Неподходящая установка значка формирует для блоков Логического оператора. | Измените форму значка блоков Логического оператора к прямоугольному для удобочитаемости. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр 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 в блоки Случая Переключателя и Если блоки.
| Условие | Рекомендуемое действие |
|---|---|
| Неподходящее использование Переключателя и Если блоки. | Рассмотрите установку опции случая default/else в блоках Случая Переключателя и Если блоки к on. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция JMAAB, Версия 5.1: jc_0656: Использование Условного Блока управления
ID проверки: mathworks.jmaab.jc_0735
Проверки, если каждое действие в метке состояния заканчивается точкой с запятой.
| Условие | Рекомендуемое действие |
|---|---|
| Одна или несколько меток состояния в диаграммах Stateflow не заканчиваются точкой с запятой. | Убедитесь, что добавили точки с запятой в конце всех меток состояния в диаграммах Stateflow. |
Типы действия (запись (en), во время (du), и выход (исключая)) исключены из проверки.
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
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
Проверки, что начальное выходное значение для всех Выходных портов и блоков Слияния, соединенных с Условной подсистемой, явным образом задано.
| Условие | Рекомендуемое действие |
|---|---|
| Начальный вывод для всех Выходных портов и блоков Слияния, соединенных с Условной подсистемой, явным образом не задан. | Для Условной подсистемы явным образом задайте начальное выходное значение для всех Выходных портов и блоков Слияния, соединенных с Условной подсистемой. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция JMAAB, Версия 5.1: jc_0640: настройки Начального значения для Выходного порта блокируются в условных подсистемах
ID проверки: mathworks.jmaab.jc_0628
Эта проверка идентифицирует:
Насыщение или Насыщение Динамические блоки с любыми операциями преобразования типа. Проверка сравнивает это скомпилированное соответствие типов входных и выходных данных или проверяет, что Output data type установлен в Inherit: Same as input и Inherit: Same as second input для Насыщения и Насыщения Динамические блоки соответственно.
Если upper limit установлен в максимальное значение типа выходных данных (intmax, realmax).
Если lower limit установлен в минимальное значение типа выходных данных (intmin,-realmax).
| Условие | Рекомендуемое действие |
|---|---|
| Типы входных и выходных данных отличаются. | Убедитесь, что Output data type установлен в Inherit: Same as input и Inherit: Same as second input для Насыщения и Насыщения Динамические блоки соответственно. |
| Значения верхнего предела и нижнего предела блоков не установлены к, придерживался значения. |
|
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр 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
ID проверки: mathworks.jmaab.jc_0737
Идентифицирует состояния и переходы в Stateflow, которые нарушают требование равномерных пространств вокруг операторов.
| Условие | Рекомендуемое действие |
|---|---|
| Несоответствующее использование пробелов в stateflow для унарных операторов. | Не вставляйте пробел между операторами и операндами. |
| Несоответствующее использование пробелов в stateflow для бинарных операторов. | Вставьте один или несколько пробелов между операторами и операндом. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
ID проверки: mathworks.jmaab.jc_0738
Идентифицирует акты государственной власти в Stateflow, которые имеют перевод строки (новая строка) в комментариях, которые запускаются с/* и заканчиваются */.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Stateflow состоит из перевода строки (новая строка) в комментариях, которые запускаются с/* и заканчиваются */. | Каждая строка в разделе комментариев должна запуститься с/* и закончиться */. |
Инструкция JMAAB, ограничение Версии 5.1: проверка не отмечает вложение комментариев в Stateflow. (ID Sub: a
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр 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_0742
Проверки, если Логические операции в метках условия в stateflow переходах придерживаются этих условий:
Каждая строка в метках условия не должна содержать больше, чем количество условий, заданных во входном параметре (значение по умолчанию равняется 3).
Если существует два или больше типа Логических операций, приоритеты должны быть описаны при помощи круглых скобок.
Если два или больше типа Логических операций описаны больше чем в одной строке, положение тех операций должно быть универсальным в каждом логическом выражении в рамках Перехода, который является или прежде или после условий.
В условии метки перехода запишите выражение, которое возвращает логическое значение.
| Условие | Рекомендуемое действие |
|---|---|
| Максимальное количество условий, которые могут быть описаны в одной строке, выше, чем порог набора (значение по умолчанию равняется 3, установленному через Input parameter). | Убедитесь, что количество условий, описанных в одной строке, не выше, чем порог набора. |
| Использование больше чем двух булевых (логических) операций приводит к нежелательным результатам. | Убедитесь, что установили приоритеты операций путем описания их использующий круглые скобки. |
| Логические операторы на нескольких строках помещаются в различные положения (до и после новой строки). | Убедитесь, что положение операций (перед условиями или после условий) однородно используется в графике. |
| Условия метки перехода возвращают значение, которое не логически. | Убедитесь, что метки перехода возвращают логическое значение. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
ID проверки: mathworks.jmaab.jc_0743
Проверки на следующие условия в переходах Stateflow:
Действие условия состояния заканчивается точкой с запятой.
Каждое действие условия состояния описано в отдельной строке.
| Условие | Рекомендуемое действие |
|---|---|
| Неправильное использование условий в переходах Stateflow приводит к нежелательным результатам. |
|
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
ID проверки: mathworks.jmaab.jc_0751
Проверяет неожиданное отслеживание в обратном порядке в изменения состояния. Параметр Confirguration для Unexpected backtracking (SFUnexpectedBacktrackingDiag) должен быть установлен на error.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Отслеживание в обратном порядке не обнаружено во время изменения состояния. | Установите confirguration параметр для Unexpected backtracking (SFUnexpectedBacktrackingDiag) к error. |
Работает на моделях библиотеки.
Не анализирует содержимое соединенных библиотекой блоков.
Не анализирует содержимое в подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция JMAAB, Версия 5.1: jc_0751: Отслеживание в обратном порядке предотвращения в изменении состояния
ID проверки: mathworks.jmaab.jc_0752
Проверки, если новая строка запускается до и после круглых скобок для действий условия в переходах Stateflow.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Действия условия в переходах Stateflow записаны около круглой скобки. | Запустите новую строку до и после круглых скобок для действий условия в переходах Stateflow. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция JMAAB, Версия 5.1: jc_0752: Формат действия условия в метке перехода
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
ID проверки: mathworks.jmaab.jc_0756
Идентифицирует, вычисляются ли порядковые номера в индексах массива.
| Условие | Рекомендуемое действие |
|---|---|
| Порядковые номера вычисляются в индексах массива. | Убедитесь, что порядковые номера не вычисляются в индексах массива. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
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
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: Целочисленная установка режима округления
ID проверки: mathworks.jmaab.jc_0659
Проверки, если существует какой-либо подарок блоков, промежуточный условная подсистема и блок слияния.
Блоки слияния должны иметь прямые связи от условно выполняемых подсистем. В то время как использование блока Merge принимает следующее во внимание:
Никакие блоки не должны присутствовать промежуточные Слияние и Условно выполняемые блоки подсистемы, включая виртуальную подсистему, которая не влияет на функцию блока Merge.
Блок Merge может быть вложен в любом количестве подсистем, если предыдущее условие удовлетворено.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Один или несколько блоков, вставленных промежуточный Слияние и Условный блок Subsystem. | Сделайте прямые связи из Условных блоков Subsystem, чтобы Объединить блоки. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция JMAAB, Версия 5.1: jc_0659: ограничения Использования сигнальных линий введены к блоку Merge
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.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Первый индекс массивов в Stateflow не установлен или в 0 или в 1. | Сделайте первый индекс массивов как 0 или 1. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр 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: синхронизация Выполнения для пути к переходу по умолчанию
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: формат имени Состояния
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: Количество типов акта государственной власти
ID проверки: mathworks.jmaab.jc_0736
Проверяйте на универсальное добавление отступа строк метки в состояниях Stateflow и Переходах.
Проверки, если Добавления отступа в блоках Stateflow описаны однородно и придерживались следующих рекомендаций.
Правила метки состояния
Никакие пробелы перед типами действия (запись (en), во время (du), и выход (исключая)).
Один пробел для других операторов.
Условие перехода и правила действия
Никакие пробелы прежде [].
Правила действия перехода
Всегда вставляйте один пробел.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| В правилах метки State, если существует пробел перед типами действия (запись (en), во время (du), и выход (исключая). | Удалите пробел перед типами действия (запись (en), во время (du), и выход (исключая)). |
| В правилах метки State, если нет никакого пробела перед всеми другими операторами кроме типов действия. | Вставьте пробел перед всеми другими операторами. |
| В условии Перехода и правилах действия, если существует пробел прежде []. | Не вставляйте пробел прежде []. |
| В правилах действия перехода, если существует больше чем один пробел, вставленный где-нибудь. | Убедитесь, что вы всегда вставляете один пробел. |
Инструкция JMAAB, ограничение Версии 5.1: проверка не проверяет количество пробелов после "/" действия перехода. (ID Sub: c
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения графиков.
Инструкция JMAAB, Версия 5.1: jc_0736: Универсальные добавления отступа в блоках Stateflow
ID проверки: mathworks.jmaab.jc_0770
Проверяет размещение меток Перехода Stateflow. Метка сигнала Stateflow должна всегда быть в начале координат сигнала или в средней точке строки перехода сигнала.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Метка Stateflow вставляется в несоответствующее положение. | Убедитесь, что поместили, Stateflow маркирует или в начале координат сигнала или в средней точке строки перехода сигнала. |
Инструкция JMAAB, ограничение Версии 5.1: проверка не может быть сконфигурирована, чтобы проверять, что размещение метки является самым близким на грани источника перехода. (ID Sub: a1)
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция JMAAB, Версия 5.1: jc_0770: размещение метки Перехода
ID проверки: mathworks.jmaab.jc_0791
Проверки на дублирующееся определение имен данных. Имена данных Simulink должны быть уникальными через базовое рабочее пространство, рабочее пространство модели и словарь данных.
| Условие | Рекомендуемое действие |
|---|---|
| Одно или несколько имен данных Simulink имеют дублирующиеся определения. | Убедитесь, что все заданные имена данных Simulink уникальны. |
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция JMAAB, Версия 5.1: jc_0791: Дублирующиеся имена данных
ID проверки: mathworks.jmaab.jc_0800
Проверки, если эквивалентное сравнение сделано на числах с плавающей запятой.
| Условие | Рекомендуемое действие |
|---|---|
| Наблюдаются один или несколько экземпляров эквивалентного сравнения для чисел с плавающей запятой. | Убедитесь, что избежали использования эквивалентных сравнений для чисел с плавающей запятой. |
Не работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция JMAAB, Версия 5.1: jc_0800: Сравнение типов с плавающей точкой в Simulink
ID проверки: mathworks.jmaab.jc_0653
Проверяет размещение блоков Задержки в алгебраических циклах между подсистемами.
| Условие | Рекомендуемое действие |
|---|---|
| Задержитесь блоки в обратной связи помещаются в подсистеме. | Задержитесь блоки в обратной связи должны быть помещены за пределами их родительской подсистемы. |
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция JMAAB, Версия 5.1: jc_0653: Задержите блочное расположение в обратной связи
ID проверки: mathworks.jmaab.jc_0531
Проверяет размещение перехода по умолчанию в диаграммы Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Параллельные состояния в модели имеют переходы по умолчанию. | Переходы по умолчанию не должны использоваться для параллельных состояний. |
| Одно или несколько состояний Stateflow в модели не имеют переходов по умолчанию. | Убедитесь, что существует переход по умолчанию на каждом уровне. |
| Одно или несколько состояний Stateflow в модели имеют несколько переходов по умолчанию на том же уровне. | Несколько переходов по умолчанию не должны быть включены в тот же уровень. |
| Один или несколько переходов по умолчанию в модели не соединяются с главным состоянием или соединением. | Убедитесь, что переходы по умолчанию непосредственно соединяются с верхней частью состояния или соединения. |
| Одно или несколько целевых состояний или соединений переходов по умолчанию не находятся на верхней части. | Убедитесь, что целевое состояние перехода или целевое соединение перехода для перехода по умолчанию расположены в далекий верхний левый угол в том же уровне. |
| Один или несколько переходов по умолчанию в модели превышают государственные границы. | Убедитесь, что переход по умолчанию не превышает государственные границы. |
| Параметр Никакие безусловные переходы по умолчанию в Настройке> Диагностика> Stateflow не устанавливается на error. | Установите параметр Никакие безусловные переходы по умолчанию к ошибке. |
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция JMAAB, Версия 5.1: jc_0531: переход По умолчанию
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: Инструкции для описания текстов в состояниях
ID проверки: mathworks.jmaab.jc_0797
Проверки на несвязанные объекты в диаграммах Stateflow и Идентифицируют повисшие переходы и несвязанные состояния Stateflow и Соединения в диаграммах Stateflow.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
| Условие | Рекомендуемое действие |
|---|---|
| Один или несколько несвязанных переходов, состояний или соединений найдены в диаграммах Stateflow. | Реконструируйте, чтобы соединить повисшие переходы и несвязанные состояния и соединения. |
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция JMAAB, Версия 5.1: jc_0797: Несвязанные строки перехода / утверждают / соединительные соединения
ID проверки: mathworks.jmaab.jc_0790
Проверки, если язык действия диаграмм Stateflow установлен в C.
| Условие | Рекомендуемое действие |
|---|---|
| Язык действия одной или нескольких диаграмм Stateflow не установлен в C. | Установите весь язык действия диаграмм Stateflow на C. |
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция JMAAB, Версия 5.1: jc_0790: Стройте диаграмму языка действия
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
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, Селектора Шины, Демультиплексора и Селектора):
Соедините шиной Селекторный блок (маркировка сил инструмента)
Стройте диаграмму блока (Stateflow)
Постоянный блок
Блок Data Store Read
Блок Demux
От блока
Блок Inport
Селекторный блок
Блок Subsystem
Если метка сигнала видима в отображении значка для инициирующего блока, вы не должны отображать метку для связанного сигнала, если метка сигнала не требуется в другом месте из-за правила для мест назначения сигнала.
Сигналы соединились с одним из следующих целевых блоков (прямо или косвенно с базисным блоком, который выполняет операцию, которая не является поддающейся трансформации):
Соедините шиной Селекторный блок (маркировка сил инструмента)
Стройте диаграмму блока (Stateflow)
Блок Data Store Write
Блок Goto
Блок Mux
Блок Outport
Блок Subsystem
Любой сигнал интереса.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Сигналы, прибывающие из Селектора Шины, Графика, Постоянного Чтения Хранилища данных, Демультиплексора, От, Inport или Селекторные блоки, не маркированы. | Маркируйте сигнал. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Не позволяет исключения блоков или графиков.
Инструкция JMAAB, Версия 5.1: jc_0008: Определение меток Сигнала
Сигнал называет и маркирует (Simulink).
ID проверки: mathworks.jmaab.jc_0009
Проверяйте на распространенные метки на сигнальных линиях.
Необходимо распространить метку сигнала из ее источника, а не ввести метку сигнала явным образом (вручную), если сигнал происходит из:
Блок Inport во вложенной подсистеме. Однако, если вложенная подсистема является подсистемой библиотеки, можно явным образом маркировать сигнал, прибывающий из блока Inport, чтобы разместить повторное использование блока библиотеки.
Базисный блок, который выполняет неподдающуюся трансформации операцию.
Блок Subsystem или Stateflow Chart. Однако, если связь происходит из вывода экземпляра блока библиотеки, можно явным образом маркировать сигнал разместить повторное использование блока библиотеки.
Доступный с Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Модель включает метки сигнала, которые вводились явным образом, но должны быть распространены. | Используйте открытую угловую скобку (<) символ, чтобы отметить метки сигнала, которые должны быть распространены и удалить метки, которые вводились явным образом. |
Не работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Не позволяет исключения блоков или графиков.
Инструкция JMAAB, Версия 5.1: jc_0009: распространение имени Сигнала
Сигнал называет и маркирует (Simulink).