Model Advisor на податливость MAB и JMAAB

Стандарты моделирования для MAB - проверки податливости

Можно использовать Model Advisor, чтобы проверить податливость вашей модели MathWorks^® руководящие принципы Консультативного совета (MAB).

Simulink^® Check™ выполнения этих проверок MAB требуется лицензия. Там, где это применимо, дополнительные требования к лицензии указаны в конкретной документации для проверки.

Для доступа к проверкам в Model Advisor смотрите Доступ к MAB и JMAAB Model Advisor Checks. Чтобы запустить проверки Model Advisor, смотрите Запуск проверок Model Advisor и Просмотр результатов.

При выполнении проверок с использованием папки By Task проверки MAB классифицируются по следующим группам:

Соглашения об именовании

Проверки, которые проверяют податливость модели рекомендациям по именованию MAB.

Для получения дополнительной информации смотрите Руководства по моделированию и Проверки Model Advisor для MAB и JMAAB.

Simulink

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

Stateflow

Проверки, которые проверяют податливость модели руководствам MAB для Stateflow^® блоки/данные/события, схемы, условный переход/Действие, описание меток и другие различные компоненты.

MATLAB

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

Стандарты моделирования для JMAAB - проверки податливости

Можно использовать Model Advisor, чтобы проверить податливость вашей модели японскому MATLAB^® Руководство Консультативного совета по автомобильной промышленности (JMAAB).

Для выполнения этих проверок JMAAB требуется лицензия Simulink Check. Там, где это применимо, дополнительные требования к лицензии указаны в конкретной документации для проверки.

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

Соглашения об именовании

Проверки, связанные с соглашениями об именовании.

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

Проверки, которые проверяют податливость модели руководствам по архитектуре модели JMAAB.

Строения модели

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

Simulink

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

Stateflow

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

Функции MATLAB

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

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

Проверяйте идентификатор: mathworks.jmaab.ar_0001

Описание

Проверяет, соответствуют ли имена файлов стандартам руководства.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Эта проверка содержит подконтроли, которые соответствуют подыдентификаторам, указанным в руководствах по моделированию MAB и JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы указать, какие подкомпоненты (один или несколько) идентификаторы выполнять.

Для ссылки, вспомогательные идентификаторы руководства MAB, которые рекомендованы для использования организациями по стандартам моделирования NA-MAAB и JMAAB, являются:

NA-MAAB - a, b, c, d, e, f
JMAAB - a, b, c, d, e, f

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

Sub ID руководства	Состояние	Рекомендуемое действие
ar_0001_a: допустимые символы для имен файлов	Один или несколько файлов имеют недопустимые имена.	Используйте буквенно-цифровые символы и символ подчеркивания в именах файлов.
ar_0001_b: Число в начале	Один или несколько файлов имеют номера в начале имени файла.	Используйте буквенные символы в начале имен файлов.
ar_0001_c: Подчеркивайте в начале	Один или несколько файлов имеют символ подчеркивания в начале имени файла.	Используйте буквенные символы в начале имен файлов.
ar_0001_d: Подчеркнуть в конце	Один или несколько файлов имеют символ подчеркивания в конце имени файла.	Не завершайте имена файлов символами нижнего подчеркивания.
ar_0001_e: Последовательные подчеркивания	Один или несколько файлов имеют последовательные символы подчеркивания в имени файла.	Не используйте последовательные символы подчеркивания в именах файлов.
ar_0001_f: Одно зарезервированное слово MATLAB	Один или несколько файлов зарезервировали слова MATLAB в качестве имени файла.	Не используйте зарезервированное слово MATLAB в качестве имени файла.
ar_0001_g: Идентичные имена файлов в пути	Один или несколько файлов имеют имена, идентичные файлам, имеющимся в пути MATLAB.	Используйте уникальные имена файлов.

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

Эту проверку можно настроить для выполнения в скрытых папках, выбрав входной параметр Проверить скрытые папки в Model Advisor Configuration Editor.
Эту проверку можно настроить, чтобы проверить имена файлов с определенными расширениями из входного параметра File Extension в Model Advisor Configuration Editor.
Проверка не помечает конфликты с ключевыми словами C++.
Работает на библиотечных моделях.

См. также

Руководство MAB ar_0001: Полезные символы для имен файлов
Руководство JMAAB ar_0001

Проверяйте имена папок

Проверяйте идентификатор: mathworks.jmaab.ar_0002

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Эта проверка содержит подконтроли, которые соответствуют подконтрольным идентификаторам, указанным в руководствах по моделированию MAB и JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы указать, какие подкомпоненты (один или несколько) идентификаторы выполнять.

NA-MAAB - a, b, c, d, e, f
JMAAB - a, b, c, d, e, f

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

Sub ID руководства	Состояние	Рекомендуемое действие
ar_0002_a: допустимые символы для имен папок	Одна или несколько папок имеют недопустимые имена.	Используйте только буквенно-цифровые символы и символ подчеркивания в именах папок.
ar_0002_b: Число в начале	Одна или несколько папок имеют номера в начале имени папки.	Используйте буквенные символы в начале имен папок.
ar_0002_c: Подчеркивайте в начале	Одна или несколько папок имеют символ подчеркивания в начале имени папки.	Используйте буквенные символы в начале имен папок.
ar_0002_d: Подчеркнуть в конце	Одна или несколько папок имеют символ подчеркивания в конце имени папки.	Не завершайте имена папок символами нижнего подчеркивания.
ar_0002_e: Последовательные подчеркивания	Одна или несколько папок имеют последовательные символы подчеркивания в имени папки.	Не используйте последовательные символы подчеркивания в именах папок.
ar_0002_f: Одно зарезервированное слово MATLAB	В одной или нескольких папках в качестве имени папки зарезервированы слова MATLAB.	Не используйте зарезервированное слово MATLAB в качестве имени папки.

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

Эту проверку можно настроить, чтобы проверить имена файлов с определенными расширениями из входного параметра File Extension в Model Advisor Configuration Editor.
Эту проверку можно настроить для выполнения в скрытых папках, выбрав входной параметр Проверить скрытые папки в Model Advisor Configuration Editor.
Работает на библиотечных моделях.
Эта проверка также выполняется на вложенном поддиапазоне директорий.

См. также

Руководство MAB ar_0002: Полезные символы для имен папок
Руководство JMAAB ar_0002

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

Проверяйте идентификатор: mathworks.jmaab.jc_0241

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Эта проверка не включает подпроверки, потому что руководство по моделированию MAB содержит только один субидентификатор.

NA-MAAB - a
JMAAB - a

Можно сконфигурировать следующие входные параметры, чтобы настроить действие проверки:

Входной параметр	Значение	Значения JMAAB (по умолчанию)
Минимальная длина	Минимальная длина пути к папке.	1
Максимальная длина	Максимальная длина пути к папке.	64

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

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

См. также

Руководство MAB jc_0241: Ограничение длины для имен файлов модели
Руководство JMAAB jc_0241

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

Проверяйте идентификатор: mathworks.jmaab.jc_0242

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

Можно сконфигурировать следующие входные параметры, чтобы настроить действие проверки:

Входной параметр	Значение	Значения JMAAB (по умолчанию)
Минимальная длина	Минимальная длина пути к папке.	1
Максимальная длина	Максимальная длина пути к папке.	64
Общее количество символов в имени пути	Общая длина (без символов) для пути к папке.	Отключенный
Директория проекта	Адрес пути проекта.	Не настроен

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

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

См. также

Руководство MAB jc_0242: Ограничение длины для имен папок
Руководство JMAAB jc_0242

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

Проверяйте идентификатор: mathworks.jmaab.jc_0201

Описание

Определяет имена подсистем с неправильными символами.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b, c, d, e, f
JMAAB - a, b, c, d, e, f

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0201_a: Допустимые символы для имен подсистем	Одна или несколько подсистем имеют недопустимые имена.	Используйте только буквенно-цифровые символы и символ подчеркивания в именах подсистем.
jc_0201_b: Число в начале	Одна или несколько подсистем имеют номера в начале имени подсистемы.	Используйте буквенные символы в начале имен подсистем.
jc_0201_c: Подчеркивайте в начале	Одна или несколько подсистем имеют подчеркивание в начале имени подсистемы.	Используйте буквенные символы в начале имен подсистем.
jc_0201_d: Подчеркнуть в конце	Одна или несколько подсистем имеют символ подчеркивания в конце имени подсистемы.	Не заканчивайте имена подсистем символами нижнего подчеркивания.
jc_0201_e: Последовательные подчеркивания	Одна или несколько подсистем имеют последовательное подчеркивание в имени подсистемы.	Не используйте последовательные символы подчеркивания в именах подсистем.
jc_0201_f: Одно зарезервированное слово MATLAB	Одна или несколько подсистем зарезервировали слова MATLAB в качестве имени подсистемы.	Не используйте зарезервированное слово MATLAB в качестве имени подсистемы.

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

Эта проверка применима только для подсистем Non-Virtual. Если необходимо запустить эту проверку для виртуальных подсистем, выберите параметр входа Check Virtual Subsystems из редактора конфигурации Model Advisor.
Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Поддерживает исключения блоков или графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0201: Полезные символы для имен подсистем
Руководство JMAAB jc_0201

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

Проверяйте идентификатор: mathworks.jmaab.jc_0231

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b, c, d, e, f
JMAAB - a, b, c, d, e, f

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0231_a: Допустимые символы для имен блоков	Один или несколько блоков в модели имеют недопустимые имена.	Используйте в имени блока только алфавитно-цифровые символы и символ нижнего подчеркивания.
jc_0231_b: Число в начале	Один или несколько блоков в модели имеют числа в начале имени блока.	Используйте буквенные символы в начале имени блока.
jc_0231_c: Подчеркивайте в начале	Один или несколько блоков в модели имеют подчеркивание в начале имени блока.	Используйте буквенные символы в начале имени блока.
jc_0231_d: Подчеркнуть в конце	Один или несколько блоков в модели имеют символ подчеркивания в конце имени блока.	Не заканчивайте имена блоков символами нижнего подчеркивания.
jc_0231_e: Последовательные подчеркивания	Один или несколько блоков в модели имеют последовательные подчеркивания в имени блока.	Не используйте последовательные символы подчеркивания в имени блока.
jc_0231_f: Одно зарезервированное слово MATLAB	Один или несколько блоков в модели используют зарезервированные слова MATLAB в качестве имени блока.	Не используйте зарезервированное слово MATLAB в качестве имени блока.

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

Поддерживает выбор идентификаторов подмножеств руководства.
Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Поддерживает исключения блоков или графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0231: Полезные символы для имен блоков
Руководство JMAAB jc_0231

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

Проверяйте идентификатор: mathworks.jmaab.jc_0211

Описание

Определяет имена блоков Inport или Outport с неправильными символами.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b, c, d, e, f
JMAAB - a, b, c, d, e, f

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0211_a: допустимые символы для имен блоков портов	Один или несколько блоков портов имеют недопустимые имена.	Используйте только буквенно-цифровые символы и символ подчеркивания в именах блоков портов.
jc_0211_b: Число в начале	Один или несколько блоков портов имеют номера в начале имени блока портов.	Используйте буквенные символы в начале имен блоков портов.
jc_0211_c: Подчеркивайте в начале	Один или несколько блоков портов имеют символ подчеркивания в начале имени блока портов.	Используйте буквенные символы в начале имен блоков портов.
jc_0211_d: Подчеркнуть в конце	Один или несколько блоков портов имеют символ подчеркивания в конце имени блока портов.	Не завершайте имена блоков портов символами нижнего подчеркивания.
jc_0211_e: Последовательные подчеркивания	Один или несколько блоков портов имеют последовательное подчеркивание в имени блока портов.	Не используйте последовательные символы подчеркивания в именах блоков портов.
jc_0211_f: Одно зарезервированное слово MATLAB	Один или несколько блоков портов имеют зарезервированные слова MATLAB в качестве имени блока портов.	Не используйте зарезервированное слово MATLAB в качестве имени блока портов.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Поддерживает исключения блоков или графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0211: Полезные символы для блоков Inport и блока Outport
Руководство JMAAB jc_0211

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

Проверяйте идентификатор: mathworks.jmaab.jc_0243

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

Можно сконфигурировать следующие входные параметры, чтобы настроить действие проверки:

Входной параметр	Значение	Значения JMAAB (по умолчанию)
Минимальная длина	Минимальная длина пути к папке.	1
Максимальная длина	Максимальная длина пути к папке.	64

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0243: Ограничение длины для имен подсистем
Инструкция JMAAB jc_0243

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

Проверяйте идентификатор: mathworks.jmaab.jc_0247

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

Можно сконфигурировать следующие входные параметры, чтобы настроить действие проверки:

Входной параметр	Значение	Значения JMAAB (по умолчанию)
Минимальная длина	Минимальная длина пути к папке.	1
Максимальная длина	Максимальная длина пути к папке.	64

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0247: Ограничение длины для имен блоков
Руководство JMAAB jc_0247

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

Проверяйте идентификатор: mathworks.jmaab.jc_0244

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

Можно сконфигурировать следующие входные параметры, чтобы настроить действие проверки:

Входной параметр	Значение	Значения JMAAB (по умолчанию)
Минимальная длина	Минимальная длина пути к папке.	1
Максимальная длина	Максимальная длина пути к папке.	64

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

Состояние	Рекомендуемое действие
Имена блоков Inport или Outport в модели не соответствуют ограничению длины 63 символов.	Измените имена блоков inport или outport так, чтобы длина имени блока не превышала 63 символов.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0244: Ограничение длины для имен Inport и Outport
Руководство JMAAB jc_0244

Проверьте используемые символы на имена сигналов и шин

Проверяйте идентификатор: mathworks.jmaab.jc_0222

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b, c, d, e, f
JMAAB - a, b, c, d, e, f

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0222_a: Допустимые символы для имен подсистем	Имена сигналов или шин в модели имеют недопустимые имена.	Используйте только буквенно-цифровые символы и символ подчеркивания в именах сигналов и именах шин.
jc_0222_b: Число в начале	Имена сигналов или шин в модели имеют номера в начале имени.	Используйте буквенные символы в начале сигнала или имен шины.
jc_0222_c: Подчеркивайте в начале	Имена сигналов или шин в модели имеют подчеркивание в начале имени.	Используйте буквенные символы в начале сигнала или имен шины.
jc_0222_d: Подчеркнуть в конце	Имена сигналов или шин в модели имеют подчеркивание в конце имени сигнала или шины.	Не завершайте имена сигналов или шин символами нижнего подчеркивания.
jc_0222_e: Последовательные подчеркивания	Имена сигналов или шин в модели имеют последовательные подчеркивания в названии.	Не используйте последовательные символы подчеркивания в именах сигналов или шин.
jc_0222_f: Одно зарезервированное слово MATLAB	Имена сигналов или шин в модели имеют зарезервированные слова MATLAB в качестве имени.	Не используйте зарезервированное слово MATLAB в качестве имен сигналов или шин.

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

Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.

См. также

Руководство MAB jc_0222: Полезные символы для имен сигналов и шин
Руководство JMAAB jc_0222

Проверьте используемые символы на имена параметров

Проверяйте идентификатор: mathworks.jmaab.jc_0232

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b, c, d, e, f
JMAAB - a, b, c, d, e, f

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0232_a: Допустимые символы для имен параметров	Имя параметра содержит недопустимые символы.	Используйте в именах параметров только алфавитно-цифровые символы и символ нижнего подчеркивания.
jc_0232_b: Число в начале	Имя параметра начинается с числа.	Используйте буквенные символы в начале имен параметров.
jc_0232_c: Подчеркивайте в начале	Имя параметра начинается с подчеркивания («_»).	Используйте буквенные символы в начале имен параметров.
jc_0232_d: Подчеркнуть в конце	Имя параметра заканчивается подчеркиванием («_»).	Не заканчивайте имена параметров символами нижнего подчеркивания.
jc_0232_e: Последовательные подчеркивания	Имя параметра имеет последовательные символы нижнего подчеркивания.	Не используйте последовательные символы подчеркивания в именах параметров.
jc_0232_f: Одно зарезервированное слово MATLAB	Имя параметра является зарезервированными словами MATLAB.	Не используйте зарезервированное слово MATLAB в качестве имен параметров.

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

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

См. также

Руководство MAB jc_0232: Полезные символы для имен параметров
Руководство JMAAB jc_0232

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

Проверяйте идентификатор: mathworks.jmaab.jc_0245

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

Можно сконфигурировать следующие входные параметры, чтобы настроить действие проверки:

Входной параметр	Значение	Значения JMAAB (по умолчанию)
Минимальная длина	Минимальная длина пути к папке.	1
Максимальная длина	Максимальная длина пути к папке.	64

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0245: Ограничение длины для имен сигналов и шин
Руководство JMAAB jc_0245

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

Проверяйте идентификатор: mathworks.jmaab.jc_0246

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

Для настройки действия проверки можно сконфигурировать следующие параметры:

Входной параметр	Значение	Значения JMAAB (по умолчанию)
Минимальная длина	Минимальная длина пути к папке.	1
Максимальная длина	Максимальная длина пути к папке.	64

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

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

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

Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Не поддерживает исключения блоков или графиков.

См. также

Руководство MAB jc_0246: Ограничение длины для имени параметра
Руководство JMAAB jc_0246

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

Проверяйте идентификатор: mathworks.jmaab.jc_0795

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b, c, d
JMAAB - a, b, c, d

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0795_a: Подчеркивайте в начале	Имя данных Stateflow начинается с подчеркивания («_»).	Переименуйте данные Stateflow.
jc_0795_b: Подчеркнуть в конце	Имя данных Stateflow заканчивается подчеркиванием («_»).	Переименуйте данные Stateflow.
jc_0795_c: Последовательные подчеркивания	Имя данных Stateflow имеет последовательные подчеркивания.	Переименуйте данные Stateflow.
jc_0795_d: Одно зарезервированное слово MATLAB	Имя данных Stateflow является исключительно зарезервированным словом MATLAB.	Рассмотрите использование другого имени для данных Stateflow.

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

Руководство JMAAB, ограничение версии 5.1: Эта проверка не помечает имена данных Stateflow подчеркиванием в начале имени. (Sub ID: a)
Работает на библиотечных моделях.
Допускает исключения графиков.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.

См. также

Руководство MAB jc_0795: Полезные символы для имен данных Stateflow
Руководство JMAAB jc_0795

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

Проверяйте идентификатор: mathworks.jmaab.jc_0796

Описание

Проверяет, находится ли длина имен данных Stateflow в пределах 63 символов.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

Можно настроить максимальный порог длины с помощью параметра входа Maximum length из редактора конфигурации Model Advisor.

Откройте Редактор конфигурации модели и найдите идентификатор проверки jc_0796.
В раскрывающемся списке Standards выберите Custom.
Введите необходимую максимальную длину в поле Maximum length.
Нажмите Apply и сохраните строение.

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

Состояние	Рекомендуемое действие
Длина имен данных Stateflow не предела 63 символов.	Рассмотрите использование другого имени для каждого имени данных Stateflow.

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

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

См. также

Руководство MAB jc_0796: Ограничение длины для имен данных Stateflow
Руководство JMAAB jc_0796

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

Проверяйте идентификатор: mathworks.jmaab.jc_0791

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b, c
JMAAB - a, b, c

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0791_a: Проверьте повторяющиеся имена данных в базовом рабочем пространстве и рабочем пространстве модели	Имена данных Simulink не являются уникальными в базовом рабочем пространстве и рабочем пространстве модели.	Переименуйте повторное имя данных либо в базовом рабочем пространстве, либо в рабочем пространстве модели.
jc_0791_b: Проверьте повторяющиеся имена данных в базовом рабочем пространстве и словаре данных	Имена данных Simulink не являются уникальными в базовом рабочем пространстве и словаре данных.	Переименуйте повторное имя данных либо в базовом рабочем пространстве, либо в словаре данных.
jc_0791_c: Проверьте повторяющиеся имена данных в рабочем пространстве модели и словаре данных	Имена данных Simulink не являются уникальными в рабочем пространстве модели и словаре данных.	Переименуйте повторное имя данных либо в рабочем пространстве модели, либо в словаре данных.

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

Работает на библиотечных моделях.
Не допускает исключения блоков и графиков.

См. также

Руководство MAB jc_0791: Дублирование определений имен данных
Руководство JMAAB jc_0791

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

Проверяйте идентификатор: mathworks.jmaab.jc_0792

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0792_a: Проверьте наличие неиспользованных данных в Data Dictionary	Одна или несколько переменных данных в словаре данных не используются.	Рассмотрите удаление неиспользованных переменных данных.
jc_0792_b: Проверяйте на неиспользованные данные в рабочем пространстве модели	Одна или несколько переменных данных в рабочем пространстве модели не используются.	Рассмотрите удаление неиспользованных переменных данных.

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

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

См. также

Руководство MAB jc_0792: Неиспользованные данные
Руководство JMAAB jc_0792

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

Проверяйте идентификатор: mathworks.jmaab.jc_0700

Проверяет состояние Unused data, events, messages and functions параметра.

Описание

Определяет, задан ли Unused data, events, messages and functions параметра None. Неиспользованные данные и события не могут существовать в блоке Stateflow.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
В блоке Stateflow значение Unused data, events, messages and functions параметра устанавливается равным None.	Убедитесь, что установите параметр равным Warning или Error.

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

Работает на библиотечных моделях.

См. также

Руководство MAB jc_0700: Неиспользованные данные в блоке Stateflow
Руководство JMAAB jc_0700

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

Проверяйте идентификатор: mathworks.maab.na_0019

Проверьте использование зарезервированных ключевых слов в MATLAB Function названиях основной переменной.

Описание

Определяет имена переменных в блоках MATLAB Function, которые конфликтуют с зарезервированными ключевыми словами C и C++. Полный список зарезервированных ключевых слов см. в Reserved Keywords (Simulink Coder).

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

Эта проверка нечувствительна к регистру. Например, проверка флагов ключевых слов true, True, TRUE, и tRue.

Для этой проверки требуется лицензия Simulink Check.

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

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

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

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

См. также

Руководство MAB na_0019: Ограниченные имена переменных

Проверяйте логические сигналы реализации как логические данные (против двойного)

Проверяйте идентификатор: mathworks.maab.jc_0011

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

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Примечание

Для этой проверки необходимого условия руководство MAB na_0002: Соответствующее использование основных логических и числовых операций.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

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

См. также

Руководство MAB jc_0011: Параметры оптимизации для логических типов данных
Руководство JMAAB jc_0011

Проверяйте целое число со знаком Деления режиме округления

Проверяйте идентификатор: mathworks.jmaab.jc_0642

Описание

Идентифицирует блоки, Integer Rounding Mode параметров которых установлено на Simplest, когда параметр конфигурации <reservedrangesplaceholder1> задано на Undefined.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Если для Integer Rounding Mode параметров перечисленных блоков задано значение Simplest, когда для Signed Integer Division Rounds параметра задано значение Undefined.	Установите Signed Integer Division Round параметра значение, которое описывает поведение округления вашей производственной платформы или изменение Integer Rounding Mode перечисленных блоков на значение, отличное от Simplest.

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

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

См. также

Руководство MAB jc_0642: Установка целочисленного режима округления
Руководство JMAAB jc_0642

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

Проверяйте идентификатор: mathworks.jmaab.jc_0806

Описание

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

Для этой проверки требуется лицензия Simulink Check.

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

Состояние	Рекомендуемое действие
Параметр конфигурации модели Division by singular matrix (CheckMatrixSingularityMsg) не установлен в error.	Установите вход значения параметров равной error.
Параметр конфигурации модели Inf или NaN блока output (SignalInfNanChecking) не установлен в error.	Установите вход значения параметров равной error.
Параметр конфигурации модели Wrap on overflow (IntegerOverflowMsg) не установлен в error.	Установите вход значения параметров равной error.
Параметр конфигурации модели Saturate on overflow (IntegerSaturationMsg) не установлен в error.	Установите вход значения параметров равной error.

См. также

Руководство MAB jc_0806: Обнаружение неправильных результатов вычисления
Руководство JMAAB jc_0806

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

Проверяйте идентификатор: mathworks.maab.jc_0021

Проверьте настройки параметров конфигурации диагностики модели.

Описание

Model Advisor проверяет, что эти параметры конфигурации диагностики заданы как определено в разделе Результаты и Рекомендуемые действия ниже:

Algebraic loop
Multitask rate transition
Minimize algebraic loop
Inf or NaN block output
Duplicate data store names
Unconnected block input ports
Unconnected block output ports
Unconnected line
Unspecified bus object at root Outport block
Element name mismatch

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Эта проверка Model Advisor не применима к руководствам по моделированию JMAAB.

Эта проверка не включает вложенные проверки.

NA-MAAB - a
JMAAB - Не поддерживается

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

Состояние	Рекомендуемое действие
Algebraic loop установлено на `none`.	Установите Algebraic loop значение `error` или `warning`. В противном случае Simulink может попытаться автоматически разбить алгебраические циклы, что может повлиять на порядок выполнения блоков.
Minimize algebraic loop установлено на `none`.	Установите Minimize algebraic loop значение `error` или `warning`. В противном случае Simulink может попытаться автоматически разбить алгебраические циклы для образцов модели и атомарных подсистем, что может повлиять на порядок выполнения для этих моделей или подсистем.
Inf or NaN block output установлено на `none`	Установите Inf or NaN block output значение `error` или `warning`. В противном случае в сгенерированном коде происходят числовые исключения
Duplicate data store names установлено на `none`.	Установите Duplicate data store names значение `error` или `warning`. В противном случае в сгенерированном коде существуют не уникальные имена переменных.
Unconnected block input ports установлено на `none`.	Установите Unconnected block input ports значение `error` или `warning`. В противном случае код не может быть сгенерирован.
Unconnected block output ports установлено на `none`.	Установите Unconnected block output ports значение `error` или `warning`. В противном случае появляется мертвый код.
Unconnected line установлено на `none`.	Установите Unconnected line значение `error` или `warning`. В противном случае код не может быть сгенерирован.
Unspecified bus object at root Outport block установлено на `none`.	Установите Unspecified bus object at root Outport block значение `error` или `warning`. В противном случае результатом является неустановленный интерфейс, когда на модель ссылается другая модель.
Element name mismatch установлено на `none`.	Установите Element name mismatch значение `error` или `warning`. В противном случае результатом является непреднамеренный интерфейс в сгенерированном коде.

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

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

См. также

Руководство MAB jc_0021: Настройки диагностики модели

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

Проверяйте идентификатор: mathworks.maab.na_0004

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

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

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

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

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

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

Не работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое в маскированных подсистемах, не имеющих рабочих областей и диалоговых окон. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Не допускает исключения блоков или графиков.

См. также

Руководство MAB: na_0004: настройки внешнего вида модели Simulink
Руководство JMAAB: na_0004

Проверьте настройки шрифта модели

Проверяйте идентификатор: mathworks.jmaab.db_0043

Описание

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

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

Проверяйте параметризацию

NA-MAAB - a, b, c, d
JMAAB - a, b, c, d

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

Откройте Редактор конфигурации модели и найдите идентификатор проверки db_0043.
Используйте списки под Input Parameters, чтобы настроить элементы шрифта в моделях Simulink и диаграммах Stateflow. Обратите внимание, что при выборе Default, проверяющие флаги различные шрифты/стили/размер, которые используются в вашей модели.
Нажмите Apply и сохраните строение.

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

Sub ID руководства	Состояние	Рекомендуемое действие
db_0043_a: Проверьте стиль шрифта и шрифта в именах блоков и сигналов Simulink	Настройки шрифта одного или нескольких блоков Simulink или имен сигналов отличаются от входных параметров.	Измените настройки шрифта блока и имена сигналов по входным параметрам.
db_0043_b: Проверьте размер шрифта в именах блоков Simulink и сигналов	Настройки шрифта одного или нескольких блоков Simulink или имен сигналов отличаются от входных параметров.	Измените размер шрифта блока и имена сигналов по входным параметрам.
db_0043_c: Проверяйте стиль шрифта и шрифта в объектах Stateflow	Настройки шрифта одного или нескольких объектов Stateflow отличаются от входных параметров.	Измените настройки шрифта объектов Stateflow по входным параметрам.
db_0043_d: Проверьте размер шрифта в объектах Stateflow	Настройки шрифта одного или нескольких объектов Stateflow отличаются от входных параметров.	Измените размер шрифта объектов Stateflow согласно входным параметрам.

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

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

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

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

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

См. также

Руководство MAB db_0043: Моделируйте шрифт и размер шрифта
Руководство JMAAB db_0043
Задайте шрифты в моделях

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

Проверяйте идентификатор: mathworks.maab.db_0142

Проверьте, находятся ли имена блоков ниже блоков.

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB db_0142: Положение имен блоков в документации Simulink.
Руководство JMAAB db_0142

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

Проверяйте идентификатор: mathworks.maab.jc_0061

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

Описание

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

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Откройте Редактор конфигурации модели и найдите идентификатор проверки jc_0061.
В группе Input Parameters выберите Custom из списка Standards.
Используйте таблицу Block Types list, чтобы удалить или добавить тип блока и/или маски.
Нажмите Apply и сохраните строение.

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0061: отображение имен блоков
Руководство JMAAB jc_0061

Проверяйте на наличие атрибутов блоков, отличных от nondefault

Проверяйте идентификатор: mathworks.maab.db_0140

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

Описание

На диаграммах модели должны отображаться параметры блоков, которые имеют значения, отличные от значений по умолчанию. Одним из способов отображения этой информации является использование вкладки Block Annotation в диалоговом окне Свойств блока».

Список значений по умолчанию для параметров блоков см. в разделе «Специфичные для блоков параметры»

Совет

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Откройте Редактор конфигурации модели и найдите идентификатор проверки db_0140.
В группе Input Parameters выберите Custom из раскрывающегося списка Standard.
Используйте таблицу List of Block Types, чтобы удалить или добавить параметр для блока.
Нажмите Apply и сохраните строение.

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

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

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

Можно использовать кнопку Add nondefault values into block annotation, чтобы добавить аннотацию к отображению блоков, которая задает ненефтяные параметры блоков, помеченное в анализе. Повторите проверку; блок больше не помечен.

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

Настраивается только для параметров блоков в IntrinsicDialogParameters. См. «Общие свойства блоков»
Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое маскированных подсистем, не имеющих рабочих областей и диалоговых окон.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB db_0140: отображение параметров блоков
Руководство JMAAB: db_0140

Проверьте описание модели

Проверяйте идентификатор: mathworks.jmaab.jc_0603

Описание

Определяет слои в модели, которые имеют несогласованное форматирование описания для следующих элементов модели:

Аннотации
Model Info Блока
Блок DocBlock

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a, b

Можно выбрать тип блока описания и сконфигурировать теги описания из входных параметров Description Block Type и Description Tags . Формат Description Tags должен быть строкового типа с разделенными запятыми тегами.

По умолчанию Description Block Type устанавливается на Annotation, и параметр Description Tags Input:,Description:,Output:.

Например, учитывая значения по умолчанию (Input:, Description:, выход:), каждый слой в модели должен иметь следующий формат описания:

Вход: < входная информация >

Описание: < описание модели >

Выход: < выходная информация >

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0603_a: Проверьте описание слоя на каждом слое	Один или несколько слоев в модели не имеют описаний модели.	Добавьте описания модели во все слои модели.
jc_0603_b: Проверьте соответствие описания слоя	Один или несколько слоев в модели не имеют последовательного форматирования описания модели.	Убедитесь, что у вас есть последовательный формат для описаний модели на всех слоях в модели.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Поддерживает исключения блоков или графиков.

См. также

Руководство MAB jc_0603: Описание модели
Руководство JMAAB jc_0603

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

Проверяйте идентификатор: mathworks.jmaab.jc_0604

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Инструкции MAB jc_0604: Использование теней блоков
Руководство JMAAB jc_0604

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

Проверяйте идентификатор: mathworks.jmaab.db_0081

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

Описание

Несвязанные блоки и сигнальные линии должны быть соединены с Terminator или Ground блоками.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
db_0081_a: Проверяйте на наличие несвязанных сигнальных линий	Одна или несколько сигнальных линий в модели не соединены.	Подключите сигнальные линии к правильному источнику или блоку назначения. Если блок назначения неизвестен, используйте Terminator или Ground блок, чтобы завершить линию.
db_0081_b: Проверяйте на наличие несвязанных подсистем и базовых блоков	Один или несколько блоков в модели не соединены.	Соедините блоки с правильным исходным или целевым блоком. Если блок назначения неизвестен, используйте Terminator или Ground блок, чтобы завершить линию.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB db_0081: Несвязанные сигналы и блоки
Руководство JMAAB db_0081

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

Проверяйте идентификатор: mathworks.jmaab.db_0032

Описание

Проверяет, соответствуют ли пересекающиеся и перекрывающиеся сигналы Simulink рекомендуемым рекомендациям.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a1/a2, b, c, e
JMAAB - a1/a2, b, c, d, e

Примечание

По умолчанию выбираются db_0032_a1, db_0032_b, db_0032_c, db_0032_d и db_0032_e.

Входной параметр Signal crossing threshold (in%) сплавы вы устанавливаете условие не выполнять проверку если установленный порог достигнут. Порог пересечения сигнала является процентом нарушений сигнала к общему количеству сигнальных линий в модели.

Пример:

Если для порога пересечения сигнала (в%) задано значение 50%, то проверка будет завершаться неуспешно только в том случае, если количество нарушений пересечет 50% от общего количества сигнальных линий в блоке.

Если порог пересечения сигнала (в%) установлен на 0%, любое отдельное Нарушение приведет к ошибке Проверки, в то время как для 100% -ного порога все Сигнальные Линии в модели должны нарушать руководство по ошибке Проверки.

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

Sub ID руководства	Состояние	Рекомендуемое действие
db_0032_a1: Проверяйте пересечения сигналов	Сигналы Simulink пересекаются друг с другом.	Убедитесь, что сигналы не пересекаются друг с другом.
db_0032_a2: Проверьте, установлен ли стиль пересечения линий на «Line hop»	Для выбора пересечения линий не задано значение «Line hop».	Установите для стиля пересечения линий выбор «Line hop».
db_0032_b: Проверяйте перекрытия сигнала	Сигналы Simulink перекрывают друг друга.	Убедитесь, что сигналы не перекрываются друг с другом.
db_0032_c: Проверяйте, пересекаются ли сигналы блоки </entry >	Сигналы Simulink рисуются по блоку Simulink.	Убедитесь, что сигналы не нарисованы ни по каким блокам Simulink.
db_0032_d: Проверьте, разделены ли сигнальные линии на несколько подлинии	Сигнальные линии разделяются на несколько подлинии.	Измените положение сигналов, чтобы избежать разделения сигнальных линий.
db_0032_e: Проверяйте, нарисованы ли сигналы как наклонные линии	Сигналы рисуются как наклонные линии в схеме.	Обязательно рисуйте сигналы как вертикальные или горизонтальные линии.

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

Учитывается выбор скачка сигнала.
Перекрытия меток блоков не анализируются.
Рассматриваются сигналы Simulink, которые разделяются более чем на два сигнала в одной ветви.
Работает на библиотечных моделях.
Допускает исключения подсистем.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB db_0032: Соединения сигнальных линий
Руководство JMAAB db_0032

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

Проверяйте идентификатор: mathworks.maab.db_0141

Описание

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

Для этой проверки требуется лицензия Simulink Check.

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

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

Состояние

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

Размещение блоков в подсистемах искажается.

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

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

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

Одна или несколько групп блоков расположены не сверху вниз.

Расположите группы блоков или подсистем вертикально сверху вниз.

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

Эта проверка не проверяет условия в подидуге руководства C.
Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

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

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

Проверяйте идентификатор: mathworks.maab.db_0110

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

Описание

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

Выражения
Преобразования типов данных
Выбор строк или столбцов

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

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

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Не вычисляет параметры маски.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB db_0110: Параметры блоков
Руководство JMAAB db_0110

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

Проверяйте идентификатор: mathworks.jmaab.jc_0171

Описание

Проверяет поток сигналов при использовании блоков Goto и From.

Эта проверка идентифицирует подсистемы, соединенные друг с другом, которые используют Goto и From блоки в циклах feedforward и обратной связи, которые не имеют по меньшей мере одной сигнальной линии для каждого направления.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0171_a: Проверяйте прямые соединения между структурными подсистемами	Одна или несколько структурных подсистем не имеют прямых соединений между ними.	Рассмотрите возможность создания по крайней мере одного прямого соединения между перечисленными подсистемами в заданном направлении (Подсистема 1 - Подсистема 2) за исключением памяти, задержки и блоков создателя/селектора шины.
jc_0171_b: Проверяйте на неиспользованные входы внутри структурных подсистем	Одна или несколько структурных подсистем имеют неиспользованные входы.	Рассмотрите удаление неиспользованных входов в структурных подсистемах. Уменьшение количества ненужных соединений делает отношения соединения более ясными.

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

Проверка позволяет создавать соединения из подсистем-ссылок с в другой подсистеме.
Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0171: Уточнение связей между структурными подсистемами
Руководство JMAAB jc_0171

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

Проверяйте идентификатор: mathworks.jmaab.jc_0602

Описание

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

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

Имя блока Inport
Имя блока вывода
Имя входного порта структурной подсистемы метки
Имя выходного порта структурной подсистемы метки
Из имени тега
Имя тега Goto
Имя сигнала сигнальной линии

Исключение 1: Имя сигнальной линии, соединенной с одной из нижеприведенных подсистем, может иметь имя, отличное от имени метки порта подсистемы:

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

Исключение 2: Если комбинация блоков Inport, блоков Outport и других блоков имеет то же имя, используйте суффикс или префикс для блоков Inport и Outport для последовательного именования. Это можно настроить с помощью Model Advisor Configuration Editor.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

Для настройки действия проверки можно сконфигурировать следующие параметры:

Входной параметр	Значение
Последовательный формат именования для комбинации блоков Inport и Outport	Префикс (< Prefix _ tag > < Signal _ имя > < Sequence >) или суффикс (< Signal _ имя > < Sequence > < Suffix _ tag >)
Префикс/тег суффикса для входных портов	IN_ (значение по умолчанию, может быть сконфигурировано)
Префикс/тег суффикса для Outports	OUT_ (значение по умолчанию, может быть сконфигурировано)

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

Состояние	Рекомендуемое действие
Один или несколько элементов модели не согласуются с именем связанного сигнала.	Рассмотрите переименование отклоняющихся элементов модели, чтобы соответствовать имени сигнала или быть совместимым с блоками Inport/Outport.

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

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

См. также

Руководство MAB jc_0602: непротиворечивость в именах элементов модели
Руководство JMAAB jc_0602

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

Проверяйте идентификатор: mathworks.jmaab.jc_0281

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a1/a2/a3/a4, b1/b2/b3/b4

Примечание

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

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0281_a1: Проверяйте имена источника триггерного сигнала и условного входного блока	Имя блока в источник триггерного сигнала и имя условного входа блока в пункте назначения отличаются друг от друга.	Имя блока в источник триггерного сигнала и имя условного входа блока в пункте назначения должны включать то же имя.
jc_0281_a2: Проверяйте имена триггерного сигнала и условной подсистемы	Имя блока в источник триггерного сигнала и имя условной подсистемы в пункте назначения отличаются друг от друга.	Имя блока в источник триггерного сигнала и имя условной подсистемы в пункте назначения должны содержать то же имя.
jc_0281_a3: Проверяйте имена источника триггерного сигнала и условного входного блока	Имя триггерного сигнала и имя условного входного блока в пункте назначения отличаются друг от друга.	Имя триггерного сигнала и имя условного входного блока в пункте назначения должны содержать то же имя.
jc_0281_a4: Проверяйте имена триггерного сигнала и условной подсистемы	Имя триггерного сигнала и имя условной подсистемы в пункте назначения должны иметь то же имя.	Имя триггерного сигнала и имя условной подсистемы в пункте назначения отличаются друг от друга.
jc_0281_b1: Проверяйте имена источника триггерного сигнала и события блока Stateflow	Имя блока в источник триггерного сигнала и имя события блока Stateflow в пункте назначения отличаются друг от друга.	Имя блока в начале триггерного сигнала и имя события блока Stateflow в пункте назначения должны включать то же имя.
jc_0281_b2: Проверяйте имена источника триггерного сигнала и имя графика	Имя блока в источник триггерного сигнала и имя Графика в пункте назначения отличаются друг от друга.	Имя блока в источник триггерного сигнала и имя Графика в пункте назначения должны содержать то же имя.
jc_0281_b3: Проверяйте имена триггерного сигнала и события блока Stateflow	Имя триггерного сигнала и имя события блока Stateflow в пункте назначения отличаются друг от друга.	Имя триггерного сигнала и имя события блока Stateflow в пункте назначения должны содержать то же имя.
jc_0281_b4: Проверяйте имена триггерного сигнала и графика	Имя триггерного сигнала и имя графика в пункте назначения отличаются друг от друга.	Имя триггерного сигнала и имя графика в пункте назначения должны содержать то же имя.

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

Это проверяет только Trigger и Enable имена блоков.
Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Поддерживает исключения блоков или графиков.

См. также

Руководство MAB jc_0281: Имена триггерных сигналов
Руководство JMAAB jc_0281

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

Проверяйте идентификатор: mathworks.maab.db_0143

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

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Откройте Редактор конфигурации модели и найдите идентификатор проверки db_0143.
В группе Input Parameters выберите Custom из списка Standards.
В списке Treat blocktype list as выберите Allowed включение блоков/масок в анализ или Prohibited чтобы исключить блоки/маски из анализа.
Используйте таблицу Block Types list, чтобы удалить или добавить тип блока и/или маски.
Нажмите Apply и сохраните строение.

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным all.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB db_0143: Используемые типы блоков в иерархии модели
Руководство JMAAB db_0143

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

Проверяйте идентификатор: mathworks.jmaab.jc_0653

Описание

Проверяет размещение блоков Delay в алгебраических циклах между подсистемами.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Блоки задержки в циклах обратной связи размещены внутри подсистемы.	Блоки задержки в циклах обратной связи должны быть размещены вне их родительской подсистемы.

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0653: Блокируйте размещение в циклах обратной связи
Руководство JMAAB jc_0653

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

Проверяйте идентификатор: mathworks.maab.hd_0001

Проверьте наличие запрещенных блоков Simulink.

Описание

Вы должны проектировать модели контроллеров из дискретных блоков. Блоки приемников, такие как блок Scope, не допускаются в моделях контроллеров.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Эта проверка Model Advisor не применима к руководствам по моделированию JMAAB.

Эта проверка не включает вложенные проверки

NA-MAAB - a
JMAAB - Не поддерживается

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

Откройте Редактор конфигурации модели и найдите идентификатор проверки hd_0001.
В группе Input Parameters выберите Custom из списка Standards.
В списке Treat blocktype list as выберите Allowed включение блоков/масок в анализ или Prohibited чтобы исключить блоки/маски из анализа.
Используйте таблицу Block Types list, чтобы удалить или добавить тип блока и/или маски.
Нажмите Apply и сохраните строение.

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

Состояние	Рекомендуемое действие
Блоки приемников не разрешены в дискретных контроллерах.	Удалите блоки раковин из модели.

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

Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB: hd_0001: Запрещенные раковины Simulink

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

Проверяйте идентификатор: mathworks.jmaab.na_0010

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

Описание

Эта проверка проверяет использование шин и блоков Mux.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Эта проверка содержит подконтроли, которые соответствуют подыдентификаторам, указанным в руководствах по моделированию MAB и JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы указать, какие подыдентификаторы (один или несколько) должны выполняться.

NA-MAAB - Нет рекомендаций
JMAAB - a, b, c, d

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

Sub ID руководства	Состояние	Рекомендуемое действие
na_0010_a: Проверяйте использование блоков Mux и Demux	Блоки Mux и Demux не используются для генерации и разложения векторов.	Используйте блоки Mux и Demux, чтобы сгенерировать и разложить векторы соответственно.
na_0010_b: Проверяйте входы в блоки Mux	Блоки Mux имеют входы, которые не являются скалярами или векторами.	Используйте только скалярные или векторные сигналы в качестве входов для блоков Mux.
na_0010_c: Проверяйте сигналы шины, обрабатываемые как векторы	Один или несколько параметров конфигурации установлены неправильно.	Установите рекомендуемое значение параметров конфигурации.
na_0010_d: Проверяйте использование сигналов шины	Один или несколько блоков не поддерживаются для использования с сигналами шины.	Используйте шины только с блоками, поддерживаемыми шиной.

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

Проверка не помечается, когда блоки, отличные от Demux и Mux, используются для генерации или разложения вектора. Для примера вместо блока Mux Вектора использоваться блок Selector, используемый вместо Demux или Конкатенации. (Sub ID: a)
Эта проверка поддерживает механизм автоматического исправления, теперь можно нажать на кнопку Modify, чтобы исправить ошибки, отображаемые в отчете.
Не работает на библиотечных моделях.
Допускает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB na_0010: Использование вектора и шинных сигналов
Руководство JMAAB na_0010
Составные сигналы

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

Проверяйте идентификатор: mathworks.jmaab.jc_0008

Проверьте маркировку на сигнальных линиях.

Описание

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

Сигналы, исходящие из следующих блоков (исключение значка блока, отмеченное ниже, применяется ко всем перечисленным блокам, кроме Inport, Bus Selector, Demux и Selector):
- Bus Selector блок (маркировка сил инструмента)
- Chart блок (Stateflow)
- Constant блок
- Data Store Read блок
- Demux блок
- From блок
- Inport блок
- Selector блок
- Subsystem блок
Исключение значка блока
Если метка сигнала видна в отображении значка для исходного блока, вы не должны отображать метку для подключенного сигнала, если метка сигнала не требуется в другом месте из-за правила для пунктов назначения сигнала.
Сигналы, соединенные с одним из следующих блоков назначения (прямо или косвенно с базовым блоком, который выполняет операцию, которая не является трансформативной):
- Bus Selector блок (маркировка сил инструмента)
- Chart блок (Stateflow)
- Data Store Write блок
- Goto блок
- Mux блок
- Outport блок
- Subsystem блок
Любой интересующий сигнал.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

Чтобы настроить список типов блоков для проверки меток выходных сигналов и список типов блоков для проверки меток входных сигналов, используйте Model Advisor Configuration Editor.

Откройте Редактор конфигурации модели и найдите идентификатор проверки db_0140.
В группе Input Parameters выберите Custom из раскрывающегося списка Standard.
Используйте List of block types to check output signal labels таблицу и List of block types to check input signal labels таблицы, чтобы удалить или добавить параметр для блока.
Нажмите Apply и сохраните строение.

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

Состояние	Рекомендуемое действие
Сигналы, прибывающие из Bus Selector, Chart, Constant, Data Store Read, Demux, From, Inport, или Selector блоки, не маркированы.	Пометьте сигнал.

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

Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Допускает исключения.

См. также

Руководство MAB jc_0008: Определение имен сигналов
Руководство JMAAB jc_0008
Основы сигнала

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

Проверяйте идентификатор: mathworks.jmaab.jc_0009

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

Описание

Вы должны распространить метку сигнала от его источника, а не ввести метку сигнала явно (вручную), если сигнал исходит из:

Блок Inport в вложенной подсистеме. Однако, если вложенная подсистема является библиотечной подсистемой, можно явным образом пометить сигнал, поступающий от блока Inport, чтобы учесть повторное использование библиотечного блока.
Базовый блок, который выполняет некорректную операцию.
Блок Subsystem или Stateflow Chart. Однако, если подключение происходит из выхода образца библиотечного блока, можно явным образом пометить сигнал для повторного использования библиотечного блока.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0009_a: Проверяйте Распространение имени сигнала для подсистем	Модель включает подсистемы, которые не имеют распространенных меток сигнала.	Добавьте метки и включите распространение сигнала, выбрав параметр Show propagated signal для сигналов.
	Одна или несколько подсистем в модели отображают пустые распространенные сигналы.	Отключите распространение сигнала, отменив выбор Show propagated signal parameter, или, при необходимости, добавьте новую метку.
	Одна или несколько подсистем в модели не отображают распространенные сигналы, но имеют имена сигналов.	Удалите метки и включите распространение сигнала, выбрав параметр Show presagated signal для сигналов.
jc_0009_b: Проверяйте распространение имени сигнала для блоков соединения	Один или несколько блоков соединений в модели не распространяют сигналы, даже когда исходный блок имеет метки.	Включите распространение сигнала путем выбора параметра Show distagated signal для сигналов.
	Один или несколько блоков соединений в модели отображают пустые распространенные сигналы.	Отключите распространение сигнала, отменив выбор Show propagated signal parameter, или, при необходимости, добавьте новую метку.
	Один или несколько блоков соединения в модели не отображают распространенные сигналы, но имеют имена сигналов.	Удалите метки и включите распространение сигнала, выбрав параметр Show presagated signal для сигналов.

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

Не работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Допускает исключения.

См. также

Руководство MAB jc_0009: Распространение имени сигнала
Руководство JMAAB jc_0009
Основы сигнала

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

Проверяйте идентификатор: mathworks.jmaab.db_0097

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

Описание

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b, c
JMAAB - a, b, c

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

Sub ID руководства	Состояние	Рекомендуемое действие
db_0097_a: Проверяйте перекрытие меток сигнала	Один или несколько сигналов в модели имеют метки, которые перекрывают другие объекты.	Поместите метки сигнала так, чтобы они были считываемыми.
db_0097_b: Проверяйте положение меток сигнала	Один или несколько сигналов в модели имеют метки, расположенные в верхней части сигнальной линии.	Поместите метки сигнала под сигнальными линиями.
db_0097_c: Проверяйте местоположение сигнальных меток	Один или несколько сигналов в модели не имеют меток, расположенных в источник сигнальной линии.	Поместите метки сигнала на источник сигнальной линии.

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

Действие изменения для этой проверки в настоящее время решает проблему путем изменения местоположения и исправления формата отражения метки сигнала. Это действие не изменит положение сигнальной линии, чтобы исправить перекрытие меток сигнала.
Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое во всех маскированных файлах.
Поддержка исключений блоков или графиков.

См. также

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

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

Проверяйте идентификатор: mathworks.maab.na_0008

Проверьте маркировку на сигнальных линиях.

Описание

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

Сигналы, исходящие из следующих блоков (исключение значка блока, отмеченное ниже, применяется ко всем перечисленным блокам, кроме Inport, Bus Selector, Demux и Selector):
- Bus Selector блок (маркировка сил инструмента)
- Chart блок (Stateflow)
- Constant блок
- Data Store Read блок
- Demux блок
- From блок
- Inport блок
- Selector блок
- Subsystem блок
Исключение значка блока
Если метка сигнала видна в отображении значка для исходного блока, вы не должны отображать метку для подключенного сигнала, если метка сигнала не требуется в другом месте из-за правила для пунктов назначения сигнала.
Сигналы, соединенные с одним из следующих блоков назначения (прямо или косвенно с базовым блоком, который выполняет операцию, которая не является трансформативной):
- Bus Selector блок (маркировка сил инструмента)
- Chart блок (Stateflow)
- Data Store Write блок
- Goto блок
- Mux блок
- Outport блок
- Subsystem блок
Любой интересующий сигнал.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

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

Откройте Редактор конфигурации модели и найдите идентификатор проверки na_0008.
В группе Input Parameters выберите Custom из списка Standards.
Добавьте или удалите блоки и/или маски из таблиц List of block types to check output signal labels и List of block types to check input signal labels.
Нажмите Apply и сохраните строение.

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

Состояние	Рекомендуемое действие
Сигналы, прибывающие из Bus Selector, Chart, Constant, Data Store Read, Demux, From, Inport, или Selector блоки, не маркированы.	Пометьте сигнал.
Блоки из списка, ниже которого получают сигналы, не маркированы: Outport, Goto, DataStore, BusCreator, Mux, или SubSystem.	Пометьте сигнал.

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

Работает на библиотечных моделях.
Допускает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB: na_0008: отображение меток на сигналах
Имена сигналов и метки.

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

Проверяйте идентификатор: mathworks.maab.na_0009

Описание

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

Блок Inport в вложенной подсистеме. Однако, если вложенная подсистема является библиотечной подсистемой, можно явным образом пометить сигнал, поступающий от блока Inport, чтобы учесть повторное использование библиотечного блока.
Базовый блок, который выполняет некорректную операцию (тип данных выходов этих блоков остается таким же, как и вход).
Блок Subsystem или Stateflow Chart. Однако, если подключение происходит из выхода образца библиотечного блока, можно явным образом пометить сигнал для повторного использования библиотечного блока.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Эта проверка Model Advisor не применима к руководствам по моделированию JMAAB.

Эта проверка не включает вложенные проверки

NA-MAAB - a
JMAAB - Не поддерживается

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

Состояние	Рекомендуемое действие
Модель включает метки сигнала, которые были введены явно, но должны быть распространены.	Используйте символ разомкнутого угла (<), чтобы пометить метки сигнала, которые должны быть распространены, и удалить метки, которые были введены явно.

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

Эта проверка не должна выполняться в моделях для AUTOSAR.

Не работает на библиотечных моделях.
Анализирует содержимое в маскированных подсистемах, не имеющих рабочих областей и диалоговых окон. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Допускает исключения блоков или графиков.

См. также

Руководство MAB: na_0009: Вход в зависимости от распространения меток сигнала
Имена сигналов и метки.

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

Проверяйте идентификатор: mathworks.jmaab.jc_0110

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

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние	Рекомендуемое действие
Некоторые блоки в модели имели повернутую или противоположную ориентацию.	Разверните или поверните эти блоки, чтобы они были ориентированы вправо.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0110: Направление блока
Руководство JMAAB jc_0110

Проверяйте режим индексации

Проверяйте идентификатор: mathworks.jmaab.db_0112

Описание

Идентифицирует блоки и графики с несогласованным режимом индексации.

Блоки с индексацией на основе 0 или 1:

Назначение
ForIterator
Найти
MultiPortSwitch
Отборщик

Блоки с индексацией по умолчанию 1:

Функция MATLAB
Fcn
MATLABSystem
Таблица истинности
Таблица переходов состояний
Тестовая последовательность

Примечание

Для графика, когда язык действий установлен на MATLAB, его индексация на основе 1. Когда язык действий установлен на C, его индексация на основе 0.

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a1/a2
JMAAB - a1/a2

Примечание

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

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

Sub ID руководства	Состояние	Рекомендуемое действие
db_0112_a1: Проверяйте на нулевой режим индексации	Один или несколько блоков или графиков в модели имеют режим индексации на основе одного или задавать индексы.	Рассмотрите ремоделирование при помощи Zero-Based Indexing.
db_0112_a2: Проверяйте на один режим индексации.	Один или несколько блоков или графиков в модели имеют режим индексации на основе нуля или режим задавать индексы.	Рассмотрите ремоделирование при помощи One-Based Indexing.

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

Работает на библиотечных моделях.
Допускает исключения.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB db_0112: Использование индекса
Руководство JMAAB db_0112

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

Проверяйте идентификатор: mathworks.jmaab.jc_0645

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0645: Определение параметра для калибровки
Руководство JMAAB jc_0645

Проверяйте на настройку шага расчета

Проверяйте идентификатор: mathworks.jmaab.jc_0641

Описание

Проверьте, задано ли свойство шага расчета блока -1 (унаследовано).

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние	Рекомендуемое действие
Шаг расчета свойства блока не установлен на -1 (унаследовано).	Измените значение шага расчета на -1 (унаследовано).

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

Эта проверка позволяет использовать опцию Автоматическое исправление (Auto-Fix), чтобы обновить шаг расчета маркированных блоков до -1 (унаследовано).
Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0641: Шаг расчета
Руководство JMAAB jc_0641

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

Проверяйте идентификатор: mathworks.jmaab.jc_0643

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

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние	Рекомендуемое действие
В помощнике по типам данных Mode установлено значение `Fixed Point` но значение для Bias не `0`.	Измените параметры блоков Bias на `0`.

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

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

См. также

Руководство MAB jc_0643: Установка фиксированной точки
Руководство JMAAB jc_0643

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

Проверяйте идентификатор: mathworks.jmaab.jc_0644

Описание

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

Эта проверка исключает:

Блок преобразования типа данных.
Напечатайте настройку с помощью fixdt.
Типы Double и Boolean.
Переиспользуемая внутренняя часть функции (атомарная подсистема).
Выход данных блока устанавливается на Inherit via backpropagation.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние	Рекомендуемое действие
Тип данных сигнала устанавливается на различные типы в объектах сигнала и в блоке.	Установите тип выходных данных блоков равным auto или Inherit via back propagation.

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

Не работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.

См. также

Руководство MAB jc_0644: Установка типа
Руководство JMAAB jc_0644

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

Проверяйте идентификатор: mathworks.jmaab.db_0146

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

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b
JMAAB - a, b

Положение блока по умолчанию может быть сконфигурировано с помощью параметра Block Position из Model Advisor Configuration Editor.

Откройте Редактор конфигурации модели и найдите идентификатор проверки db_0146.
Введите положение блока для проверки в поле Block Position.
По умолчанию для этого параметра задано значение верхняя часть.
Нажмите Apply и сохраните строение.

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

Sub ID руководства	Состояние	Рекомендуемое действие
db_0146_a: Размещение блоков в условной подсистеме	Trigger, Enable и блоки Action Port не находятся в верхней части подсистемы.	Переместите блоки Trigger, Enable и Action Port в верхнюю часть подсистемы.
db_0146_b: Размещение блоков в итерационной подсистеме	For Each, For Iterator и блоки While Iterator находятся не в одном местоположении на схеме подсистемы.	Переместите блоки For Each, For Iterator и While Iterator так, чтобы они находились в равномерном местоположении на схеме подсистемы.

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

Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB db_0146: размещение блоков в условных подсистемах
Руководство JMAAB db_0146

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

Проверяйте идентификатор: mathworks.jmaab.jc_0640

Описание

Проверяет, что начальный выход для всех блоков Outports и Merge, связанных с Conditional subsystem , явно задано.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

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

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

Не работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0640: Начальные настройки значения для блоков Outport в условных подсистемах
Руководство JMAAB jc_0640

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

Проверяйте идентификатор: mathworks.jmaab.jc_0659

Определяет блоки, существующие между условной подсистемой и блоком слияния.

Описание

Объединенные блоки должны иметь прямые соединения от условно выполненных подсистем. При использовании блока Merge учитывайте следующее:

Между блоками подсистемы «Слияние» и «Условно выполненные» не должно присутствовать никаких блоков, включая виртуальную подсистему, которая не влияет на функцию Merge блока.
Блок Merge может быть вложен в любое количество подсистем, если удовлетворено предшествующее условие.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние	Рекомендуемое действие
Один или несколько блоков, вставленных между блоком Merge и Условной Подсистемой.	Производите прямые соединения из блоков Условной Подсистемы в блоки Слияния.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0659: Ограничения использования сигнальных линий, входящих в блоки Merge
Руководство JMAAB jc_0659

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

Проверяйте идентификатор: mathworks.maab.na_0003

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

Описание

Определяет образцы в блоке If, где первичные выражения являются сложными.

Первичные выражения определяются как:

Вход
Константа
Постоянный параметр
Выражение в круглых скобках, не содержащее никаких операторов, кроме нуля или <, >, >=, <=, ==, ~=, |, &, и ~

Примеры первичных выражений включают:

u1
5
K
(u1 > 0)
(u1 <= G)
(u1 > U2)
(~ <reservedrangesplaceholder0>)

Примеры допустимых исключений логических выражений включают:

u1 | u2
((u1 > 0) & (u1 < 20)
(u1 > 0) & (u2 < u3)
(u1 > 0) & (~u2)

В этой таблице приведены примеры недопустимых логических выражений.

Основное выражение	Рассуждение
`u1 & u2 \| u3`	Слишком много первичных выражений.
`u1 & (u2 \| u3)`	Недопустимый оператор в первичном выражении.
`(u1 > 0) & (u1 < 20) & (u2 > 5)`	Слишком много первичных выражений, которые не являются входами.
`(u1 > 0) & ((2* u2) > 6)`	Недопустимый оператор в первичном выражении.

Исключение

Логическое выражение может содержать более двух основных выражений, когда оба эти условия выполняются:

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

Примеры приемлемых исключений включают:

u1 | u2 | u3 | u4 | u5
u1 & u2 & u3 & u4

Простые выражения «Если»

В буквальной интерпретации руководства na_0003, выражение u1 < u2 является нарушением. Однако выражение следует обычно используемому шаблону выражения «If» (< Основное выражение > < Оператор > < Основное выражение >). Таким образом, когда логические операторы не используются и присутствует только один реляционный оператор, выражение удовлетворяет руководству na_0003 и u1 <u2 НЕ является нарушением.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние Рекомендуемое действие

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

Рассмотрим одно из следующих:

Сделать первичные выражения входа и либо:
- Используйте круглые выражения с одним типом реляционных операторов
- Создайте простой экспресс «Если» используя шаблон
  < Основное выражение > < Логический оператор > < Основное выражение >
Уменьшите количество первичных выражений до двух или менее.
Создайте логическое выражение, используя логические блоки, отличные от блока If.

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

Рассмотрим одно из следующих:

Используйте только один тип реляционного оператора. Приемлемые логические операторы включают <, >, >=, <=, ==, ~=, |, &, и ~. Основное выражение должно состоять только из входов.
Уменьшите количество выражений в круглых скобках до двух или менее.
Создайте логическое выражение, используя логические блоки, отличные от блока If.

Выражение в скобках включает реляционный оператор, отличный от нуля или <, >, >=, <=, ==, ~=, |, &, или ~.

Рассмотрим одно из следующих:

Используйте реляционный оператор <, >, >=, <=, ==, ~=, |, &, или ~ в круглых скобках.
Создайте логическое выражение, используя логические блоки, отличные от блока If.

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

Не помечает логические выражения, которые используют только один из этих относительных операторов <, >, >=, <=, ==, ~=, |, &, и ~
Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB na_0003: использование блоков If
Руководство JMAAB na_0003

Проверяйте случай по умолчанию/else в блоках Switch Case и блоках If

Проверяйте идентификатор: mathworks.jmaab.jc_0656

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0656: Использование условных блоков управления
Руководство JMAAB jc_0656

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

Проверяйте идентификатор: mathworks.jmaab.na_0002

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

Описание

Проверяет типы данных для логических и числовых блоков и определяет, когда тип данных не подходит для операции.

Тип данных для логических блоков должен быть логическим. Логические блоки включают:

Тип данных для числовых блоков должен быть не булевым. Числовые блоки включают:

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b
JMAAB - a, b

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

Откройте Редактор конфигурации модели и найдите идентификатор проверки na_0002.
В разделе Input Parameters добавляйте или удаляйте блоки и/или маски из таблицы Blocks for Numerical Operations или Blocks for Logical Operations таблицы.
Нажмите Apply и сохраните строение.

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

Sub ID руководства	Состояние	Рекомендуемое действие
na_0002_a: Проверяйте входные типы данных блоков, предназначенных для логических операций	Тип данных для логических операционных блоков не является логическим.	Рассмотрите наличие логических входов для логических операционных блоков.
na_0002_b: Проверяйте входные типы данных блоков, предназначенных для числовых операций	Тип данных для численных операционных блоков - Boolean.	Рассмотрите наличие некулевых входов для числовых операционных блоков.

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

Не работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

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

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

Проверяйте идентификатор: mathworks.jmaab.jc_0121

Описание

Определяет нарушения руководства, найденные при использовании блока Sum.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a, b, c

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0121_a: Проверяйте форму блока Sum	Один или несколько блоков Sum имеют «округлую» форму, но не являются частью цикла обратной связи.	Установите форму блока Sum на «прямоугольную».
jc_0121_b: Проверяйте первый вход блока Sum	Один или несколько блоков Sum не имеют знака '+' в качестве первого входа и не являются частью цикла обратной связи.	Установите первый вход в блок Sum на знак '+'.
jc_0121_c: Проверяйте количество входов для блока Sum	Один или несколько блоков Sum имеют более двух входов.	Установите блок Sum, чтобы иметь не более двух входов.

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

Работает на библиотечных моделях.
Поддерживает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0121: Использование блоков сложения и вычитания
Руководство JMAAB jc_0121

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

Проверяйте идентификатор: mathworks.jmaab.jc_0610

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a, b

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

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

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

Поддерживает выбор идентификаторов подмножеств руководства.
Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0610: Порядок оператора для умножения и блока деления
Руководство JMAAB jc_0610

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

Проверяйте идентификатор: mathworks.jmaab.jc_0611

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

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0611: Входной знак для блоков умножения и деления
Руководство JMAAB jc_0611

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

Проверяйте идентификатор: mathworks.jmaab.jc_0622

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Не допускает исключения блоков и графиков.

См. также

Руководство MAB jc_0622: Использование блоков Fcn
Руководство JMAAB jc_0622

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

Проверяйте идентификатор: mathworks.jmaab.jc_0621

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0621: Использование блоков логического оператора
Руководство JMAAB jc_0621

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

Проверяйте идентификатор: mathworks.maab.jc_0131

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

Описание

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

Для этой проверки требуется лицензия Simulink Check.

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

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

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

См. также

Руководство MAB jc_0131: Использование блоков реляционных операторов
Руководство JMAAB jc_0131

Сравнение типов с плавающей точкой в Simulink

Проверяйте идентификатор: mathworks.jmaab.jc_0800

Описание

Проверяет, проводится ли сравнение эквивалентности для чисел с плавающей запятой.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Не работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0800: Сравнение типов с плавающей точкой в Simulink
Руководство JMAAB jc_0800

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

Проверяйте идентификатор: mathworks.jmaab.jc_0626

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

Описание

Проверяет интерполяционные таблицы n-D (1-D,2-D, и n-D) на наличие следующих параметров, чтобы убедиться, что значения соответствуют соответствующим рекомендациям.

InterpMethod
ExtrapMethod
UseLastTableValue

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0626_a: Проверьте настройки метода поиска для блоков таблицы динамического поиска	Параметр, LookUpMeth в динамической интерполяционной таблице, установлен на другое, чем Interpolation-Use End Values.	Установите рекомендуемое значение параметра Interpolation-Use End Values.
jc_0626_b: Проверьте настройки метода поиска для блоков интерполяционной таблицы n-D	Параметр, InterpMethod в интерполяционной таблице n-D, установлен в Cubic spline.	Обновите настройки параметра с одним из следующих рекомендуемых значений Квартира Ближайший Линейная точка-уклон Линейный Лагранж.
	Параметр, ExtrapMethod в интерполяционной таблице n-D, установлен в Cubic spline или Linear.	Установите рекомендуемое значение параметра Clip.
	Параметр, UseLastTableValue в интерполяционной таблице n-D, установлен в off.	Установите рекомендуемое значение параметра on.

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

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

См. также

Руководство MAB jc_0626: Использование блоков интерполяционной таблицы
Руководство JMAAB jc_0626

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

Проверяйте идентификатор: mathworks.jmaab.jc_0623

Проверяет блоки Memory и Unit Delay с неподходящим шагом расчета.

Описание

Определяет блоки Memory с дискретным шагом расчета и Unit Delay блоки с недискретным шагом расчета.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

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

См. также

Руководство MAB jc_0623: Использование блоков Задержки в непрерывном времени и блоков Задержки в дискретном времени
Руководство JMAAB jc_0623

Проверяйте на каскадные блоки Unit Delay

Проверяйте идентификатор: mathworks.jmaab.jc_0624

Описание

Определяет каскадный и выделенный шаблон блоков Unit Delay.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0624_a: Проверяйте использование блоков задержки в резьбовом шаблоне	Набор блоков Unit Delay в модели может быть заменен блоком Tapped Delay.	Рассмотрите замену каскадных блоков Unit Delay на блок Tapped Delay.
jc_0624_b: Проверяйте использование каскадных блоков Delay	Набор блоков Delay может быть заменен одним блоком Delay.	Рассмотрите замену каскадных блоков Delay на блок Delay.

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

Работает на библиотечных моделях.
Поддерживает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0624: Использование блоков Tapped Delay/Блоки Delay
Руководство JMAAB jc_0624

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

Проверяйте идентификатор: mathworks.jmaab.jc_0627

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

Описание

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

Параметры блоков Limit output .
Пределы насыщения заданы с помощью Simulink.Parameter или MPT.Parameter объект, тип данных которого auto.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0627_a: Проверяйте предельные настройки насыщения блоков интегратора дискретного времени	Параметры блоков, Limit output удалены	Выберите Discrete-Time Integrator параметров блоков Limit output.
jc_0627_b: Проверяйте предельные настройки насыщения блоков интегратора дискретного времени	Предел насыщения определяется объектом параметр, тип данных которого не `auto`	Измените тип данных для объекта параметр на `auto`.

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

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

См. также

Руководство MAB jc_0627: использование блоков интегратора в дискретном времени
Руководство JMAAB jc_0627

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

Проверяйте идентификатор: mathworks.jmaab.jc_0628

Описание

Эта проверка определяет:

Блоки Saturation или Saturation Dynamic с любым типом операций литья. Проверка сравнивает, что скомпилированные типы входных и выходных данных совпадают или проверяет, что Output data type установлено на Inherit: Same as input и Inherit: Same as second input для блоков Saturation и Saturation Dynamic соответственно.
Если для upper limit задано максимальное значение типа выходных данных (intmax, realmax).
Если для lower limit задано минимальное значение типа выходных данных (intmin, -realmax).

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0628: Использование блоков насыщения
Руководство JMAAB jc_0628

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

Проверяйте идентификатор: mathworks.jmaab.jc_0651

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние	Рекомендуемое действие
Найден один или несколько блоков Operation , которые явным образом задают тип выходных данных.	Вместо явного определения типа выходных данных на операционных блоках используйте Data Type Conversion блок при изменении типа данных выходного сигнала блока.

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Допускает исключения блоков или графиков.

См. также

Руководство MAB jc_0651: Реализация преобразования типов
Руководство JMAAB jc_0651

Проверяйте положение блоков Inport и Outport

Проверяйте идентификатор: mathworks.jmaab.db_0042

Описание

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

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

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

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

Проверяйте параметризацию

NA-MAAB - a, b
JMAAB - a, b, c

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

Sub ID руководства	Состояние	Рекомендуемое действие
db_0042_a: Проверяйте положения блоков Inport	Inport блоки не расположены на левой оси схемы.	Расположите блоки Inport в левой части схемы. Размещение блоков, вызывающее перекрытия сигнала, может быть исключено.
db_0042_b: Проверяйте положения блоков Outport	Outport блоки не расположены в правой части схемы.	Расположите блоки Outport в правой части схемы. Размещение блоков, вызывающее перекрытия сигнала, может быть исключено.
db_0042_c: Проверяйте использование повторяющихся блоков Inport	Порты являются повторяющимися блоками Inport.	Если повторяющиеся блоки Inport находятся в подсистеме, удалите их, где это возможно. Если повторяющиеся блоки Inport находятся на корневом уровне, удалите их.

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

Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB db_0042: Использование блоков Inport и Outport
Руководство JMAAB db_0042

Проверьте отображение блоков портов

Проверяйте идентификатор: mathworks.maab.jc_0081

Проверьте настройку Icon display на наличие блоков Inport и Outport.

Описание

Требуется установка Icon display.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Настройка Icon display не установлена.	Установите Icon display равным `Port number` для заданных блоков Inport и Outport.

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

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

Проверка во время редактирования

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

См. также

Руководство MAB jc_0081: отображение значков блоков Inport и Outport
Руководство JMAAB jc_0081

Проверяйте возможности блоков From и Goto

Проверяйте идентификатор: mathworks.maab.na_0011

Проверяйте возможности From и Goto блоков.

Описание

Можно использовать глобальные возможности для управления потоком. Однако From и Goto блоки должны использовать локальные возможности для потоков сигналов.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Не работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB na_0011: Возможности блоков Goto и From
Руководство JMAAB na_0011

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

Проверяйте идентификатор: mathworks.jmaab.jc_0161

Описание

Определяет использование блоков памяти хранилища данных.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0161_a: Проверяйте определение блока памяти хранилища данных	Один или несколько блоков памяти хранилища данных в модели не заданы на наименьшем уровне возможностей.	Рассмотрите перемещение блоков памяти хранилища данных на наименьший уровень возможностей.
jc_0161_b: Проверяйте использование данных в блоке Data Store Memory	Данные в некоторых блоках памяти хранилища данных в модели не используются для выполнения и генерации кода.	Используйте блоки памяти хранилища данных только в том случае, если их данные используются для генерации или выполнения кода.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Допускает исключения.

См. также

Руководство MAB jc_0161: Определение блоков памяти хранилища данных
Руководство JMAAB jc_0161

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

Проверяйте идентификатор: mathworks.maab.jc_0141

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

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

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

Проверка во время редактирования

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

См. также

Руководство MAB jc_0141: Использование блоков Switch
Руководство JMAAB jc_0141

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

Проверяйте идентификатор: mathworks.jmaab.jc_0650

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

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Не работает на библиотечных моделях.
Допускает исключения.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0650: Блокируйте тип входных/выходных данных с функцией коммутации
Руководство JMAAB jc_0650

Проверьте настройки портов данных в блоках Multiport Switch

Проверяйте идентификатор: mathworks.jmaab.jc_0630

Описание

Определяет блоки Multiport Switch, которые нарушают настройки порта данных.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, c
JMAAB - a, b, c

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0630_a: Проверяйте количество входов в блок Multiport Switch	Блок Switch или блок Multiport Switch в модели имеют менее двух портов данных.	Убедитесь, что блоки Switch или блок Multiport Switch в модели имеют порты данных, которые больше двух.
jc_0630_b: Проверяйте входной тип на Multiport Switch блок	Тип данных порта управления на мультипортовом коммутаторе не установлен в беззнаковое целое число.	Измените тип данных порта управления на мультипортовом коммутаторе на беззнаковое целое число.
jc_0630_c: Проверяйте порядок портов данных блока Multiport Switch	Мультипортовые Блоки switch имеют неправильные настройки.	Установите значение блока Multiport Switch Порт данных для случая по умолчанию на Дополнительный порт данных и значение Diagnostics для случая по умолчанию на Нет.

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

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

Проверка во время редактирования

Эта проверка поддерживается проверкой во время редактирования. Однако проверка во время редактирования для этой проверки не проверяет податливость jc_0630 Sub ID.

См. также

Руководство MAB jc_0630: Использование блоков Multiport Switch
Руководство JMAAB jc_0630

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

Проверяйте идентификатор: mathworks.jmaab.na_0020

Описание

Проверяет количество входов/выходов в Подсистему Вариантов.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Можно настроить проверку, чтобы Подсистема Вариантов имела другое количество выходных портов, чем Подсистемы Выбора, путем выбора входного параметра Check for parameter 'Specify output when unconnected' на выходных портах Подсистемы Исполнения в Model Advisor Configuration Editor.

Примечание.Выходные порты Variant Subsystem должны иметь входной параметр, задающий выход, когда выбран несвязанный.

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

Состояние	Рекомендуемое действие
Одна или несколько подсистем вариантов имеют разное количество входов/выходов в своих подчиненных подсистемах.	Рассмотрите наличие того же количества входов/выходов в Вариантных Подсистемах и их подчиненных подсистемах.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Допускает исключения блоков или графиков.

См. также

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

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

Проверяйте идентификатор: mathworks.maab.na_0036

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

Описание

Проверяет Variant Subsystem, Variant Source, Variant Sink и блоки Model вариантов в подсистеме вариантов для варианта по умолчанию.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

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

Откройте Редактор конфигурации модели и найдите идентификатор проверки na_0036.
В разделе Input Parameters выберите Check use of 'Allow zero active variant controls' option.
Для каждого Выхода порта подсистемы вариантов установите следующие параметры блоков:
- Выберите Specify output when source is unconnected
- Введите Constant value
- Установите значение выхода параметров блоков Data type Inherit: auto
Нажмите Apply и сохраните строение.

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

Состояние Рекомендуемое действие

Подсистема не содержит варианта по умолчанию.

Установите параметры блоков Variant control в (default).

Параметры блоков устанавливаются равным Variant.

Чтобы задать активный вариант как вариант по умолчанию.

Variant Control установлено на Variant
Откройте блок варианта и выберите параметры блоков Allow zero active variant controls.
Для выходных портов подсистемы вариантов:
- Установите Specify output when source is unconnected значение true
- Задайте допустимое значение в Constant value
- Установите Output Data type значение Inherit: auto

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

Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Позволяет исключать блоки и графики
Позволяет подсветить синтаксис

См. также

Руководство MAB na_0036: Вариант по умолчанию
Руководство JMAAB na_0036

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

Проверяйте идентификатор: mathworks.maab.na_0037

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

Описание

Проверяет Variant Subsystem, Variant Source, Variant Sink и вариант блоки Model на наличие условных выражений с несколькими переменными.

Примечание

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

Выбор (default) в параметрах блоков Variant control.
Определение исчерпывающего условия.

Эта проверка не может различать значения по умолчанию, определенные с помощью исчерпывающего условия.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Условное выражение содержит более одной переменной условия.	Рассмотрите обновление вашей модели, чтобы использовался только один вариант.
Переменная условного выражения или `Simulink.Variant` объект не найден в рабочей области.	Рассмотрите определение варианта в вашей модели.
Проверка не выполняется в моей подсистеме вариантов.	Снимите Override variant conditions and use following variant для подсистемы варианта.

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

Не проверяет варианты по умолчанию.
Не запускается в Подсистеме Вариантов, когда вы выбираете Override variant conditions and use following variant
Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.

См. также

Руководство MAB na_0037: Использование одной переменной для варианта условия
Руководство JMAAB na_0037

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

Проверяйте идентификатор: mathworks.jmaab.db_0122

Проверьте, сильно ли набраны маркированные входные и выходные сигналы Stateflow и Simulink.

Описание

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

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

Для этой проверки требуется лицензия Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB db_0122: сигналы интерфейса Stateflow и Simulink и параметров
Руководство JMAAB db_0122
Синтаксис состояний и переходов (Stateflow)

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

Проверяйте идентификатор: mathworks.maab.db_0123

Проверьте несоответствие между портами Stateflow и соответствующими именами сигналов.

Описание

Имя входных и выходных входов Stateflow должно совпадать с именем соответствующего сигнала.

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

Для этой проверки требуется лицензия Stateflow.

Проверяйте параметризацию

Эта проверка Model Advisor не применима к руководствам по моделированию JMAAB.

Эта проверка не включает вложенные проверки

NA-MAAB - a
JMAAB - Не поддерживается

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

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

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

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

См. также

Руководство MAB db_0123: имена портов Stateflow

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

Проверяйте идентификатор: mathworks.jmaab.db_0125

Описание

Определяет значение Scope, установленное на данных Stateflow, заданных на уровне машины.

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a, b, c, d
JMAAB - a, b, c, d

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

Sub ID руководства	Состояние	Рекомендуемое действие
db_0125_a: Проверяйте данные Stateflow с установленным значением Scope на локальном уровне на уровне машины	Stateflow данных с локальными Возможностями, заданными на уровне машины	Рассмотрите отказ от определения данных с локальными возможностями на уровне машины.
db_0125_b: Проверяйте данные Stateflow с установленным значением Scope на Constant на уровне машины	Stateflow данных с Постоянными Возможностями заданным уровнем машины	Рассмотрите отказ от определения данных с помощью Constant Scope на уровне машины.
db_0125_c: Проверяйте данные Stateflow с установленным параметром Scope на уровне машины	Stateflow данных с Возможностями Parameter, заданными на уровне машины	Рассмотрите отсутствие определения данных с помощью Parameter Scope на уровне машины.
db_0125_d: Проверяйте на наличие повторяющихся имен данных Stateflow с набором возможностей Local на иерархии блоков Stateflow	Данные Stateflow, заданные в графике, имеют несколько определений на той же иерархии блоков Stateflow	Рассмотрите использование уникальных имен данных Stateflow в иерархии.

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

Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Допускает исключения.

См. также

Руководство MAB db_0125: Локальные данные Stateflow
Руководство JMAAB db_0125

Проверяйте определение событий Stateflow

Проверяйте идентификатор: mathworks.jmaab.db_0126

Описание

События Stateflow должны быть определены в наименьших возможных возможностях использования.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Одно или несколько событий Stateflow, используемых в графике, не заданы на одном уровне в иерархии.	Рассмотрите определение событий Stateflow в наименьших возможностях использования.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Не поддерживает исключения блоков или графиков.

См. также

Руководство MAB db_0126: Определение событий Stateflow
Руководство JMAAB db_0126

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

Проверяйте идентификатор: mathworks.jmaab.jc_0701

Описание

Определяет, не установлен ли первый индекс массивов в Stateflow ни 0, ни 1.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a1/a2
JMAAB - a1/a2

Примечание

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

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0701_a1: Проверьте, установлен ли первый индекс данных Stateflow на 0	Одному или нескольким данным Stateflow первый индекс установлен на значение, отличное от 0.	Убедитесь, что задано значение первого индекса 0.
jc_0701_a2: Проверьте, установлен ли первый индекс данных Stateflow 1	Одному или нескольким данным Stateflow первый индекс установлен на значение, отличное от 1.	Убедитесь, что установите первое значение индекса равным 1.

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

Поддерживает выбор идентификаторов подмножеств руководства.
Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Допускает исключения графиков.

См. также

Руководство MAB jc_0701: Полезное число для первого индекса
Руководство JMAAB jc_0701

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

Проверяйте идентификатор: mathworks.jmaab.jc_0712

Описание

Определяет состояние Execute (enter) Chart At Initialization параметра. Этот параметр требует многих других факторов, чтобы получить последовательные результаты.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Выбран Execute (enter) Chart At Initialization параметра.	Обязательно снимите флажок.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0712: синхронизация выполнения для переходного пути по умолчанию
Руководство JMAAB jc_0712

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

Проверяйте идентификатор: mathworks.jmaab.jc_0722

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Возможности данных Stateflow (локальные переменные) не ограничены параллельным состоянием, когда одни и те же данные не требуются несколькими параллельными состояниями.	Ограничьте возможности Stateflow (локальные переменные) только одним параллельным состоянием.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Допускает исключения графиков.

См. также

Руководство MAB jc_0722: Определение локальных данных в параллельных состояниях
Руководство JMAAB jc_0722

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

Проверяйте идентификатор: mathworks.jmaab.jc_0797

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a, b
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0797_a: Проверяйте несвязанные переходы	Один или несколько переходов на графике не связаны.	Рассмотрите ремоделирование, чтобы соединить болтающиеся переходы.
jc_0797_b: Проверяйте несвязанные состояния и соединения	Одно или несколько состояний и соединений не связаны.	Рассмотрите ремоделирование, чтобы соединить несвязанные государства и соединения.

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0797: Несвязанные переходы/состояния/соединительные соединения
Руководство JMAAB jc_0797

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

Проверяйте идентификатор: mathworks.jmaab.db_0137

Описание

Идентифицирует состояния с разложением (исключающий) OR типом только с одним подсостоянием.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Одно или несколько состояний с разложением (исключающий) OR типом имеют только одному подсостоянию в модели.	Удалите подсостоянию или добавьте другое состояние.

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

Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

Проверка во время редактирования

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

См. также

Руководство MAB db_0137: Состояния в машинах состояний
Руководство JMAAB db_0137

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

Проверяйте идентификатор: mathworks.jmaab.jc_0721

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0721: Использование параллельных состояний
Руководство JMAAB jc_0721

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

Проверяйте идентификатор: mathworks.jmaab.db_0129

Описание

Проверяет и сообщает о переходах Stateflow, которые визуально перекрывают другие объекты Stateflow.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a, b, c, d, e
JMAAB - a, b, c, d, e

Можно разрешить самостоятельные переходы для флага с этой проверкой, выбрав параметр Check for Self Transitions из Model Advisor Configuration Editor.

Откройте Редактор конфигурации модели и найдите идентификатор проверки db_0129.
Выберите параметр Check for Self Transitions.
Нажмите Apply и сохраните строение.

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

Идентификаторы подмножеств руководства	Состояние	Рекомендуемое действие
db_0129_a: Проверьте на переходные линии, которые пересекают друг друга	Переходные линии пересекают друг друга.	Рассмотрите ремоделирование, чтобы переходные линии не пересекались друг с другом.
db_0129_b: Проверьте на переходные линии, которые перекрываются друг с другом	Переходные линии перекрываются с другими переходными линиями.	Рассмотрите ремоделирование, чтобы переходные линии не перекрывались с другими переходными линиями.
db_0129_c: Проверяйте переходные линии, которые пересекают другие объекты Stateflow	Переходные линии пересекают другие объекты Stateflow.	Рассмотрите ремоделирование, чтобы переходы не пересекли другие объекты Stateflow.
db_0129_d: Проверяйте ориентацию переходных линий	Переходы не являются вертикальными или горизонтальными и/или диагональными для циклов графика.	Рассмотрите ремоделирование, используя только горизонтальные или вертикальные переходы и диагональные переходы для циклов графика.
db_0129_e: Проверяйте на ненужные соединительные соединения	Одни или несколько графиков используют ненужные соединительные соединения.	Рассмотрите предотвращение ненужных соединительных соединений.

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

Эта проверка не помечает переходы, которые перекрываются метками состояния, превышающими контур состояния.
Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB db_0129: внешний вид перехода Stateflow
Руководство JMAAB db_0129

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

Проверяйте идентификатор: mathworks.jmaab.jc_0531

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

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

Состояние	Рекомендуемое действие
Параллельные состояния в модели имеют переходы по умолчанию.	Переходы по умолчанию не должны использоваться для параллельных состояний.
Одно или несколько состояний Stateflow в модели не имеют переходов по умолчанию.	Убедитесь, что на каждом уровне существует переход по умолчанию.
Одно или несколько состояний Stateflow в модели имеют несколько переходов по умолчанию на одном уровне.	Несколько переходов по умолчанию не должны быть включены в один и тот же уровень.
Один или несколько переходов по умолчанию в модели не соединяются с верхним состоянием или соединением.	Убедитесь, что переходы по умолчанию непосредственно соединены с верхней частью состояния или соединения.
Одно или несколько состояний назначения или соединений переходов по умолчанию не находятся на верхнюю часть.	Убедитесь, что состояние назначения перехода или соединение назначения перехода для перехода по умолчанию расположены в крайнем верхнем левом углу на том же уровне.
Один или несколько переходов по умолчанию в модели превышают контуры состояний.	Убедитесь, что переход по умолчанию не превышает контуров состояний.
Параметр Нет безусловных переходов по умолчанию в строение > Diagnostics > Stateflow не установлен в error.	Установите параметр Нет безусловных переходов по умолчанию в error.

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

Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0531: переход по умолчанию
Руководство JMAAB jc_0531
Синтаксис состояний и переходов (Stateflow)

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

Проверяйте идентификатор: mathworks.jmaab.jc_0723

Описание

Определяет переходы в диаграммах Stateflow, которые заканчиваются на внешних дочерних состояниях.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Поддерживает исключения графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0723: Запрещенный прямой переход от внешнего состояния к детскому
Руководство JMAAB jc_0723

Проверяйте на неожиданное обратное отслеживание в переходах состояния

Проверяйте идентификатор: mathworks.jmaab.jc_0751

Описание

Проверяет неожиданное обратное отслеживание в переходах состояния. Параметр конфигурации для Unexpected backtracking (SFUnexpectedBacktrackingDiag) должен быть установлен в error.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Обратное отслеживание не обнаруживается во время перехода состояния.	Установите параметр конфигурации для Unexpected backtracking (SFUnexpectedBacktrackingDiag) в error.

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

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

См. также

Руководство MAB jc_0751: Предотвращение обратного отслеживания при переходе состояния
Руководство JMAAB jc_0751

Проверяйте начальную точку внутреннего перехода в Stateflow

Проверяйте идентификатор: mathworks.jmaab.jc_0760

Описание

Определяет, должны ли во всех графиках состояний и графиков потока внутренние переходы от контуров состояний начинаться с левого края состояния.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0760: Начальная точка внутреннего перехода
Руководство JMAAB jc_0760

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

Проверяйте идентификатор: mathworks.jmaab.jc_0763

Описание

Определяет состояния Stateflow, которые используют несколько внутренних переходов.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a1/a2
JMAAB - a1/a2

Примечание

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

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0763_a1: Проверяйте наличие нескольких внутренних переходов	Одно или несколько состояний Stateflow имеют несколько внутренних переходов.	Ремодель, чтобы избежать использования нескольких внутренних переходов.
jc_0763_a2: Проверяйте порядок нескольких внутренних переходов	Одно или несколько состояний Stateflow имеют несколько внутренних переходов, не помещенных в порядок выполнения.	Рассмотрите размещение внутренних переходов сверху вниз в порядке выполнения.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0763: Использование нескольких внутренних переходов
Руководство JMAAB jc_0763

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

Проверяйте идентификатор: mathworks.jmaab.jc_0762

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Состояния Stateflow объединяют состояние активности и график потока.	Разделите состояния активности и перетекайте график операторы в различные состояния.

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0762: Запрет состояние активности и комбинации графика потока
Руководство JMAAB jc_0762

Проверяйте переходы в Stateflow Flow графиков

Проверяйте идентификатор: mathworks.jmaab.db_0132

Описание

Проверяйте ориентацию перехода в графики потока.

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

Нарисуйте условия перехода горизонтально.
Нарисуйте переходы с действием условия вертикально.
Соединения в графики потока должны иметь выходной переход по умолчанию.
Переходы в графики потока не должны сочетать условие и действие.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a, b
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
db_0132_a: Проверяйте использование переходных действий в Stateflow Flow графиков	Одно или несколько переходных действий используются в графики потока в модели.	Не используйте переходные действия в графики потока.
db_0132_b: Проверяйте ориентацию перехода в Flow графиков	Один или несколько переходов с выражениями условий не рисуются горизонтально.	Убедитесь, что переходы с выражениями условий рисуются горизонтально.
	Один или несколько переходов с действиями условия не рисуются вертикально.	Обязательно рисуйте переходы с действиями условия вертикально.
	Один или несколько переходов имеют как выражения условий, так и действия условий.	Не используйте выражения условий и действия условий в одном переходе.

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

Проверяйте только графики потока, содержащие цикл конструкции, если переход нарушает правило ориентации.
Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB db_0132: Переходы в графики потока
Руководство JMAAB db_0132

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

Проверяйте идентификатор: mathworks.jmaab.jc_0773

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0773_a: Проверяйте наличие безусловного перехода, происходящего из соединения Stateflow с условным переходом	Одно или несколько соединений Stateflow не имеют исходящих от них безусловных переходов.	Рассмотрите добавление безусловного перехода к соединению.
jc_0773_b: Проверяйте порядок выполнения безусловных переходов	Одно или несколько соединений Stateflow имеют безусловные переходы, которые не выполняются последним.	Рассмотрите установку порядка выполнения безусловного перехода от соединения к самому высокому значению.

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

Работает на библиотечных моделях.
Поддерживает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0773: Безусловный переход графика потока
Руководство JMAAB jc_0773

Проверяйте клеммные соединения в Stateflow

Проверяйте идентификатор: mathworks.jmaab.jc_0775

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a1/a2
JMAAB - a1/a2

Примечание

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

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0775_a1: Проверьте использование только одного клеммного соединения	Один или несколько контейнеров Stateflow имеют несколько клеммных соединений.	Рассмотрите использование только одного клеммного соединения.
jc_0775_a2: Проверьте использование одного клеммного соединения с одним безусловным переходом в качестве входа	Один или несколько контейнеров Stateflow имеют либо более одного терминального соединения, либо терминальное соединение без одного безусловного перехода.	Рассмотрите использование только одного терминального соединения с одним безусловным переходом в качестве входных параметров.

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

Работает на библиотечных моделях.
Поддерживает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0775: Оконечные соединения в графики потока
Руководство JMAAB jc_0775

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

Проверяйте идентификатор: mathworks.jmaab.jc_0738

Описание

Определяет комментарии, которые содержат newline (s) или вложены в середине в Stateflow.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0738_a: Если язык действий является «C», вложение комментариев не должно использоваться	На или несколько комментариев в объектах Stateflow вложены.	Комментарии в Stateflow не должны быть вложенными.
jc_0738_b: Если язык действий является «C», комментарии не должны содержать новую строку (строки) в середине	Один или несколько комментариев в объектах Stateflow содержат новые строки посередине.	Комментарии в Stateflow не должны содержать новые строки в середине.

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

Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.

См. также

Руководство MAB jc_0738: Использование комментариев Stateflow
Руководство JMAAB jc_0738

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

Проверяйте идентификатор: mathworks.jmaab.jc_0790

Описание

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

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние	Рекомендуемое действие
Язык действия одной или нескольких диаграмм Stateflow не установлен на C.	Установите для всех языков действий диаграмм Stateflow значение C.

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

Работает на библиотечных моделях.
Допускает исключения графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0790: Язык действий блока Chart
Руководство JMAAB jc_0790

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

Проверяйте идентификатор: mathworks.jmaab.jc_0702

Описание

Определяет использование числовых литералов в состояниях и переходах Stateflow.

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Поддерживает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0702: Использование именованных параметров Stateflow и констант
Руководство JMAAB jc_0702

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

Проверяйте идентификатор: mathworks.maab.jm_0011

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

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Для проверки требуется лицензия.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Применяется только к диаграммам Stateflow, которые используют C в качестве языка действий.
Работает на библиотечных моделях.
Не анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jm_0011: указатели в Stateflow
Руководство JMAAB jm_0011

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

Проверяйте идентификатор: mathworks.jmaab.jm_0012

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

Описание

Трансляции событий в диаграммах Stateflow должны быть направлены.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a1/a2/a3

Примечание

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

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

Идентификаторы подмножеств руководства	Состояние	Рекомендуемое действие
jm_0012_a1: Проверяйте, используются ли события Stateflow только в выходных данных блоков Stateflow	События Stateflow не используются в выходах блоков Stateflow.	Измените возможности перечисленных выше событий Stateflow на вывод.
jm_0012_a2: Проверьте, направлены ли широковещательные события Stateflow с помощью синтаксиса «send»	Широковещательные события Stateflow не направляются с помощью синтаксиса «send».	Используйте синтаксис «send (event_name, state_name)» для трансляции событий Stateflow.
jm_0012_a3: Проверяйте, направлены ли широковещательные события Stateflow, используя квалифицированное имя события	События Stateflow не направляются с использованием квалифицированного имени события.	Используйте синтаксис «send (state_name.event_name)» для трансляции событий Stateflow.

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

Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jm_0012: Ограничения использования событий и вещания событий
Руководство JMAAB jm_0012
Широковещательная передача локальных событий для синхронизации параллельных состояний (Stateflow)

Проверяйте порядок типов состояний активности

Проверяйте идентификатор: mathworks.jmaab.jc_0733

Описание

Определяет состояния активности, которые находятся вне порядка в состояниях Stateflow.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a, b
JMAAB - a, b

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0733_a: Проверяйте основные типы состояний активности	Одно или несколько состояний Stateflow имеют базовые типы состояний активности, выписанные из порядка.	Рассмотрите упорядоченное расположение состояний активности в порядке входа (en), во время (du) и выхода (ex).
jc_0733_b: Проверяйте комбинированные типы состояний активности	Одно или несколько состояний Stateflow имеют объединенные типы состояний активности, выписанные из порядка.	Рассмотрите упорядоченное расположение состояний активности в порядке входа (en), во время (du) и выхода (ex).

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

Работает на библиотечных моделях.
Поддерживает исключения графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0733: Порядок типов состояний активности
Руководство JMAAB jc_0733

Проверяйте повторение типов действий

Проверяйте идентификатор: mathworks.jmaab.jc_0734

Определяет повторяющиеся типы Action в состоянии Stateflow.

Описание

Типы действий (entry (en), во время (du), exit (ex), en, du:, du, ex:, en, ex:, en, du, ex:) не должны описываться два или более раз в состоянии Stateflow.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Допускает исключения графиков.

См. также

Руководство MAB jc_0734: Количество типов состояний активности
Руководство JMAAB jc_0734

Проверьте, используется ли состояние активности тип 'exit' в модели

Проверяйте идентификатор: mathworks.jmaab.jc_0740

Описание

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

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние	Рекомендуемое действие
Одно или несколько состояний Stateflow используют тип действия выхода.	Рассмотрите удаление типа состояния активности из состояний Stateflow.

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

Работает на библиотечных моделях.
Поддерживает исключения графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0740: Ограничение на использование выходных состояний активности
Руководство JMAAB jc_0740

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

Проверяйте идентификатор: mathworks.jmaab.jc_0741

Описание

Проверяет, выполняют ли переменные, используемые в условиях перехода состояния, обновление по типу состояния активности «во время».

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0741: Синхронизация для обновления данных, используемых в условиях перехода графика состояний
Руководство JMAAB jc_0741

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

Проверяйте идентификатор: mathworks.jmaab.jc_0772

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0772: Порядок выполнения и условия перехода переходных линий
Руководство JMAAB jc_0772

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

Проверяйте идентификатор: mathworks.jmaab.jc_0753

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a1/a2
JMAAB - a1/a2

Примечание

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

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0753_a1: Проверяйте переходные действия в диаграммах Stateflow	Следующие диаграммы Stateflow используют переходные действия.	Не используйте переходные действия в диаграммах Stateflow.
jc_0753_a2: Проверяйте использование действий условия и переходных действий в рамках той же диаграммы Stateflow	Действия условия и переходы смешиваются в пределах одного графика.	Использование действий условия или переходных действий должно быть равномерным в пределах одного графика.

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0753: Действия условия и переходные действия в Stateflow
Руководство JMAAB jc_0753

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

Проверяйте идентификатор: mathworks.jmaab.db_0127

Описание

Определяет объекты Stateflow, которые используют выражения MATLAB, которые не подходят для генерации кода.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a1/a2
JMAAB - a1/a2

Примечание

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

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

Sub ID руководства	Состояние	Рекомендуемое действие
db_0127_a1: Проверьте наличие выражений MATLAB в диаграммах Stateflow	Один или несколько объектов Stateflow в модели используют выражения MATLAB.	Рассмотрите ремоделирование, заменив все выражения MATLAB в объектах Stateflow.
db_0127_a2: Проверьте наличие выражений MATLAB в диаграммах Stateflow, не доступных через функцию MATLAB	Один или несколько объектов Stateflow в модели используют выражения MATLAB, к которым нет доступа через функцию MATLAB.	Рассмотрите ремоделирование, чтобы получить доступ к выражениям MATLAB через функции MATLAB в объектах Stateflow.

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

Применяется только к диаграммам Stateflow, которые используют C в качестве языка действий.
Работает на библиотечных моделях.
Допускает исключения.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

Проверка во время редактирования

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

См. также

Руководство MAB db_0127: Ограничение команд MATLAB в блоках Stateflow
Руководство JMAAB db_0127

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

Проверяйте идентификатор: mathworks.maab.jc_0481

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

Описание

Не используйте equal для операций с типами данных с плавающей точкой. Можно использовать равные операции с целочисленными типами данных.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Выражения используют операции сравнения равенств (`==`, `!=`, `~=`) где, по меньшей мере, одна сторона выражения является переменной с плавающей точкой или константой.	Измените указанные выражения, чтобы избежать операций сравнения равенств между выражениями с плавающей точкой.
Model Advisor не смог определить типы данных в выражениях с операциями равенства.	Чтобы позволить Model Advisor определять типы данных, рассмотрите явную типизацию заданных выражений.

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

Не работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

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

Проверяйте операторы Stateflow

Проверяйте идентификатор: mathworks.jmaab.na_0001

Описание

Определяет использование операторов в Stateflow.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a, b1/b2/b3, c

Примечание

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

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

Sub ID руководства	Состояние	Рекомендуемое действие
na_0001_a: Использование побитовых операторов в Stateflow	Одно или несколько выражений имеют неправильное использование побитовых операторов.	Рассмотрите использование побитовых операторов ('&', '\|', '^', '~') только для битовых операций.
na_0001_b1: Использование оператора неравенства (~ =) в Stateflow	Одно или несколько выражений имеют неправильное использование операторов неравенства.	Рассмотрите использование '~ =' для операций неравенства.
na_0001_b2: Использование оператора неравенства (! =) в Stateflow	Одно или несколько выражений имеют неправильное использование операторов неравенства.	Рассмотрите использование '! =' для операций неравенства.
na_0001_b3: Использование оператора неравенства (< >) в Stateflow	Одно или несколько выражений имеют неправильное использование операторов неравенства.	Рассмотрите использование '< >' для операций неравенства.
na_0001_c: Использование логического оператора отрицания в Stateflow	Один или несколько сценариев имеют неправильное использование оператора логического отрицания.	Рассмотрите использование '!' для логических операций отрицания

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

Применяется только к графикам, которые используют C в качестве языка действий.
Не работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB na_0001: Стандартное использование операторов Stateflow
Руководство JMAAB na_0001

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

Проверяйте идентификатор: mathworks.jmaab.jc_0655

Описание

Определяет логические переходы в диаграммах Stateflow, которые используют сравнение с числами или логическими значениями (true или false), или используют операторы отрицания (! или ~) переменно в модели.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние	Рекомендуемое действие
Логические транзакции сравниваются с числами или логическими значениями (true или false).	Убедитесь, что транзакции логического типа не сравниваются с числами или логическими значениями.

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

Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0655: Запрет логического сравнения значений в Stateflow
Руководство JMAAB jc_0655

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

Проверяйте идентификатор: mathworks.maab.jc_0451

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

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Не работает на библиотечных моделях.
Не анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0451: Использование унарного минуса на беззнаковых целых числах
Руководство JMAAB jc_0451

Проверяйте неявное литье типов в Stateflow

Проверяйте идентификатор: mathworks.jmaab.jc_0802

Описание

Определяет неявное литье типов в Stateflow.

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Одна или несколько операций и/или вызовов функций в диаграммах Stateflow имеют несоответствие типов данных.	Все операции и вызовы функций должны выполняться между переменными совпадающего типа данных. Если типы данных различаются, переменные должны явно вводиться в соответствии с типами данных.

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

Эта проверка не будет анализировать перечисляемые типы в Stateflow, если перечисляемые типы не заданы с полным именем класса.
Эта проверка не анализирует контекстно-зависимые константы фиксированной точки.
Не работает на библиотечных моделях.
Допускает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0802: Запрещенное использование неявного литья типов в Stateflow
Руководство JMAAB jc_0802

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

Проверяйте идентификатор: mathworks.jmaab.jc_0732

Описание

Проверяет, совпадают ли имена Данных Stateflow и Состояние Stateflow в одной Диаграмме Stateflow.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Если имя данных Stateflow и имя состояния Stateflow имеют то же имя в диаграмме Stateflow.	Переименуйте имя Данных Stateflow или Состояние Stateflow имя так, чтобы оно не совпадало.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Допускает исключения графиков.

См. также

Руководство MAB jc_0732: Различие между именами состояний, именами данных и именами событий
Руководство JMAAB jc_0732

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

Проверяйте идентификатор: mathworks.jmaab.jc_0730

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
На диаграмме Stateflow два или более состояний Stateflow имеют одинаковое имя.	Переименуйте состояния Stateflow так, чтобы в диаграмме Stateflow не было идентичных имен.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Допускает исключения графиков.

См. также

Руководство MAB jc_0730: Уникальное имя состояния в блоках Stateflow
Руководство JMAAB jc_0730

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

Проверяйте идентификатор: mathworks.jmaab.jc_0731

Проверяет наличие косых черт (/) в именах состояний.

Описание

Проверяет, включены ли косые черты (/) в имена состояний. После определения имени состояния добавьте новую линию для описания любых исполняемых операторов. Косая черта (/) требуется только при описании исполняемых операторов в продолжение после имен состояний.

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Допускает исключения графиков.

См. также

Руководство MAB jc_0731: Формат имени состояния
Руководство JMAAB jc_0731

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

Проверяйте идентификатор: mathworks.jmaab.jc_0501

Идентифицируйте отсутствующие линии пропусков между действием входа (en), во время действия (du) и выход из действия (ex) записи в состояниях. Идентифицируйте отсутствующие пропуски линий после точек с запятой (;) в операторах.

Описание

Запустите новую линию после entry, during, и exit записи, и после завершения оператора ";”.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Система координат `entry` (`en`) не в новой линии.	Добавьте новую линию после `entry`.
A `during` (`du`) не в новой линии.	Добавьте новую линию после `during`.
Система координат `exit` (`ex`) не в новой линии.	Добавьте новую линию после `exit`.
В одной линии обнаружено несколько операторов.	Добавить новую линию после каждого оператора.

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

Работает на библиотечных моделях.
Не анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Позволяет исключения блоков и графиков.

Проверка во время редактирования

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

См. также

Руководство MAB jc_0501: Формат записей в блоке State
Руководство JMAAB jc_0501

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

Проверяйте идентификатор: mathworks.jmaab.jc_0736

Проверьте равномерность отступа меток строки в состояниях Stateflow и переходах.

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a, b, c

Можно использовать входной параметр Number of single-byte spaces, чтобы установить порог на желаемое значение. По умолчанию значение устанавливается равным 1.

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0736_a: Проверяйте равномерность отступа языка действия в состояниях Stateflow	Одно или несколько состояний Stateflow в модели не имеют равномерного углубления.	Рассмотрите удаление пустых пространств перед типами состояния активности и добавление точного количества однобайтовых пространств, определенного в параметре входа перед исполняемыми операторами.
jc_0736_b: Проверяйте равномерность интервалов между типами действий перехода	Один или несколько переходов Stateflow в модели не имеют равномерного интервала.	Не добавляйте пустые пространства перед '[' условием перехода, '{' переходным действием и '/' событием в переходе.
jc_0736_c: Проверяйте равномерность интервалов переходных действий	Один или несколько переходов Stateflow в модели не имеют равномерного интервала.	Рассмотрите добавление точного количества однобайтовых пространств, как определено в параметре входа после '/' переходного действия.

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

Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Допускает исключения графиков.

См. также

Руководство MAB jc_0736: Равномерные отступы в блоках Stateflow
Руководство JMAAB jc_0736

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

Проверяйте идентификатор: mathworks.jmaab.jc_0739

Описание

Определяет состояния Stateflow с текстом, превышающим контур состояния.

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Эта проверка флагов состояний Stateflow в модели, которые имеют символ новой строки в тексте. Это происходит, даже если текст внутри состояния Stateflow содержится в контурах состояния.
Работает на библиотечных моделях.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0739: Описание текста внутри состояний
Руководство JMAAB jc_0739

Проверяйте размещение строки меток в переходах

Проверяйте идентификатор: mathworks.jmaab.jc_0770

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a1/a2

Примечание

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

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0770_a1: Метки переходов должны быть размещены вблизи точки источника перехода	Один или несколько переходов Stateflow не имеют строку метки, расположенную рядом с источником перехода.	Убедитесь, что метки Stateflow расположены вблизи точки источника перехода.
jc_0770_a2: Метки перехода должны быть размещены вблизи центра перехода	Один или несколько переходов Stateflow не имеют строки меток, размещенных вблизи центра перехода.	Убедитесь, что метки Stateflow расположены вблизи середины (центра) перехода.

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

Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0770: положение метки перехода
Руководство JMAAB jc_0770

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

Проверяйте идентификатор: mathworks.jmaab.jc_0771

Описание

Определяет комментарии в метках переходов, которые не расположены равномерно.

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a1/a2
JMAAB - a1/a2

Примечание

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

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

Sub ID руководства	Состояние	Рекомендуемое действие
jc_0771_a1: Комментарии в метках переходного периода должны быть равномерно расположены сверху	Один или несколько комментариев в метках переходов не расположены в верхней части.	Комментарии в метках перехода должны располагаться выше условий перехода, действий условия, действий перехода и событий Stateflow.
jc_0771_a2: Комментарии в метках переходного периода должны быть равномерно расположены внизу	Один или несколько комментариев в метках переходов не расположены внизу.	Комментарии в метках перехода должны располагаться ниже условий перехода, действий условия, действий перехода и событий Stateflow.

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

Работает на библиотечных моделях.
Поддерживает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0771: Комментарий позиции в метках перехода
Руководство JMAAB jc_0771

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

Проверяйте идентификатор: mathworks.jmaab.jc_0752

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

Состояние	Рекомендуемое действие
Действия условия в переходах Stateflow записываются рядом с круглыми скобками.	Запустите новую линию до и после круглых скобок для действий условия в переходах Stateflow.

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

Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0752: Действие условия в метке перехода
Руководство JMAAB jc_0752

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

Проверяйте идентификатор: mathworks.jmaab.jc_0774

Описание

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

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Один или несколько безусловных переходов без операторов действия не имеют комментариев.	Рассмотрите добавление комментария, объясняющего безусловный переход.

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

Работает на библиотечных моделях.
Поддерживает исключения блоков или графиков.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.

См. также

Руководство MAB jc_0774: Комментарии для сквозного перехода
Руководство JMAAB jc_0774

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

Проверяйте идентификатор: mathworks.maab.jc_0511

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

Описание

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

Для этой проверки требуется лицензия Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - Нет рекомендаций
JMAAB - a

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

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

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

Работает на библиотечных моделях.
Не анализирует содержимое библиотечно связанных блоков.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB jc_0511: Возвращайте значения из графической функции
Руководство JMAAB jc_0511
Переиспользуемые функции в графиках (Stateflow).

Проверяйте использование функции Simulink в Stateflow

Проверяйте идентификатор: mathworks.jmaab.na_0042

Описание

Проверяет использование функций Simulink в Stateflow.

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Входные параметры, переданные в функции Simulink, должны быть данными возможностей 'Local'.	Измените возможности данных чата на 'Local'.
Входные параметры, переданные в Simulink Functions, используют данные, отличные от смеси ' Входа' возможностей и 'Local' возможностей.	Входные параметры, переданные в Simulink Functions, должны быть смесью данных 'Local' возможностей и 'Входа' возможностей.
Функции Simulink не вызываются из нескольких местоположений на графике.	Убедитесь, что функции Simulink используются повторно.

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

Эта проверка не анализирует, вызываются ли функции Simulink каждый временной шаг.
Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB na_0042: Использование функций Simulink
Руководство JMAAB na_0042

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

Проверяйте идентификатор: mathworks.maab.na_0039

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

Описание

Проверяет функции Simulink в корневой диаграмме Stateflow и идентифицирует диаграммы Stateflow, которые вложены в эти функции.

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Функция Simulink имеет вложенную диаграмму Stateflow.	Рассмотрите изменение корневой диаграммы Stateflow, чтобы функция Simulink не содержала вложенную диаграмму Stateflow.

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

Не проверяет состояния Stateflow.
Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Позволяет подсветить синтаксис.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB na_0039: Ограничение функций Simulink в блоках Chart
Руководство JMAAB na_0039

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

Проверяйте идентификатор: mathworks.maab.himl_0003

Отобразите метрики сложности и кода для функций MATLAB. Сообщите о метрических нарушениях.

Описание

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

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Эта проверка Model Advisor не применима к руководствам по моделированию JMAAB.

Эта проверка не включает вложенные проверки

NA-MAAB - a
JMAAB - Не поддерживается

Чтобы задать пороги сложности, используйте Model Advisor Configuration Editor.

Откройте Редактор конфигурации модели и найдите идентификатор проверки himl_0003.
В разделе Input Parameters выберите Check .m files referenced in the model, чтобы включать файлы с .m расширение в анализе.
Задайте эти метрики сложности:
- Maximum effective lines of code per function - Обеспечивайте максимальную эффективность строк кода на функцию. Эффективные линии не включают пустые линии, строки с комментариями или линии с функцией end ключевое слово.
- Minimum density of comments - Обеспечить минимальную плотность замечаний. Плотность - отношение строк с комментариями к общим строкам кода.
- Maximum cyclomatic complexity per function - Обеспечивает максимальную цикломатическую сложность на функцию. Цикломатическая сложность - это количество линейно независимых путей через исходный код.
Нажмите Apply и сохраните строение.

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

Состояние

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

Функция MATLAB нарушает входные параметры сложности.

Для функции MATLAB:

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

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

Работает на библиотечных моделях.
Не анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB na_0016: Исходные линии функций MATLAB
Руководство MAB na_0018: Количество вложенных операторов if/else и case

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

Проверяйте идентификатор: mathworks.maab.na_0024

Проверьте наличие глобальных переменных в коде MATLAB.

Описание

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

Код MATLAB в Блоках MATLAB function
Функции MATLAB определены в диаграммах Stateflow
Называемые функции MATLAB

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние

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

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

Код MATLAB в Блоках MATLAB function
Функции MATLAB определены в диаграммах Stateflow
Называемые функции MATLAB

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

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

Работает на библиотечных моделях.
Не анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Не допускает исключения блоков или графиков.

См. также

Руководство MAB na_0024: Разделяемые данные в функциях MATLAB
Руководство JMAAB na_0024

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

Проверяйте идентификатор: mathworks.maab.na_0031

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

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

См. также

Руководство MAB na_0031: Определение перечисляемого значения по умолчанию
Руководство JMAAB na_0031

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

Проверяйте идентификатор: mathworks.maab.na_0034

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

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние Рекомендуемое действие

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

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

Если применимо, используя Блок MATLAB function Редактора, внесите следующие изменения в Ports and Данных Manager:

Измените Complexity из Inherited на On или Off.
Измените Type из Inherit: Same as Simulink к явному типу.
Измените Size из —1 (Inherited) к явному размеру.

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

Работает на библиотечных моделях.
Не анализирует содержимое библиотечно связанных блоков.
Анализирует содержимое во всех маскированных подсистемах.
Позволяет исключения блоков и графиков.

См. также

Руководство MAB na_0034: Настройки ввода/вывода блока MATLAB Function
Руководство JMAAB na_0034

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

Проверяйте идентификатор: mathworks.maab.na_0017

Описание

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

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Эта проверка Model Advisor не применима к руководствам по моделированию JMAAB.

Эта проверка не включает вложенные проверки

NA-MAAB - a
JMAAB - Не поддерживается

Можно настроить порог уровней вызова функции с помощью параметра входа Function Call Level из Model Advisor Configuration Editor.

Откройте Редактор конфигурации модели и найдите идентификатор проверки na_0017.
Введите требуемый уровень вызова функции для установки в поле Function Call Level.
По умолчанию для этого параметра задано значение 3.
Нажмите Apply и сохраните строение.

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

Состояние	Рекомендуемое действие
Количество вызовов функций в блоках MATLAB Function больше установленного порога. по умолчанию заданный порог равен трем. Порог набора может быть изменен с помощью входного параметра, Function Call Level в редакторе конфигурации.	Уменьшите количество вызовов функций из блоков MATLAB Function, чтобы они были меньше установленного порога.

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

Рекурсивные вызовы функций учитываются только один раз.
Встроенные методы классов не анализируются.
Работает на библиотечных моделях.
Позволяет исключения блоков и графиков.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.

См. также

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

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

Проверяйте идентификатор: mathworks.maab.na_0021

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

Описание

Определяет векторы символов, которые используются в MATLAB Function блоках.

Функции MATLAB хранят строки как символьные массивы. Из-за отсутствия динамического выделения памяти массивы не могут быть изменены в размере, чтобы иметь строка значение разной длины. Строки не являются поддерживаемым типом данных в Simulink, поэтому MATLAB Function блоки не могут передавать строковые данные вне блока.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
MATLAB Function блок содержит вектор символов.	Рассмотрите использование перечислений вместо векторов символов.

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

Не помечает строки в MATLAB
Не помечает векторы символов, которые жестко закодированы в определении класса.
Работает на библиотечных моделях.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.

См. также

Руководство MAB na_0021: Строки в функциях MATLAB
Руководство JMAAB na_0021

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

Проверяйте идентификатор: mathworks.maab.na_0022

Проверьте использование непостоянных переменных в операторах Switch/Case.

Описание

В сгенерированном коде входы блока MATLAB Function передаются как функциональные аргументы. Эта проверка оценивает операторы Switch/Case в сгенерированном коде, чтобы определить, используются ли непостоянные значения в аргументе Case.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

Эта проверка Model Advisor не применима к руководствам по моделированию JMAAB.

Эта проверка не включает вложенные проверки

NA-MAAB - a
JMAAB - Не поддерживается

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

Состояние	Рекомендуемое действие
Непостоянные переменные используются в операторе Switch/Case.	Рассмотрите определение переменного входа как константы.

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

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

См. также

Руководство MAB: na_0022: Рекомендуемые шаблоны для операторов Switch/Case

Проверьте использование символов комментариев в стиле С

Проверяйте идентификатор: mathworks.jmaab.jc_0801

Описание

Определяет использование комментариев C-стиля (/* и */) в файлах CGT и объектах MPT.

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

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

Состояние	Рекомендуемое действие
Одни или несколько сущностей используют комментарии в стиле С.	Рассмотрите удаление комментариев к стилю C в файлах CGT и объектах MPT.

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

Не работает на библиотечных моделях.
Не анализирует содержимое библиотечно связанных блоков.
Не анализирует содержимое маскированных подсистем.
Не допускает исключения блоков или графиков.

См. также

Руководство MAB jc_0801: Запрещенное использование символов/* и */с комментариями
Руководство JMAAB jc_0801

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

Проверяйте идентификатор: mathworks.jmaab.jc_0804

Описание

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

Для этой проверки требуются лицензии Simulink Check и Stateflow.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Не работает на библиотечных моделях.
Допускает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным all.

См. также

jc_0804: Запрещается использование рекурсивных вызовов с графическими функциями
Руководство JMAAB jc_0804

Проверяйте на деление на нуль в Simulink

Проверяйте идентификатор: mathworks.jmaab.jc_0794

Описание

Определяет операции деления в Simulink, которые приводят к ошибке деления на ноль.

Для проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - a

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

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

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

Не работает на библиотечных моделях.
Допускает исключения блоков или графиков.
Анализирует содержимое связанных с библиотекой блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным graphical.

См. также

Руководство MAB jc_0794: Деление в Simulink
Руководство JMAAB jc_0794

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

Проверяйте идентификатор: mathworks.jmaab.na_0016

Описание

Идентифицируйте функции MATLAB с большим количеством эффективных строк кода.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - Не поддерживается

В разделе Input Parameters выберите Check external .m files referenced in the model, чтобы включать файлы с .m расширение в анализе.

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

Состояние	Рекомендуемое действие
Одна или несколько функций MATLAB имеют много эффективных строк кода.	Ремодель, чтобы уменьшить количество эффективных строк кода на функцию MATLAB.

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

Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным all.
Допускает исключения блоков или графиков.

См. также

Руководство MAB na_0016: Исходные линии функций MATLAB

Проверяйте вложенные условия в функциях MATLAB

Проверяйте идентификатор: mathworks.jmaab.na_0018

Описание

Проверяет количество входов/выходов в Подсистему Вариантов.

Для этой проверки требуется лицензия Simulink Check.

Проверяйте параметризацию

NA-MAAB - a
JMAAB - Не поддерживается

В разделе Input Parameters выберите Check external .m files referenced in the model, чтобы включать файлы с .m расширение в анализе.

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

Состояние	Рекомендуемое действие
Найдена одна или несколько функций MATLAB с глубоко вложенными операторами if/else и case.	Remodel, чтобы уменьшить количество глубоко вложенных условных операторов.

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

Работает на библиотечных моделях.
Анализирует содержимое библиотечно связанных блоков. По умолчанию значение Follow links входного параметра устанавливается равным on.
Анализирует содержимое маскированных подсистем. По умолчанию значение Look under masks входного параметра устанавливается равным all.
Допускает исключения блоков или графиков.

См. также

Руководство MAB na_0018: Количество вложенных операторов if/else и case

Документация