Можно использовать Model Advisor, чтобы проверить податливость модели с Консультативным советом MathWorks® (MAB) инструкции (Simulink).
Лицензия Simulink® Check™ требуется, чтобы выполнять эти проверки MAB. Где применимо, дополнительные лицензионные требования идентифицированы в специфичной для проверки документации.
Чтобы получить доступ к регистрациям Model Advisor, смотрите Доступ к MAB и Проверкам Model Advisor JMAAB. Чтобы осуществить проверки Model Advisor, смотрите Осуществленные Проверки Model Advisor и Результаты Анализа.
При выполнении проверок при помощи папки By Task проверки MAB классифицируются в следующие группы:
Проверки, которые проверяют податливость модели с инструкциями по соглашениям о присвоении имен MAB.
Для получения дополнительной информации см. Руководства по моделированию и Проверки Model Advisor на MAB и JMAAB.
Проверки, которые проверяют податливость модели с инструкциями MAB для параметров конфигурации Simulink, схематически изображают внешний вид, сигналы, непротиворечивость блока, условные отношения подсистемы, блоки операции и другие разные блоки.
Для получения дополнительной информации см. Руководства по моделированию и Проверки Model Advisor на MAB и JMAAB.
Проверки, которые проверяют податливость модели с инструкциями MAB для блоков/данных/событий Stateflow®, схемами, условным переходом/Действием, помечают описания и другие разные компоненты.
Для получения дополнительной информации см. Руководства по моделированию и Проверки Model Advisor на MAB и JMAAB.
Проверки, которые проверяют податливость модели с инструкциями MAB для функций MATLAB.
Для получения дополнительной информации см. Руководства по моделированию и Проверки Model Advisor на MAB и JMAAB.
Можно использовать Model Advisor, чтобы проверить податливость модели с Консультативным советом MATLAB® Automotive Японии (JMAAB) инструкции.
Лицензия Simulink Check требуется, чтобы выполнять эти проверки JMAAB. Где применимо, дополнительные лицензионные требования идентифицированы в специфичной для проверки документации.
Чтобы получить доступ к регистрациям Model Advisor, смотрите Доступ к MAB и Проверкам Model Advisor JMAAB. Чтобы осуществить проверки Model Advisor, смотрите Осуществленные Проверки Model Advisor и Результаты Анализа.
При выполнении проверок при помощи папки By Task проверки JMAAB классифицируются в следующие группы:
Проверки связаны с соглашениями о присвоении имен.
Для получения дополнительной информации см. Руководства по моделированию и Проверки Model Advisor на MAB и JMAAB.
Проверки, которые проверяют податливость модели с инструкциями по архитектуре модели JMAAB.
Для получения дополнительной информации см. Руководства по моделированию и Проверки Model Advisor на MAB и JMAAB.
Проверки, которые проверяют податливость модели с инструкциями по параметрам конфигурации JMAAB.
Для получения дополнительной информации см. Руководства по моделированию и Проверки Model Advisor на MAB и JMAAB.
Проверки, которые проверяют податливость модели с инструкциями JMAAB для блоков Simulink и компонентов.
Для получения дополнительной информации см. Руководства по моделированию и Проверки Model Advisor на MAB и JMAAB.
Проверки, которые проверяют податливость модели с инструкциями JMAAB для диаграмм Stateflow и компонентов.
Для получения дополнительной информации см. Руководства по моделированию и Проверки Model Advisor на MAB и JMAAB.
Проверки, которые проверяют податливость модели с инструкциями JMAAB для функций MATLAB.
Для получения дополнительной информации см. Руководства по моделированию и Проверки Model Advisor на MAB и JMAAB.
ID проверки: mathworks.jmaab.ar_0001
Погода проверок имена файлов соответствует стандартам инструкции.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют подыдентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, b, c, d, e, f
JMAAB — a, b, c, d, e, f
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| ar_0001_a: Символы допускали имена файлов | Один или несколько файлов имеют недопустимые имена. | Используйте алфавитно-цифровые символы и символы нижнего подчеркивания в именах файлов. |
| ar_0001_b: Номер вначале | Один или несколько файлов имеют числа в начале имени файла. | Используйте буквенные символы в начале имен файлов. |
| ar_0001_c: Подчеркните вначале | Один или несколько файлов имеют символы нижнего подчеркивания в начале имени файла. | Используйте буквенные символы в начале имен файлов. |
| ar_0001_d: Подчеркните в конце | Один или несколько файлов имеют символы нижнего подчеркивания в конце имени файла. | Не заканчивайте имена файлов символами нижнего подчеркивания. |
| ar_0001_e: Последовательные символы нижнего подчеркивания | Один или несколько файлов имеют последовательные символы нижнего подчеркивания в имени файла. | Не используйте последовательные символы нижнего подчеркивания в именах файлов. |
| ar_0001_f: Одно Зарезервированное слово MATLAB | Один или несколько файлов зарезервировали слова MATLAB как имя файла. | Не используйте зарезервировал слово MATLAB как имя файла. |
| ar_0001_g: Идентичные имена файлов на пути | Один или несколько файлов имеют имена, которые идентичны файлам, существующим в пути MATLAB. | Используйте уникальные имена файлов. |
Эта проверка может быть сконфигурирована, чтобы работать на скрытых папках путем выбора входных скрытых папок Check параметра в Model Advisor Configuration Editor.
Эта проверка может быть сконфигурирована, чтобы проверять имена файлов с определенными расширениями от входа parameterFile Расширение в Model Advisor Configuration Editor.
Проверка не отмечает конфликты с ключевыми словами C++.
Работает на моделях библиотеки.
Инструкция ar_0001 JMAAB
ID проверки: mathworks.jmaab.ar_0002
Имена папок проверок, чтобы соответствовать стандартам инструкции.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, b, c, d, e, f
JMAAB — a, b, c, d, e, f
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| ar_0002_a: Символы допускали имена папок | Одна или несколько папок имеют недопустимые имена. | Используйте только алфавитно-цифровые символы и символы нижнего подчеркивания на имена папок. |
| ar_0002_b: Номер вначале | Одна или несколько папок имеют числа в начале имени папки. | Используйте буквенные символы в начале имен папок. |
| ar_0002_c: Подчеркните вначале | Одна или несколько папок имеют символы нижнего подчеркивания в начале имени папки. | Используйте буквенные символы в начале имен папок. |
| ar_0002_d: Подчеркните в конце | Одна или несколько папок имеют символы нижнего подчеркивания в конце имени папки. | Не заканчивайте имена папок символами нижнего подчеркивания. |
| ar_0002_e: Последовательные символы нижнего подчеркивания | Одна или несколько папок имеют последовательные символы нижнего подчеркивания на имя папки. | Не используйте последовательные символы нижнего подчеркивания на имена папок. |
| ar_0002_f: Одно Зарезервированное слово MATLAB | Одна или несколько папок зарезервировали слова MATLAB как имя папки. | Не используйте зарезервировал слово MATLAB как имя папки. |
Эта проверка может быть сконфигурирована, чтобы проверять имена файлов с определенными расширениями от входа parameterFile Расширение в Model Advisor Configuration Editor.
Эта проверка может быть сконфигурирована, чтобы работать на скрытых папках путем выбора входных скрытых папок Check параметра в Model Advisor Configuration Editor.
Работает на моделях библиотеки.
Эта проверка также работает на вложенных sub директориях.
Инструкция ar_0002 JMAAB
ID проверки: mathworks.jmaab.jc_0241
Проверки, если длина имени файла модели придерживается максимального ограничения длины 63 символов.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Имя файла модели не придерживается ограничения длины 63 символов. | Измените имя файла модели так, чтобы длина имени файла была не больше чем 63 символами. |
Инструкция jc_0241 MAB: ограничение Длины для имен файлов модели
Инструкция jc_0241 JMAAB
ID проверки: mathworks.jmaab.jc_0242
Проверяет длину имен папок на каждом уровне модели path, чтобы видеть, придерживаются ли все папки в пути максимального ограничения длины 63 символов.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Длина имен папок на каждом уровне модели path не придерживается ограничения длины 63 символов. | Измените имена папок, которые не соответствуют ограничению длины 63 символов в пути. |
Инструкция jc_0242 JMAAB
ID проверки: mathworks.jmaab.jc_0201
Идентифицирует имена подсистемы с неправильными символами.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, b, c, d, e, f
JMAAB — a, b, c, d, e, f
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0201_a: Символы допускали имена подсистемы | Одна или несколько подсистем имеют недопустимые имена. | Используйте только алфавитно-цифровые символы и символы нижнего подчеркивания на имена подсистемы. |
| jc_0201_b: Номер вначале | Одна или несколько подсистем имеют числа в начале имени подсистемы. | Используйте буквенные символы в начале имен подсистемы. |
| jc_0201_c: Подчеркните вначале | Одна или несколько подсистем имеют символы нижнего подчеркивания в начале имени подсистемы. | Используйте буквенные символы в начале имен подсистемы. |
| jc_0201_d: Подчеркните в конце | Одна или несколько подсистем имеют символы нижнего подчеркивания в конце имени подсистемы. | Не заканчивайте имена подсистемы символами нижнего подчеркивания. |
| jc_0201_e: Последовательные символы нижнего подчеркивания | Одна или несколько подсистем имеют последовательные символы нижнего подчеркивания на имя подсистемы. | Не используйте последовательные символы нижнего подчеркивания на имена подсистемы. |
| jc_0201_f: Одно Зарезервированное слово MATLAB | Одна или несколько подсистем зарезервировали слова MATLAB как имя подсистемы. | Не используйте зарезервировал слово MATLAB как имя подсистемы. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Исключения поддержек блоков или графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция jc_0201 MAB: Применимые символы для имен подсистемы
Инструкция jc_0201 JMAAB
ID проверки: mathworks.jmaab.jc_0231
Идентифицирует имена блока с неправильными символами.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, b, c, d, e, f
JMAAB — a, b, c, d, e, f
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0231_a: Символы допускали имена блока | Один или несколько блоков в модели имеют недопустимые имена. | Используйте только алфавитно-цифровые символы и символы нижнего подчеркивания в имени блока. |
| jc_0231_b: Номер вначале | Один или несколько блоков в модели имеют числа в начале имени блока. | Используйте буквенные символы в начале имени блока. |
| jc_0231_c: Подчеркните вначале | Один или несколько блоков в модели имеют символы нижнего подчеркивания в начале имени блока. | Используйте буквенные символы в начале имени блока. |
| jc_0231_d: Подчеркните в конце | Один или несколько блоков в модели имеют символы нижнего подчеркивания в конце имени блока. | Не заканчивайте имена блока символами нижнего подчеркивания. |
| jc_0231_e: Последовательные символы нижнего подчеркивания | Один или несколько блоков в модели имеют последовательные символы нижнего подчеркивания в имени блока. | Не используйте последовательные символы нижнего подчеркивания в имени блока. |
| jc_0231_f: Одно зарезервированное слово MATLAB | Один или несколько блоков в использовании модели зарезервировали слова MATLAB как имя блока. | Не используйте зарезервировал слово MATLAB как имя блока. |
Выбор поддержек Инструкции идентификаторы Sub.
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Исключения поддержек блоков или графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция jc_0231 JMAAB
ID проверки: mathworks.jmaab.jc_0211
Идентифицирует имена блока Inport или Выходного порта с неправильными символами.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, b, c, d, e, f
JMAAB — a, b, c, d, e, f
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| 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.
Исключения поддержек блоков или графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция jc_0211 MAB: Применимые символы для блоков Inport и блока Outport
Инструкция jc_0211 JMAAB
ID проверки: mathworks.jmaab.jc_0243
Проверки, если длина имен подсистемы в модели придерживается максимального ограничения длины 63 символов.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Имена подсистемы в модели не придерживаются ограничения длины 63 символов. | Измените имена блока подсистемы так, чтобы длина имени подсистемы была не больше чем 63 символами. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция jc_0243 MAB: ограничение Длины для имен подсистемы
Инструкция jc_0243 JMAAB
ID проверки: mathworks.jmaab.jc_0247
Проверки, если длина имен блока в модели придерживается максимального ограничения длины 63 символов.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Имена блока в модели не придерживаются ограничения длины 63 символов. | Измените имена блока так, чтобы длина имен блока была не больше чем 63 символами. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция jc_0247 JMAAB
ID проверки: mathworks.jmaab.jc_0244
Проверки, если продолжительность импорта и имен выходного порта придерживается максимального ограничения длины 63 символов.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Имена блока Inport или выходного порта в Модели не придерживаются ограничения длины 63 символов. | Измените импорт или имена блока выходного порта так, чтобы длина имени блока была не больше чем 63 символами. |
Работает на моделях библиотеки.
Не анализирует содержимое соединенных библиотекой блоков.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция jc_0244 MAB: ограничение Длины для имен Inport и Outport
Инструкция jc_0244 JMAAB
ID проверки: mathworks.jmaab.jc_0222
Проверяет сигнал и имена шины в модели.
Эта проверка требует лицензии Simulink Check.
Чтобы настроить выражения, которые запрещаются на названия параметра, используйте Model Advisor Configuration Editor.
Откройте Редактора конфигурации Модели и ищите ID проверки jc_0232.
Под Input Parameters выберите Custom из списка Standards.
В Regular expression for prohibited parameter names введите выражение, которое запрещается.
Нажмите Apply и сохраните настройку.
| Условие | Рекомендуемое действие |
|---|---|
| Сигнал или имена шины в модели имеют недопустимые имена. | Используйте только алфавитно-цифровые символы и символы нижнего подчеркивания на имена сигнала и соедините шиной имена. |
| Сигнал или имена шины в модели имеют числа в начале имени. | Используйте буквенные символы в начале сигнала или соедините шиной имена. |
| Сигнал или имена шины в модели имеют символы нижнего подчеркивания в начале имени. | Используйте буквенные символы в начале сигнала или соедините шиной имена. |
| Сигнал или имена шины в модели имеют символы нижнего подчеркивания в конце сигнала или соединяют шиной имя. | Не заканчивайте сигнал или соединяйте шиной имена с символами нижнего подчеркивания. |
| Сигнал или имена шины в модели имеют последовательные символы нижнего подчеркивания на имя. | Не используйте последовательные символы нижнего подчеркивания в сигнале или соединяйте шиной имена. |
| Сигнал или имена шины в модели зарезервировали слова MATLAB как имя. | Не используйте зарезервировал слово MATLAB как имена шины или сигнал. |
Работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Инструкция jc_0222 MAB: Применимые символы для сигнала и имен шины
Инструкция jc_0222 JMAAB
ID проверки: mathworks.jmaab.jc_0232
Проверяет названия параметра в модель.
Эта проверка требует лицензии Simulink Check.
Чтобы настроить выражения, которые запрещаются на названия параметра, используйте Model Advisor Configuration Editor.
Откройте Редактора конфигурации Модели и ищите ID проверки jc_0232.
Под Input Parameters выберите Custom из списка Standards.
В Regular expression for prohibited parameter names введите выражение, которое запрещается.
Нажмите Apply и сохраните настройку.
| Условие | Рекомендуемое действие |
|---|---|
| Название параметра содержит запрещенные символы. | Используйте только алфавитно-цифровые символы и символы нижнего подчеркивания на названия параметра. |
| Название параметра запускается с номера. | Используйте буквенные символы в начале названий параметра. |
| Название параметра запускается с подчеркивания (" _ "). | Используйте буквенные символы в начале названий параметра. |
| Название параметра заканчивается подчеркиванием (" _ "). | Не заканчивайте названия параметра символами нижнего подчеркивания. |
| Название параметра имеет последовательные символы нижнего подчеркивания. | Не используйте последовательные символы нижнего подчеркивания на названия параметра. |
| Названием параметра является зарезервированный MATLAB слова. | Не используйте зарезервировал слово MATLAB как названия параметра. |
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех файлах маскированных.
Не поддерживает исключения блоков или графиков.
Инструкция jc_0232 MAB: Применимые символы для названий параметра
Инструкция jc_0232 JMAAB
ID проверки: mathworks.jmaab.jc_0245
Проверки, если длина сигнала или имен шины придерживается максимального ограничения длины 63 символов.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Имя сигнала или шины в модели не придерживается ограничения длины 63 символов. | Измените сигнал или имена шины в модели так, чтобы длина имен была не больше чем 63 символами. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция jc_0245 MAB: ограничение Длины для сигнала и имен шины
Инструкция jc_0245 JMAAB
ID проверки: mathworks.jmaab.jc_0246
Проверки, если длина названий параметра в модели придерживается максимального ограничения длины 63 символов.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Названия параметра в модели не придерживаются ограничения длины 63 символов. | Измените названия параметра так, чтобы длина названий параметра была не больше чем 63 символами. |
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех файлах маскированных.
Не поддерживает исключения блоков или графиков.
Инструкция jc_0246 MAB: ограничение Длины для названия параметра
Инструкция jc_0246 JMAAB
ID проверки: mathworks.jmaab.jc_0795
Проверки, если имена данных Stateflow в модели используют приемлемые символы.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a, b, c, d
JMAAB — a, b, c, d
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| 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 имена данных с помощью подчеркивания в начале имени. (ID Sub: a
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция jc_0795 MAB: Применимые символы для имен данных Stateflow
Инструкция jc_0795 JMAAB
ID проверки: mathworks.jmaab.jc_0796
Проверки, если длина имен данных Stateflow в пределе 63 символов.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Длина имен данных Stateflow не в пределе 63 символов. | Рассмотрите использование другого имени для каждого имени данных Stateflow. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция jc_0796 MAB: ограничение Длины для имен данных Stateflow
Инструкция jc_0796 JMAAB
ID проверки: mathworks.jmaab.jc_0791
Проверки на дублирующееся определение имен данных. Имена данных Simulink должны быть уникальными через базовое рабочее пространство, рабочее пространство модели и словарь данных.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a, B, C
JMAAB — a, B, C
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0791_a: Проверяйте на повторные имена данных через базовое рабочее пространство и рабочее пространство модели | Имена данных Simulink не уникальны через базовое рабочее пространство и рабочее пространство модели. | Переименуйте повторное имя данных или в базовом рабочем пространстве или в рабочем пространстве модели. |
| jc_0791_b: Проверяйте на повторные имена данных через словарь данных и базовое рабочее пространство | Имена данных Simulink не уникальны через словарь данных и базовое рабочее пространство. | Переименуйте повторное имя данных или в базовом рабочем пространстве или в словаре данных. |
| jc_0791_c: Проверяйте на повторные имена данных через словарь данных и рабочее пространство модели | Имена данных Simulink не уникальны через словарь данных и рабочее пространство модели. | Переименуйте повторное имя данных или в рабочем пространстве модели или в словаре данных. |
Работает на моделях библиотеки.
Не позволяет исключения блоков и графиков.
Инструкция jc_0791 MAB: Дублирующиеся данные называют определения
Инструкция jc_0791 JMAAB
ID проверки: mathworks.jmaab.jc_0792
Идентифицирует неиспользованные данные в словаре данных и рабочем пространстве модели.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a, B
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0792_a: Проверяйте на неиспользованные данные в Словаре Данных | Одна или несколько переменных данных в словаре данных не использованы. | Рассмотрите удаление неиспользованных переменных данных. |
| jc_0792_b: Проверяйте на неиспользованные данные в Рабочем пространстве модели | Одна или несколько переменных данных в рабочем пространстве модели не использованы. | Рассмотрите удаление неиспользованных переменных данных. |
Не работает на моделях библиотеки.
Не позволяет исключения блоков или графиков.
Инструкция jc_0792 JMAAB
ID проверки: mathworks.jmaab.jc_0700
Проверяет состояние параметра Unused data, events, messages and functions.
Идентифицирует, устанавливается ли параметр Unused data, events, messages and functions на None. Неиспользованные данные и события не могут существовать в блоке Stateflow.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| В блоке Stateflow параметр Unused data, events, messages and functions установлен в None. | Убедитесь, что установили параметр или на Warning или на Error. |
Работает на моделях библиотеки.
Инструкция jc_0700 MAB: Неиспользованные данные в блоке Stateflow
Инструкция jc_0700 JMAAB
ID проверки: mathworks.maab.na_0019
Проверяйте на использование зарезервированных слов на имена основной переменной MATLAB Function.
Идентифицирует имена переменных в блоках MATLAB Function, которые конфликтуют с зарезервированным C и ключевыми словами C++. Для полного списка зарезервированных слов смотрите Зарезервированные слова (Simulink Coder).
Избегайте использования имен переменных, которые конфликтуют с функциями MATLAB, таким as conv.
Эта проверка является нечувствительной к регистру. Например, проверка отмечает ключевые слова trueTRUETRUE, и tRue.
Эта проверка требует лицензии Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Имя переменной конфликтует с зарезервированным словом. | Рассмотрите использование различного имени переменной, которое не конфликтует с зарезервированными словами. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
ID проверки: mathworks.maab.jc_0011
Проверяйте параметр оптимизации на булевы типы данных.
Оптимизация для булевых типов данных требуется.
Эта проверка требует лицензии Simulink Check.
Необходимая как условие инструкция MAB для этой проверки является na_0002: Соответствующее использование основных логических и числовых операций.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Параметр конфигурации для Implement logic signals as boolean data (vs. double) не установлен. | Установите флажок Implement logic signals as boolean data (vs. double) в диалоговом окне Configuration Parameters. |
Не работает на моделях библиотеки.
Не позволяет исключения блоков или графиков.
Инструкция jc_0011 MAB: параметры Оптимизации для булевых типов данных
Инструкция jc_0011 JMAAB
ID проверки: mathworks.jmaab.jc_0642
Идентифицирует блоки, параметр которых Integer Rounding Mode установлен в Simplest, когда параметр конфигурации Signed Integer Division Rounds установлен в Undefined.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
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.
Позволяет исключения блоков и графиков.
Инструкция jc_0642 MAB: Целочисленная установка режима округления
Инструкция jc_0642 JMAAB
ID проверки: mathworks.jmaab.jc_0806
Идентифицирует состояние параметров конфигурации настроек диагностики валидности данных, которые обнаруживают неправильные результаты вычисления.
Эта проверка требует лицензии Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Деление параметра конфигурации модели сингулярной матрицей (CheckMatrixSingularityMsg) не установлено в error. | Установите входное значение параметров на error. |
| Выходной (SignalInfNanChecking) блока Inf или NaN параметра конфигурации модели не установлен в error. | Установите входное значение параметров на error. |
| Параметр конфигурации модели Переносится на переполнении (IntegerOverflowMsg), не установлен в error. | Установите входное значение параметров на error. |
| Параметр конфигурации модели Насыщает на переполнении (IntegerSaturationMsg), не установлен в error. | Установите входное значение параметров на error. |
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Не позволяет исключения блоков или графиков.
Инструкция jc_0806 MAB: Обнаружение неправильных результатов вычисления
Инструкция jc_0806 JMAAB
ID проверки: mathworks.maab.jc_0021
Проверяйте диагностические настройки параметра конфигурации модели.
Model Advisor проверяет, что эти параметры конфигурации диагностики установлены, как задано в разделе Results и Recommended Actions ниже:
Algebraic loop
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
Invalid function-call connection
Эта проверка требует лицензии Simulink Check.
Эта проверка Model Advisor не применима для руководств по моделированию JMAAB.
Эта проверка не включает подпроверки.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и 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. В противном случае результатом является непреднамеренный интерфейс в сгенерированном коде. |
Не работает на моделях библиотеки.
Не позволяет исключения блоков или графиков.
ID проверки: mathworks.maab.na_0004
Проверяйте атрибуты установки внешнего вида модели.
Настройки внешнего вида модели требуются, чтобы соответствовать инструкциям, когда модель выпущена.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
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> Viewers. |
| Testpoint Indicators очищен. | Выберите Debug> Information Overlays> Log & Testpoint. |
| Port Data Types выбран. | Очистите Debug> Information Overlays> Port Data Type. |
| Storage Class выбран. | Очистите Debug> Information Overlays> Storage Class. |
| Signal Dimensions выбран. | Очистите Debug> Information Overlays> Signal Dimensions. |
| Execution Context Indicator выбран. | Очистите Отладку> информационные Оверлейные программы> Области значений Данных сигнала. |
| 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
ID проверки: mathworks.jmaab.db_0043
Проверяйте на различие в размерах шрифта и размерах шрифта.
За исключением свободных текстовых аннотаций в модели, текстовых элементах, таких как имена блока, аннотации блока и метки сигнала, должны иметь тот же стиль шрифта и размер шрифта.
Доступный с Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, b, c, d
JMAAB — a, b, c, d
Чтобы настроить текстовые элементы в вашей модели, используйте Model Advisor Configuration Editor.
Откройте Редактора конфигурации Модели и ищите ID проверки db_0043.
Используйте списки под Input Parameters, чтобы настроить элементы шрифта в ваших моделях Simulink и диаграммах Stateflow. Обратите внимание на то, что, когда вы выбираете Default, проверка отмечает различные шрифты/стили/размер, которые используются в вашей модели.
Нажмите Apply и сохраните настройку.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| 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 изменяет размеры шрифта и размеры шрифта текстовых элементов в модели к обычно используемым шрифтам, размеры шрифта или стили шрифта.
Инструкция db_0043 JMAAB
Задайте шрифты в моделях (Simulink)
ID проверки: mathworks.maab.db_0142
Проверяйте, появляются ли имена блока ниже блоков.
Если показано, имя блока должно появиться ниже блока.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Блоки имеют имена, которые не появляются ниже блоков. | Определите имя блока, чтобы появиться ниже блоков. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция db_0142 MAB: Положение имен блока в документации Simulink.
Инструкция db_0142 JMAAB
ID проверки: mathworks.maab.jc_0061
Проверяйте атрибуты дисплея подсистемы и имен блока.
Отобразите имя блока или подсистемы, когда это предоставляет описание, которое используется, чтобы идентифицировать его функцию.
В противном случае, когда функция блока легко идентифицирована от его общего вида, не отображайте имя. Такие блоки включают:
ModelReference
Logic
Trigonometry
Sum
Merge
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
Чтобы настроить блоки и маски, которые проверяются во время анализа, используйте Model Advisor Configuration Editor.
Откройте Редактора конфигурации Модели и ищите ID проверки 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.
Позволяет исключения блоков и графиков.
Инструкция jc_0061 JMAAB
ID проверки: mathworks.maab.db_0140
Идентифицируйте блоки, которые используют значения параметров блоков не по умолчанию, которые не отображены в диаграмме модели.
Диаграммы модели должны отобразить параметры блоков, которые имеют значения кроме значений по умолчанию. Один способ отобразить эту информацию при помощи вкладки Block Annotation в диалоговом окне Block Properties.
Для списка значений по умолчанию параметров блоков смотрите Специфичные для блока Параметры (Simulink)
Если вы используете add_block функция с 'built-in/ как путь исходного блока для Simulink встроенные блоки, некоторые значения параметров по умолчанию некоторых блоков отличаются от значений по умолчанию, которые вы получаете, если вы добавили те блоки в интерактивном режиме при помощи Simulink.blocktype'
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
Чтобы настроить параметры блоков не по умолчанию для этой проверки, используйте Model Advisor Configuration Editor.
Откройте Редактора конфигурации Модели и ищите ID проверки db_0140.
Под Input Parameters выберите Custom из списка Standards.
Используйте таблицу List of Block Types, чтобы удалить или добавить параметр для блока.
Нажмите Apply и сохраните настройку.
| Условие | Рекомендуемое действие |
|---|---|
| Параметры блоков, которые имеют значения кроме значений по умолчанию и значения, не находятся в отображении модели. | В диалоговом окне Block Properties используйте вкладку Block Annotation, чтобы добавить аннотации параметров блоков. |
Можно использовать кнопку Add nondefault values into block annotation, чтобы добавить аннотацию в отображение блока, которое задает параметры блоков не по умолчанию, которые были отмечены в анализе. Повторно выполните проверку; блок больше не отмечается.
Только настраиваемый для параметров блоков в IntrinsicDialogParameters. Смотрите общие свойства блока (Simulink)
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения блоков и графиков.
Инструкция JMAAB: db_0140
ID проверки: mathworks.jmaab.jc_0603
Идентифицирует слои в модели, которые имеют противоречивое форматирование описания для следующих элементов модели:
Аннотации
Блок Model Info
Блок DocBlock
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a, B
Можно выбрать тип блока описания и сконфигурировать теги описания от параметров входа Description Block Type и Description Tags . Формат для Description Tags должен иметь строковый тип с разделенными тегами запятой.
По умолчанию Description Block Type установлен в Annotation, и параметром Description Tags является Input:,Description:,Output:.
Например, рассматривая значения по умолчанию (Вход: Описание: вывод :, каждый слой в модели должен иметь формат описания как следующее:
Входной параметр: <вводят информацию>
Описание: <описание модели>
Вывод : <выходная информация>
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0603_a: Проверяйте на описание слоя на каждом слое | Один или несколько слоев в модели не имеют описаний модели. | Добавьте описания модели на всех слоях в модели. |
| jc_0603_b: Проверяйте на сопоставимое описание слоя | Один или несколько слоев в модели не имеют сопоставимого форматирования описания модели. | Убедитесь, что имели сопоставимый формат для описаний модели на всех слоях в модели. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Исключения поддержек блоков или графиков.
Инструкция jc_0603 JMAAB
ID проверки: mathworks.jmaab.jc_0604
Проверки, если штриховка блока используется в модели.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Block shading является превращенный on. | Считайте превращение off свойством DropShadow в блоках для лучшей удобочитаемости. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкции MAB jc_0604: Используя тень блока
Инструкция jc_0604 JMAAB
ID проверки: mathworks.maab.db_0081
Проверяйте, имеет ли модель несвязанные входные порты, выходные порты или сигнальные линии.
Несвязанные входные параметры должны быть соединены, чтобы основать блоки. Несвязанные выходные параметры должны быть соединены с блоками терминатора строки.
Эта проверка требует лицензии Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Блоки имеют несвязанные вводы или выводы. | Соедините несвязанные линии с блоками, заданными проектом или Основываться или блоки Терминатора. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция db_0081 JMAAB
ID проверки: mathworks.jmaab.db_0032
Проверки, если Сигналы Simulink, которые пересекаются и перекрываются, придерживаются рекомендуемых инструкций.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
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 выбраны по умолчанию.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| db_0032_a1: Проверяйте пересечения сигнала | Сигналы Simulink пересекают друг друга. | Убедитесь, что сигналы не пересекаются друг с другом. |
| db_0032_a2: Проверяйте, собирается ли стиль пересечения Линии "Выровнять транзитный участок" | Линия, пересекающая настройку стиля, не собирается "Выровнять транзитный участок". | Установите Линию, пересекающую настройку стиля "Выравнивать транзитный участок". |
| db_0032_b: Проверяйте перекрытия сигнала | Сигналы Simulink перекрывают друг друга. | Убедитесь, что сигналы не перекрываются друг с другом. |
| db_0032_c: Проверяйте, пересекают ли сигналы блоки </запись> | Сигналы Simulink чертятся по блоку Simulink. | Убедитесь, что сигналы не чертятся ни по каким блокам Simulink. |
| db_0032_d: Проверяйте, разделены ли сигнальные линии в несколько подлиний | Сигнальные линии разделены в несколько подлиний. | Измените местоположение сигналов постараться не разделять сигнальных линий. |
| db_0032_e: Проверяйте, чертятся ли сигналы как наклонные линии | Сигналы чертятся как наклонные линии в схеме. | Убедитесь, что чертили сигналы как вертикальные или горизонтальные линии. |
Настройка транзитного участка сигнала рассматривается.
Блокируйтесь перекрытия метки не анализируются.
Сигналы Simulink, которые разделяют больше чем в два сигнала при одной ветви, рассматриваются.
Работает на моделях библиотеки.
Позволяет исключения подсистем.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция db_0032 JMAAB
ID проверки: mathworks.maab.db_0141
Идентифицируйте подсистемы с несоответствующим потоком сигналов. Поток сигналов в моделях и подсистемах должен быть слева направо.
Эта проверка требует лицензии Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Размещение блоков в подсистемах искажено. | Убедитесь, что поток сигналов в упомянутых подсистемах слева направо. Все последовательные блоки, кроме блоков на пути к обратной связи, должны быть помещены слева направо. Все блоки, кроме блоков на пути к обратной связи, должны быть сориентированы направо. |
| Одна или несколько групп блоков не располагаются сверху донизу. | Расположите группы блоков или подсистем вертикально сверху донизу. |
| Сигнальные линии в повороте модели многократно излишне. | Перерисуйте сигнальные линии, чтобы избежать ненужных поворотов. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция db_0141 JMAAB
ID проверки: mathworks.maab.db_0110
Проверяйте, задают ли настраиваемые параметры выражения, преобразования типа данных или операции индексации.
Чтобы сделать параметр настраиваемым, необходимо ввести базисный блок без использования вычислений MATLAB или сценариев. Например, не используйте:
Выражения
Преобразования типа данных
Выборы строк или столбцов
Поддерживаемые блоки включают:
Доступный с Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Блоки имеют настраиваемый параметр, который задает выражение, преобразование типа данных или операцию индексации. | В каждом случае переместите вычисление за пределами блока, например, путем выполнения вычисления с серией блоков Simulink, или предварительно вычислите значение как новую переменную. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Не оценивает параметры маски.
Позволяет исключения блоков и графиков.
Инструкция db_0110 JMAAB
ID проверки: mathworks.jmaab.jc_0171
Проверяет поток сигналов при использовании Goto и От блоков.
Эта проверка идентифицирует подсистемы, соединенные друг с другом, который использует Goto и блоки From в feedforward и обратной связи, которая не имеет по крайней мере одной сигнальной линии для каждого направления.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0171_a: Проверяйте прямые связи между структурными подсистемами | Одна или несколько структурных подсистем не имеют прямых связей между ними. | Рассмотрите создание по крайней мере одной прямой связи между перечисленными подсистемами в данном направлении (Подсистема 1 к Подсистеме 2) за исключением памяти, задержки и соедините шиной блоки создателя/селектора. |
| jc_0171_b: Проверяйте на неиспользованные входные параметры в структурных подсистемах | Одна или несколько структурных подсистем имеют неиспользованные входные параметры. | Рассмотрите удаление неиспользованных входных параметров в структурных подсистемах. Сокращение количества ненужных связей делает отношения связи более ясными. |
Проверка позволяет связи, установленные от подсистем, на которые ссылаются, с в другой подсистеме.
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция jc_0171 MAB: Разъяснение связей между структурными подсистемами
Инструкция jc_0171 JMAAB
ID проверки: mathworks.jmaab.jc_0602
Проверки, если элементы модели, соединенные с сигналом, следуют за сопоставимым именованием.
Следующие имена должны быть соответствующими точно, когда непосредственно соединено с сигнальными линиями:
Имя блока Inport
Имя блока выходного порта
Структурный входной порт подсистемы помечает имя
Структурный выходной порт подсистемы помечает имя
С имени тега
Имя тега Goto
Имя сигнала сигнальной линии
Исключение 1: имя сигнальной линии, соединенной с одним из ниже подсистем, может иметь другое имя к тому из имени метки порта подсистемы:
Допускающие повторное использование подсистемы
Подсистемы соединяются с библиотекой
Исключение 2: Если комбинация блоков Inport, блоков Выходного порта и других блоков имеет то же имя блока, используйте суффикс или префикс для блоков Inport и Outport для сопоставимого именования. Это может быть сконфигурировано через Model Advisor Configuration Editor.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Один или несколько элементов модели не сопоставимы со связанным именем сигнала. | Полагайте, что переименование отклоняющихся элементов модели совпадает с именем сигнала или сопоставимо с блоками Inport/Outport. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков или графиков.
Инструкция jc_0602 MAB: Непротиворечивость на имена элемента модели
Инструкция jc_0602 JMAAB
ID проверки: mathworks.jmaab.jc_0281
Идентифицируйте триггерные блоки, где источник триггерного сигнала и места назначения имеет отличающиеся имена.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a1/a2/a3/a4, b1/b2/b3/b4
Подпроверки jc_0281_a1 и jc_0281_b1 выбраны по умолчанию.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0281_a1: Проверяйте имена источника триггерного сигнала и условного входного блока | Имя блока в начале координат триггерного сигнала и условного входного имени блока в месте назначения отличается. | Имя блока в начале координат триггерного сигнала и условного входного имени блока в месте назначения должно включать то же имя. |
| jc_0281_a2: Проверяйте имена триггерного сигнала и условной подсистемы | Имя блока в начале координат триггерного сигнала и условное имя подсистемы в месте назначения отличаются. | Имя блока в начале координат триггерного сигнала и условное имя подсистемы в месте назначения должны включать то же имя. |
| jc_0281_a3: Проверяйте имена источника триггерного сигнала и условного входного блока | Имя триггерного сигнала и условного входного имени блока в месте назначения отличается. | Имя триггерного сигнала и условного входного имени блока в месте назначения должно включать то же имя. |
| jc_0281_a4: Проверяйте имена триггерного сигнала и условной подсистемы | Имя триггерного сигнала и условное имя подсистемы в месте назначения должны включать то же имя. | Имя триггерного сигнала и условное имя подсистемы в месте назначения отличаются. |
| jc_0281_b1: Проверяйте имена источника триггерного сигнала и события блока Stateflow | Имя блока в начале координат триггерного сигнала и имя события блока Stateflow в месте назначения отличаются. | Имя блока в начале координат триггерного сигнала и имя события блока Stateflow в месте назначения должны включать то же имя. |
| jc_0281_b2: Проверяйте имена источника триггерного сигнала и имя Графика | Имя блока в начале координат триггерного сигнала и имя Графика в месте назначения отличаются. | Имя блока в начале координат триггерного сигнала и имя Графика в месте назначения должны включать то же имя. |
| jc_0281_b3: Проверяйте имена триггерного сигнала и события блока Stateflow | Имя триггерного сигнала и имя события блока Stateflow в месте назначения отличаются. | Имя триггерного сигнала и имя события блока Stateflow в месте назначения должны включать то же имя. |
| jc_0281_b4: Проверяйте имена триггерного сигнала и Графика | Имя триггерного сигнала и имя Графика в месте назначения отличаются. | Имя триггерного сигнала и имя Графика в месте назначения должны включать то же имя. |
Эта проверка отмечает Trigger и имена блока Enable только.
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Исключения поддержек блоков или графиков.
Инструкция jc_0281 JMAAB
ID проверки: mathworks.maab.db_0143
Проверяйте на системы, которые смешивают примитивные блоки и подсистемы.
Необходимо спроектировать каждый уровень модели с базовыми блоками того же типа, например, только подсистемы или только примитивные (основные) блоки. Если вы маскируете свою подсистему и устанавливаете MaskType на непустую строку, Model Advisor обрабатывает подсистему как базисный блок.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
Чтобы настроить блоки и маски, которые проверяются во время анализа, используйте Model Advisor Configuration Editor.
Откройте Редактора конфигурации Модели и ищите ID проверки db_0143.
Под Input Parameters выберите Custom из списка Standards.
В списке Treat blocktype list as выберите Allowed включать блоки/маски в анализ или Prohibited исключить блоки/маски из анализа.
Используйте таблицу Block Types list, чтобы удалить или добавить тип маски и/или блок.
Нажмите Apply и сохраните настройку.
| Условие | Рекомендуемое действие |
|---|---|
| Уровень в модели включает блоки подсистемы и примитивные блоки. | Переместите невиртуальные блоки в подсистему. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на all.
Позволяет исключения блоков и графиков.
Инструкция db_0143 MAB: Применимые типы блока в иерархии модели
Инструкция db_0143 JMAAB
ID проверки: mathworks.jmaab.jc_0653
Проверяет размещение блоков Delay в алгебраических циклах между подсистемами.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Задержитесь блоки в обратной связи помещаются в подсистеме. | Задержитесь блоки в обратной связи должны быть помещены за пределами их родительской подсистемы. |
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция jc_0653 MAB: Задержите блочное расположение в обратной связи
Инструкция jc_0653 JMAAB
ID проверки: mathworks.maab.hd_0001
Проверяйте на запрещенные блоки приемника Simulink.
Необходимо спроектировать модели контроллеров от дискретных блоков. Снизьте блоки, такие как блок Scope, не позволены в моделях контроллеров.
Эта проверка требует лицензии Simulink Check.
Эта проверка Model Advisor не применима для руководств по моделированию JMAAB.
Эта проверка не включает подпроверки
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a
JMAAB — Не поддерживаемый
Чтобы настроить блоки и маски, которые проверяются во время анализа, используйте Model Advisor Configuration Editor.
Откройте Редактора конфигурации Модели и ищите ID проверки hd_0001.
Под Input Parameters выберите Custom из списка Standards.
В списке Treat blocktype list as выберите Allowed включать блоки/маски в анализ или Prohibited исключить блоки/маски из анализа.
Используйте таблицу Block Types list, чтобы удалить или добавить тип маски и/или блок.
Нажмите Apply и сохраните настройку.
| Условие | Рекомендуемое действие |
|---|---|
| Снизьтесь блоки не разрешены в дискретных контроллерах. | Удалите блоки приемника из модели. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция MAB: hd_0001: Запрещенные приемники Simulink
ID проверки: mathworks.jmaab.na_0010
Проверяйте использование блоков Mux и шин.
Эта проверка проверяет использование блоков Mux и шин.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют подыдентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который подыдентификаторы (один или несколько), чтобы выполниться.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a, b, c, d
JMAAB — a, b, c, d
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| na_0010_a: Проверяйте использование блоков Мультиплексора и Демультиплексора | Мультиплексируйте и блоки Демультиплексора не используются, чтобы сгенерировать и анализировать векторы. | Используйте блоки Мультиплексора и Демультиплексора, чтобы сгенерировать и анализировать векторы соответственно. |
| na_0010_b: Проверяйте входные параметры, чтобы Мультиплексировать блоки | Блоки мультиплексора имеют входные параметры, которые не являются скалярами или векторами. | Используйте только скалярные или векторные сигналы в качестве входных параметров, чтобы Мультиплексировать блоки. |
| na_0010_c: сигналы Контрольной шины, обработанные как векторы | Один или несколько параметров конфигурации установлены неуместно. | Установите параметры конфигурации на рекомендуемое значение. |
| na_0010_d: Проверяйте использование сигналов шины | Один или несколько блоков не поддержаны для использования с сигналами шины. | Используйте шины только с поддержанными шиной блоками. |
Проверка не отмечает, когда блоки кроме Демультиплексора и Мультиплексора используются, чтобы сгенерировать или анализировать вектор. Например, Селекторный блок, используемый вместо Демультиплексора или Векторной конкатенации используемого вместо блока Mux. (ID Sub: a
Не работает на моделях библиотеки.
Позволяет исключения блоков или графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция na_0010 MAB: Использование вектора и сигналов шины
Инструкция na_0010 JMAAB
Составные сигналы (Simulink)
ID проверки: mathworks.jmaab.jc_0008
Проверяйте маркировку на сигнальных линиях.
Используйте метку, чтобы идентифицировать:
Сигналы, происходящие из следующих блоков (исключение значка блока, отмеченное ниже, применяется ко всем перечисленным блокам, кроме Inport, Bus Selector, Demux и Selector):
Блок Bus Selector (маркировка сил инструмента)
Блок Chart (Stateflow)
Блок Constant
Блок Data Store Read
Блок Demux
Блок From
Блок Inport
Блок Selector
Блок Subsystem
Если метка сигнала отображается в отображении значка для инициирующего блока, вы не должны отображать метку для связанного сигнала, если метка сигнала не требуется в другом месте из-за правила для мест назначения сигнала.
Сигналы соединились с одним из следующих целевых блоков (прямо или косвенно с базисным блоком, который выполняет операцию, которая не является поддающейся трансформации):
Блок Bus Selector (маркировка сил инструмента)
Блок Chart (Stateflow)
Блок Data Store Write
Блок Goto
Блок Mux
Блок Outport
Блок Subsystem
Любой сигнал интереса.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Сигналы, прибывающие из Bus Selector, Chart, Constant, Data Store Read, Demux, From, Inport или блоков Selector, не помечены. | Пометьте сигнал. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения.
Инструкция jc_0008 JMAAB
Основы сигнала (Simulink)
ID проверки: mathworks.jmaab.jc_0009
Проверяйте на распространенные метки на сигнальных линиях.
Необходимо распространить метку сигнала из ее источника, а не ввести метку сигнала явным образом (вручную), если сигнал происходит из:
Блок Inport во вложенной подсистеме. Однако, если вложенная подсистема является подсистемой библиотеки, можно явным образом пометить сигнал, прибывающий из блока Inport, чтобы разместить повторное использование библиотечного блока.
Базисный блок, который выполняет неподдающуюся трансформации операцию.
Блок Subsystem или Stateflow Chart. Однако, если связь происходит из выхода экземпляра библиотечного блока, можно явным образом пометить сигнал разместить повторное использование библиотечного блока.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Модель включает метки сигнала, которые вводились явным образом, но должны быть распространены. | Используйте открытую угловую скобку (<) символ, чтобы отметить метки сигнала, которые должны быть распространены и удалить метки, которые вводились явным образом. |
Не работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения.
Инструкция jc_0009 JMAAB
Основы сигнала (Simulink)
ID проверки: mathworks.jmaab.db_0097
Идентифицируйте неуместно помещенные метки сигнала для сигналов и шин.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, B, C
JMAAB — a, B, C
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| db_0097_a: Проверяйте перекрытие меток сигнала | Один или несколько сигналов в модели имеют метки, которые перекрывают другие объекты. | Поместите метки сигнала так, чтобы это было читаемо. |
| db_0097_b: Контрольный разряд меток сигнала | Один или несколько сигналов в модели имеют метки, помещенные во главе сигнальной линии. | Поместите метки сигнала под сигнальными линиями. |
| db_0097_c: Проверяйте местоположение меток сигнала | Один или несколько сигналов в модели не имеют меток расположенными в начале координат сигнальной линии. | Поместите метки сигнала в начале координат сигнальной линии. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех файлах маскированных.
Не поддерживает исключения блоков или графиков.
Инструкция db_0097 JMAAB
ID проверки: 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.
Откройте Редактора конфигурации Модели и ищите ID проверки 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: Отображение меток на сигналах
Сигнал называет и маркирует (Simulink).
ID проверки: mathworks.maab.na_0009
Проверяйте на распространенные метки на сигнальных линиях.
Необходимо распространить метку сигнала из ее источника, а не ввести метку сигнала явным образом (вручную), если сигнал происходит из:
Блок Inport во вложенной подсистеме. Однако, если вложенная подсистема является подсистемой библиотеки, можно явным образом пометить сигнал, прибывающий из блока Inport, чтобы разместить повторное использование библиотечного блока.
Базисный блок, который выполняет неподдающуюся трансформации операцию.
Блок Subsystem или Stateflow Chart. Однако, если связь происходит из выхода экземпляра библиотечного блока, можно явным образом пометить сигнал разместить повторное использование библиотечного блока.
Эта проверка требует лицензии Simulink Check.
Эта проверка Model Advisor не применима для руководств по моделированию JMAAB.
Эта проверка не включает подпроверки
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — Не поддерживаемый
| Условие | Рекомендуемое действие |
|---|---|
| Модель включает метки сигнала, которые вводились явным образом, но должны быть распространены. | Используйте открытую угловую скобку (<) символ, чтобы отметить метки сигнала, которые должны быть распространены и удалить метки, которые вводились явным образом. |
Эта проверка не должна быть осуществлена моделей для AUTOSAR.
Не работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков или графиков.
Инструкция MAB: na_0009: Запись по сравнению с распространением меток сигнала
Сигнал называет и маркирует (Simulink).
ID проверки: mathworks.jmaab.jc_0110
Проверки блокируются с измененной ориентацией.
Идентифицирует блоки, которые инвертируются или с вращаемой ориентацией. Эта проверка исключает блоки Delay или Unit Delay.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Некоторые блоки в модели вращали или инвертировали ориентацию. | Инвертируйте или поверните эти блоки, которые будут ориентированы к праву. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция jc_0110 JMAAB
ID проверки: mathworks.jmaab.db_0112
Идентифицирует блоки и графики с противоречивым режимом Indexing.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a1/a2
JMAAB — a1/a2
Подпроверяйте, что db_0112_a1 выбран как значение по умолчанию
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| db_0112_a1: Проверяйте на Основанный на нуле Режим Индексации | Один или несколько блоков или графиков в модели имеют режим One-Based Indexing или Задают режим индексов. | Рассмотрите модернизацию при помощи Основанной на нуле Индексации. |
| db_0112_a2: Проверяйте на Режим Индексации На основе один. | Следующие блоки или графики в модели имеют режим Zero-Based Indexing или Задают режим индексов. | Рассмотрите модернизацию при помощи Индексации На основе одной. |
Работает на моделях библиотеки.
Позволяет исключения.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция db_0112 JMAAB
ID проверки: mathworks.jmaab.jc_0645
Проверки, если настраиваемые параметры блоков заданы как названные константами.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Неподходящее использование настраиваемых значений параметров блоков. | Измените настраиваемые литеральные значения параметров блоков в именованные константы. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция jc_0645 MAB: определение Параметра для калибровки
Инструкция jc_0645 JMAAB
ID проверки: mathworks.jmaab.jc_0641
Проверяйте, установлено ли свойство шага расчета блока в-1 (наследованный).
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Свойство шага расчета блока не установлено в-1 (наследованный). | Измените шаг расчета в-1 (наследованный). |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция jc_0641 JMAAB
ID проверки: mathworks.jmaab.jc_0643
Проверяйте блоки, с тем, тип данных выходного сигнала которых является фиксированной точкой, и смещение не является нулем.
Для блоков, которые имеют тип данных с фиксированной точкой для их выходных сигналов, проверяйте, что параметры блоков Bias установлены в 0.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
В Ассистенте Типа данных Mode установлен в | Измените параметры блоков Bias в 0. |
Работает на моделях библиотеки.
Исключения поддержек.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0643 JMAAB
ID проверки: mathworks.jmaab.jc_0644
Идентифицирует блоки в Simulink, которые нарушают установку типа, если объекты сигнала используются (если тип данных сигнала установлен в объекте сигнала, то это не должно быть установлено на стороне блока).
Эта проверка освобождает:
Блок преобразования типа данных.
Введите установку с помощью fixdt.
Дважды и булевы типы.
Допускающая повторное использование внутренняя деталь функции (атомарная подсистема).
Блокируйте набор типа выходных данных к Inherit via backpropagation.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Тип данных сигнала установлен в различные типы в объектах сигнала и в блоке. | Установите тип выходных данных блоков или к auto или к Inherit via back propagation. |
Не работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Инструкция jc_0644 JMAAB
ID проверки: mathworks.jmaab.db_0146
Проверяйте положение блоков Enable и Trigger.
Найдите блоки, которые задают подсистемы как условное выражение или итеративный наверху схемы подсистемы.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, B
JMAAB — a, B
Положение блока по умолчанию может быть сконфигурировано при помощи Положения Блока параметра в Model Advisor Configuration Editor.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| 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.
Инструкция db_0146 MAB: Блочное расположение в условных подсистемах
Инструкция db_0146 JMAAB
ID проверки: mathworks.jmaab.jc_0640
Проверки, что начальное выходное значение для всех Выходных портов и блоков Слияния, соединенных с Conditional subsystem , явным образом задано.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Начальный выход для всех Выходных портов и блоков Слияния, соединенных с Conditional subsystem, явным образом не задан. | Для Условной подсистемы явным образом задайте начальное выходное значение для всех Выходных портов и блоков Слияния, соединенных с Conditional subsystem. |
Не работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция jc_0640 MAB: настройки Начального значения для Выходного порта блокируются в условных подсистемах
Инструкция jc_0640 JMAAB
ID проверки: mathworks.jmaab.jc_0659
Проверки, если существует какой-либо подарок блоков, промежуточный условная подсистема и блок слияния.
Блоки слияния должны иметь прямые связи от условно выполняемых подсистем. В то время как использование блока Merge принимает следующее во внимание:
Никакие блоки не должны присутствовать промежуточные Слияние и Условно выполняемые блоки подсистемы, включая виртуальную подсистему, которая не влияет на функцию блока Merge .
Блок Merge может быть вложен в любом количестве подсистем, если предыдущему условию удовлетворяют.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Один или несколько блоков, вставленных промежуточный Merge и Условный блок Subsystem. | Сделайте прямые связи из Условных блоков Subsystem, чтобы Объединить блоки. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция jc_0659 MAB: ограничения Использования входа сигнальных линий, чтобы Объединить блоки
Инструкция jc_0659 JMAAB
ID проверки: mathworks.maab.na_0003
Проверяйте блоки If на несоответствующее построение первичных выражений в логическом выражении.
Идентифицирует экземпляры в блоке If, где первичные выражения являются комплексными.
Первичные выражения заданы как:
Вход
Константа
Постоянный параметр
Заключенное в скобки выражение, содержащее операторы кроме нуля или <, >, >=, <=, ==, ~=, |, &, и ~
Примеры первичных выражений включают:
u1
5
K
(u1> 0 )
(u1 <= G)
(u1 > U2)
(~u1)
Примеры приемлемых исключений логических выражений включают:
u1 | u2
((u1 > 0) & (u1 < 20)
(u1 > 0) & (u2 < u3)
(u1 > 0) & (~u2)
Эта таблица обеспечивает примеры недопустимых логических выражений.
| Первичное выражение | Обоснование |
|---|---|
| Слишком много первичных выражений. |
| Недопустимый оператор в первичном выражении. |
| Слишком много первичных выражений, которые не являются входными параметрами. |
| Недопустимый оператор в первичном выражении. |
Исключение
Логическое выражение может содержать больше чем два первичных выражения, когда оба этих условия соблюдают:
Первичные выражения являются всеми входными параметрами.
Только один тип логического оператора присутствует.
Примеры приемлемых исключений включают:
u1 | u2 | u3 | u4 | u5
u1 & u2 & u3 & u4
Простой, "если" выражения
В литеральной интерпретации инструкции na_0003, выражении u1 < u2 нарушение. Однако выражение следует обычно используемый "Если" шаблон выражения (<Первичное выражение> <Оператор> <Первичное выражение>). Так, когда логические операторы не используются, и только один оператор отношения присутствует, выражение удовлетворяет инструкции na_0003 и u1 <u2 не нарушение.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Логическое выражение содержит больше чем два первичных выражения, которые состоят из постоянного, постоянного параметра и вводят. | Рассмотрите одно из следующего:
|
| Логическое выражение содержит больше чем два заключенных в скобки выражения, которые используют несколько операторов отношения | Рассмотрите одно из следующего:
|
Заключенное в скобки выражение включает оператор отношения кроме нуля или <, >, >=, <=, ==, ~=, |, &, или ~. | Рассмотрите одно из следующего:
|
Не отмечает логические выражения, которые используют только один из этих относительных операторов <, >, >=, <=, ==, ~=, |, &, и ~
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Инструкция na_0003 JMAAB
ID проверки: mathworks.jmaab.jc_0656
Проверяет, что случай default/else в Switch Case блокирует and If blocks.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Неподходящее использование Switch и блоков If. | Рассмотрите установку опции случая default/else в блоках Случая Switch и блоках If к on. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция jc_0656 MAB: Использование Условных Блоков управления
Инструкция jc_0656 JMAAB
ID проверки: mathworks.jmaab.na_0002
Типы данных проверок в числовых и логических блоках.
Проверяет типы данных на логические и числовые блоки и идентифицирует, когда тип данных не подходит для операции.
Тип данных для логических блоков должен быть булевской переменной. Логические блоки включают:
Тип данных для числовых блоков должен быть небулевской переменной. Числовые блоки включают:
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, B
JMAAB — a, B
Чтобы настроить блоки и маски, чтобы включать в анализ для этой проверки, используйте Model Advisor Configuration Editor.
Откройте Редактора конфигурации Модели и ищите ID проверки na_0002.
Под Input Parameters добавьте или удалите блоки и/или маски из таблицы Blocks for Numerical Operations или таблицы Blocks for Logical Operations.
Нажмите Apply и сохраните настройку.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| na_0002_a: Проверяйте типы входных данных блоков, предназначенных для логических операций | Тип данных для логической операции блоки не является булевской переменной. | Рассмотрите входные параметры булевской переменной наличия для блоков логической операции. |
| na_0002_b: Проверяйте типы входных данных блоков, предназначенных для числовых операций | Тип данных для числовой операции блоки является булевской переменной. | Рассмотрите входные параметры небулевской переменной наличия для числовых блоков операции. |
Не работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция na_0002 MAB: Соответствующее использование основных логических и числовых операций
Инструкция na_0002 JMAAB
ID проверки: mathworks.jmaab.jc_0121
Идентифицирует нарушения инструкции, найденной с использованием блока Sum.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a, B, C
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0121_a: Проверяйте форму блока Sum | Один или несколько блоков Суммы "круглы" сформированный, но не являются частью обратной связи. | Установите форму блока Sum к "прямоугольному". |
| jc_0121_b: Проверяйте первый вход блока Sum | Один или несколько блоков Суммы не имеют '+' знак, как сначала введено и не являются частью обратной связи. | Установите сначала вход на блок Sum к '+' знак. |
| jc_0121_c: Контрольное число входных параметров для блока Sum | Один или несколько блоков Суммы имеют больше чем два входных параметров. | Установите блок Sum иметь не больше, чем два входных параметров. |
Работает на моделях библиотеки.
Исключения поддержек блоков или графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0121 MAB: Использование добавляет и блоки вычитания
Инструкция jc_0121 JMAAB
ID проверки: mathworks.jmaab.jc_0610
Проверяет порядок оператора блоков продукта.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0610_a: Проверка сначала вход с блоком продукта | Неподходящее использование порядка оператора блоков Product . | Измените первый вход в блоке Product к умножению ('* '). |
| jc_0610_b: Контрольное число входных параметров с блоками продукта | Блоки Product имеют неверный номер входных параметров. | Рассмотрите наличие не больше чем двух входных параметров для блоков Product . |
Выбор поддержек Инструкции идентификаторы Sub.
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция jc_0610 MAB: порядок Оператора для блока умножения и деления
Инструкция jc_0610 JMAAB
ID проверки: mathworks.jmaab.jc_0611
Проверяйте знаковый бит на типы данных входного сигнала в блоках продукта с операторами деления.
Для блоков продукта с операторами деления проверяйте, что тот же знаковый бит используется в типах данных входного сигнала. Знаковыми битами является любой signed или unsigned.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Типы данных входного сигнала имеют различные знаковые биты. | Обновите производственный блок так знаковый бит для соответствия типов данных входного сигнала. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция jc_0611 MAB: Введите расписываются за блоки умножения и деления
Инструкция jc_0611 JMAAB
ID проверки: mathworks.jmaab.jc_0622
Проверяет использование круглых скобок в выражениях блока Fcn . Круглые скобки должны использоваться, чтобы задать приоритет оператора.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Неподходящее использование выражений блока Fcn. | Разрешите приоритет оператора в выражениях блока Fcn путем добавления круглых скобок. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Не позволяет исключения блоков и графиков.
Инструкция jc_0622 JMAAB
ID проверки: mathworks.jmaab.jc_0621
Форма значка проверок блоков Logical Operator . Форма значка Логического оператора должна быть прямоугольной.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Неподходящая установка значка формирует для блоков Logical Operator . | Измените форму значка блоков Logical Operator к прямоугольному для удобочитаемости. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция jc_0621 MAB: Использование блоков Логического оператора
Инструкция jc_0621 JMAAB
ID проверки: mathworks.maab.jc_0131
Проверяйте положение блоков Constant, используемых в блоках Relational Operator.
Когда оператор отношения используется, чтобы сравнить сигнал с постоянным значением, постоянный вход должен быть вторым, более низким входом.
Эта проверка требует лицензии Simulink Check.
Доступный с Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Блоки Relational Operator имеют блок Constant на первом, верхнем входе. | Переместите блок Constant во второй, более низкий вход. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения блоков и графиков.
Инструкция jc_0131 MAB: Использование блоков Оператора отношения
Инструкция jc_0131 JMAAB
ID проверки: mathworks.jmaab.jc_0800
Проверки, если эквивалентное сравнение сделано на числах с плавающей запятой.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Наблюдаются один или несколько экземпляров эквивалентного сравнения для чисел с плавающей запятой. | Убедитесь, что избежали использования эквивалентных сравнений для чисел с плавающей запятой. |
Не работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция jc_0800 MAB: Сравнение типов с плавающей точкой в Simulink
Инструкция jc_0800 JMAAB
ID проверки: mathworks.jmaab.jc_0626
Проверки на правильные установки параметров в Интерполяционных таблицах, чтобы предотвратить неожиданные результаты.
Проверки n-D Поиск (1D, 2D, и n-D) Таблицы для следующих параметров, чтобы гарантировать, что значения придерживаются соответствующих рекомендаций.
InterpMethod
ExtrapMethod
UseLastTableValue
Проверяет Динамические Интерполяционные таблицы на параметр LookUpMeth и гарантирует, что значения придерживаются рекомендации.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, B
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0626_a: Проверяйте настройки Lookup Method на Динамические блоки Интерполяционной таблицы | Параметр LookUpMeth в динамической интерполяционной таблице устанавливается на кроме Interpolation-Use End Values. | Установите параметр на рекомендуемое значение Interpolation-Use End Values. |
| jc_0626_b: Проверяйте настройки Lookup Method на 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.
Позволяет исключения блоков и графиков.
Инструкция jc_0626 MAB: Использование блоков Интерполяционной таблицы
Инструкция jc_0626 JMAAB
ID проверки: mathworks.jmaab.jc_0623
Память проверок и Unit Delay блокируются с несоответствующим шагом расчета.
Идентифицирует блоки Memory с дискретным шагом расчета и блоки Unit Delay с недискретным шагом расчета.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Блоки памяти имеют шаг расчета, который не непрерывен. | Используйте блок Unit Delay вместо Блока памяти. |
| Блоки Unit Delay имеют недискретный шаг расчета. | Используйте Блок памяти вместо блока Unit Delay. |
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция jc_0623 MAB: Использование блоков Задержки непрерывного времени и блоков Задержки дискретного времени
Инструкция jc_0623 JMAAB
ID проверки: mathworks.jmaab.jc_0624
Идентифицирует расположенный каскадом и коснувшийся шаблон блоков Unit Delay.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0624_a: Проверяйте использование блоков Задержки в коснувшийся шаблон | Набор блоков Unit Delay в модели может быть заменен блоком Tapped Delay. | Рассмотрите заменяющий, расположил каскадом блоки Unit Delay с блоком Tapped Delay. |
| jc_0624_b: Проверяйте использование каскадных блоков Задержки | Набор блоков Задержки может быть заменен одним блоком Delay. | Рассмотрите заменяющий расположенные каскадом блоки Задержки на блок Delay. |
Работает на моделях библиотеки.
Исключения поддержек блоков или графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0624 MAB: Использование Коснувшейся Задержки блокирует/Задерживает блоки
Инструкция jc_0624 JMAAB
ID проверки: mathworks.jmaab.jc_0627
Проверяйте использование блока Discrete-Time Integrator.
Для блоков Discrete-Time Integrator проверяйте:
Параметры блоков Limit output выбраны.
Пределы насыщения заданы с помощью Simulink.Parameter или MPT.Parameter возразите, чьим типом данных является auto.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0627_a: Проверяйте предельные настройки Насыщения блока Discrete-Time Integrator | Параметры блоков Limit output очищены | Выберите параметры блоков Discrete-Time Integrator Limit output. |
| jc_0627_b: Проверяйте предельное значение устанавливающего Насыщения блока Discrete-Time Integrator | Предел насыщения задан Объектом параметра, типом данных которого не является auto | Измените тип данных для Объекта параметра к auto. |
Работает на моделях библиотеки.
Исключения поддержек.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0627 MAB: Использование блоков Интегратора Дискретного времени
Инструкция jc_0627 JMAAB
ID проверки: mathworks.jmaab.jc_0628
Эта проверка идентифицирует:
Saturation или Saturation Dynamic блокируются с любыми операциями преобразования типа. Проверка сравнивает это скомпилированное соответствие типов входных и выходных данных или проверяет, что Output data type установлен в Inherit: Same as input и Inherit: Same as second input для Saturation и блоков Saturation Dynamic соответственно.
Если upper limit установлен в максимальное значение типа выходных данных (intmax, realmax).
Если lower limit установлен в минимальное значение типа выходных данных (intmin,-realmax).
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Типы входных и выходных данных отличаются. | Убедитесь, что Output data type установлен в Inherit: Same as input и Inherit: Same as second input для Saturation и блоков Saturation Dynamic соответственно. |
| Значения верхнего предела и нижнего предела блоков не установлены к, придерживался значения. |
|
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция jc_0628 JMAAB
ID проверки: mathworks.jmaab.jc_0651
Проверки, если модель придерживается инструкций для реализации преобразования типов.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Один или несколько блоков Operation нашли, что явным образом задают тип выходных данных. | Вместо того, чтобы явным образом задать тип выходных данных на блоках операции, используйте блок Data Type Conversion при изменении типа данных выходного сигнала блока. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков или графиков.
Инструкция jc_0651 JMAAB
ID проверки: mathworks.jmaab.db_0042
Проверяйте, содержит ли модель порты с недопустимым положением и настройкой.
В моделях порты должны выполнить следующие правила:
Поместите блоки Inport на левой стороне схемы. Приемлемо переместить блок Inport направо только, чтобы предотвратить пересечения сигнала.
Поместите блоки Outport в правую сторону схемы. Приемлемо переместить блок Outport налево только, чтобы предотвратить пересечения сигнала.
Избегайте использования дублирующихся блоков Inport на уровне подсистемы, если это возможно.
Не используйте дублирующиеся блоки Inport на корневом уровне.
Доступный с Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, B
JMAAB — a, B, C
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| db_0042_a: Контрольные разряды блоков Inport | Блоки Inport не помещаются в левую сторону схемы. | Поместите блоки Inport в левую сторону схемы. Блокируйтесь размещение, вызывающее перекрытия сигнала, может быть исключено. |
| db_0042_b: Контрольные разряды блоков Выходного порта | Блоки Outport не помещаются в правую сторону схемы. | Поместите блоки Outport в правую сторону схемы. Блокируйтесь размещение, вызывающее перекрытия сигнала, может быть исключено. |
| db_0042_c: Проверяйте использование Дублирующихся блоков Inport | Порты являются дублирующимися блоками Inport. |
|
Работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция db_0042 MAB: Использование блоков Inport и Outport
Инструкция db_0042 JMAAB
ID проверки: mathworks.maab.jc_0081
Проверяйте установку Icon display на блоки Outport и Inport.
Установка Icon display требуется.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Установка Icon display не установлена. | Установите Icon display на Port number для заданного Inport и блоков Outport. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция jc_0081 MAB: отображение значка блока Inport и Outport
Инструкция jc_0081 JMAAB
ID проверки: mathworks.maab.na_0011
Проверяйте осциллограф блоков Goto и From.
Можно использовать глобальную область видимости в управлении потоком. Однако From и блоки Goto должны использовать локальный осциллограф в потоках сигналов.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| From и блоки Goto не сконфигурированы с локальным осциллографом. |
|
Не работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция na_0011 JMAAB
ID проверки: mathworks.jmaab.jc_0161
Идентифицирует использование Блоков памяти Хранилища данных.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0161_a: Проверяйте определение Блока памяти Хранилища данных | Один или несколько Блоков памяти Хранилища данных в модели не заданы на самом маленьком уровне осциллографа. | Рассмотрите перемещение Блоков памяти Хранилища данных к самому маленькому уровню осциллографа. |
| jc_0161_b: Проверяйте использование данных в Блоке памяти Хранилища данных | Данные в некоторых Блоках памяти Хранилища данных в модели не используются в выполнении и генерации кода. | Используйте Блоки памяти Хранилища данных, только если его данные используются в генерации кода или выполнении. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех файлах маскированных.
Позволяет исключения.
Инструкция jc_0161 MAB: Определение Блоков памяти Хранилища данных
Инструкция jc_0161 JMAAB
ID проверки: mathworks.maab.jc_0141
Проверяйте использование блоков switch.
Проверяет, что вход управления блоком switch (второй вход) является булевым значением и что блок сконфигурирован, чтобы передать первый вход, когда вход управления является ненулевым.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Вход управления блоком switch (второй вход) не является булевым значением. | Измените тип данных входа управления к булевской переменной. |
| Блок switch не сконфигурирован, чтобы передать первый вход, когда вход управления является ненулевым. | Установите параметры блоков Criteria for passing first input на u2 ~ =0. |
Не работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных, которые не имеют никаких рабочих областей и никаких диалоговых окон.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой. Однако разовая редактированием проверка эту проверку не проверяет, что тип данных управления ввел, булево значение.
Инструкция jc_0141 JMAAB
ID проверки: mathworks.jmaab.jc_0650
Проверяйте, являются ли типы входных и выходных данных для портов данных тем же самым для переключения функциональных блоков.
Для Switch Multiport Switch и блоки Index Vector, проверяют, что порты входных и выходных данных имеют совпадающий тип данных.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Порты входных и выходных данных имеют различные типы данных. | Измените порт данных ввода или вывода, таким образом, тип данных является тем же самым для обоих. |
Не работает на моделях библиотеки.
Позволяет исключения.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0650 MAB: Блокируйте тип данных ввода/вывода с переключающейся функцией
Инструкция jc_0650 JMAAB
ID проверки: mathworks.jmaab.jc_0630
Идентифицирует Многопортовые блоки switch, которые нарушают настройки порта данных.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a, c
JMAAB — a, B, C
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0630_a: Контрольное число входных параметров к Многопортовому блоку switch | Блок switch или Многопортовый блок switch в модели имеют меньше чем два порта данных. | Убедитесь, что блоки switch или Многопортовый блок switch в модели имеют порты данных, которые больше два. |
| jc_0630_b: Проверяйте входной тип к Многопортовому блоку switch | Тип данных порта управления на Многопортовом Переключателе не установлен в беззнаковое целое. | Измените тип данных порта управления на Многопортовом Переключателе к беззнаковому целому. |
| jc_0630_c: Проверяйте порядок порта данных Многопортового блока switch | Многопортовые блоки switch имеют неправильные настройки. | Установите Многопортовый блок switch, устанавливающий Порт данных для случая по умолчанию к Дополнительному порту данных и Диагностику для случая по умолчанию ни к Одному. |
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Эта проверка поддерживается разовой редактированием проверкой. Однако разовая редактированием проверка эту проверку не проверяет податливость с jc_0630 Sub ID b.
Инструкция jc_0630 MAB: Использование Многопортовых блоков switch
Инструкция jc_0630 JMAAB
ID проверки: mathworks.jmaab.na_0020
Проверки на количество входных параметров/выходных параметров к Различной Подсистеме.
Эта проверка требует лицензии Simulink Check.
Можно сконфигурировать проверку, чтобы позволить Различной Подсистеме иметь различное количество выходных портов, чем Подсистемы Выбора путем выбора входной Проверки параметра на параметр 'Specify выход когда несвязанный' на Различных выходных портах Подсистемы в Model Advisor Configuration Editor.
Примечание: выходные порты Различной Подсистемы должны иметь входной параметр, задают выход, когда несвязанный выбрал.
| Условие | Рекомендуемое действие |
|---|---|
| Одна или несколько Различных Подсистем имеют различное количество входных параметров/выходных параметров на их зависимых подсистемах. | Рассмотрите наличие того же количества входных параметров/выходных параметров на Различных Подсистемах и их зависимых подсистемах. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех файлах маскированных.
Позволяет исключения блоков или графиков.
Инструкция na_0020 MAB: Количество входных параметров к различным подсистемам
Инструкция na_0020 JMAAB
ID проверки: mathworks.maab.na_0036
Проверяйте использование вариантов по умолчанию в различной подсистеме.
Проверки Variant Subsystem, Variant Source, Variant Sink и вариант Model блокируются в различной подсистеме для варианта по умолчанию.
Эта проверка требует лицензии Simulink Check.
Чтобы установить активный вариант как вариант по умолчанию, используйте Model Advisor Configuration Editor.
Откройте Редактора конфигурации Модели и ищите ID проверки 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 на |
Параметры блоков Variant Control установлены в Variant. | Установить активный вариант как вариант по умолчанию.
|
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков
Позволяет подсветку синтаксиса
Инструкция na_0036 JMAAB
ID проверки: mathworks.maab.na_0037
Проверяйте использование одной переменных в условных выражениях
Variant Subsystem проверок, Variant Source, Variant Sink и вариант Model блокируются для условных выражений, которые имеют больше чем одну переменную.
Инструкция na_0037 утверждает, что вариантами по умолчанию является исключение к рекомендации записи различных условных выражений с помощью нескольких переменная с одним условием. Можно задать значение по умолчанию:
Выбор (default) в параметрах блоков Variant control.
Определение исчерпывающего условия.
Эта проверка не может дифференцироваться между значениями по умолчанию, которые заданы с помощью исчерпывающего условия.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Условное выражение содержит больше чем одну условную переменную. | Рассмотрите обновление вашей модели так, чтобы только один вариант использовался. |
|
Переменная условного выражения or | Рассмотрите определение варианта в вашей модели. |
| Проверка не выполняется на моей различной подсистеме. | Очистите Override variant conditions and use following variant для различной подсистемы. |
Не проверяет варианты по умолчанию.
Не работает на Различной подсистеме, когда вы выбираете Override variant conditions and use following variant
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Инструкция na_0037 MAB: Использование одной переменной для различного условия
Инструкция na_0037 JMAAB
ID проверки: mathworks.jmaab.db_0122
Проверяйте, пометил ли Stateflow, и сигналы ввода и вывода Simulink со строгим контролем типов.
Сильный ввод данных между Stateflow и сигналами ввода и вывода Simulink требуется.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Диаграмма Stateflow не использует сильный ввод данных с Simulink. | Установите флажок Use Strong Data Typing with Simulink I/O для заданного блока. |
Работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция db_0122 MAB: сигналы интерфейса Stateflow и Simulink и параметры
Инструкция db_0122 JMAAB
Синтаксис для состояний и переходов (Stateflow)
ID проверки: mathworks.maab.db_0123
Проверяйте на несоответствия между портами Stateflow, и сопоставил имена сигнала.
Имя ввода и вывода Stateflow должно совпасть с соответствующим сигналом.
Доступный с Simulink Check.
Эта проверка требует лицензии Stateflow.
Эта проверка Model Advisor не применима для руководств по моделированию JMAAB.
Эта проверка не включает подпроверки
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — Не поддерживаемый
| Условие | Рекомендуемое действие |
|---|---|
| Сигналы имеют имена, которые отличаются от соответствующих портов Stateflow. | Поменяйте имена или сигналов или портов Stateflow. |
Не отмечает несоответствия имени для допускающих повторное использование диаграмм Stateflow в библиотеках.
Не делает flagStateflow портов, когда соответствующий сигнал не имеет метки.
Не работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков. Исключения не будут работать на соединенные графики библиотеки.
ID проверки: mathworks.jmaab.db_0125
Идентифицирует набор значений Осциллографа на данных Stateflow, заданных на уровне машины.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, b, c, d
JMAAB — a, b, c, d
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| db_0125_a: Проверяйте на данные Stateflow с набором Осциллографа к Локальному на уровне машины | Данные Stateflow с Локальным Осциллографом, заданным на уровне машины | Рассмотрите не задающие данные с Локальным Осциллографом на уровне машины. |
| db_0125_b: Проверяйте на данные Stateflow с набором Осциллографа Константу на уровне машины | Данные Stateflow с Постоянным Осциллографом задали уровень машины | Рассмотрите не задающие данные с Постоянным Осциллографом на уровне машины. |
| db_0125_c: Проверяйте на данные Stateflow с набором Осциллографа к Параметру на уровне машины | Данные Stateflow с Осциллографом Параметра, заданным на уровне машины | Рассмотрите не задающие данные с Осциллографом Параметра на уровне машины. |
| db_0125_d: Проверяйте на дублирующиеся имена Данных Stateflow с набором Осциллографа к Локальному на иерархии блока Stateflow | Данные Stateflow, заданные в графике, имеют повторное определение на той же иерархии блока Stateflow | Рассмотрите использование уникальных имен данных Stateflow в иерархии. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения.
Инструкция db_0125 JMAAB
ID проверки: mathworks.jmaab.db_0126
События Stateflow должны быть заданы в самом маленьком осциллографе использования.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Одно или несколько событий Stateflow, используемых в графике, не заданы на том же уровне в иерархии. | Рассмотрите определение событий Stateflow в самом маленьком осциллографе использования. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех файлах маскированных.
Не поддерживает исключения блоков или графиков.
Инструкция db_0126 JMAAB
ID проверки: mathworks.jmaab.jc_0701
Идентифицирует, не установлен ли первый индекс массивов в Stateflow или в 0 или в 1.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a1/a2
JMAAB — a1/a2
Подпроверяйте, что jc_0701_a1 выбран по умолчанию.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0701_a1: Проверяйте, установлен ли первый индекс данных Stateflow в 0 | Одни или несколько данных Stateflow имеют первый набор индекса к значению кроме 0. | Убедитесь, что установили первое значение индекса к 0. |
| jc_0701_a2: Проверяйте, установлен ли первый индекс данных Stateflow в 1 | Одни или несколько данных Stateflow имеют первый набор индекса к значению кроме 1. | Убедитесь, что установили первое значение индекса к 1. |
Выбор поддержек Инструкции идентификаторы Sub.
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения графиков.
Инструкция jc_0701 MAB: Применимый номер для первого индекса
Инструкция jc_0701 JMAAB
ID проверки: mathworks.jmaab.jc_0712
Идентифицирует состояние параметра Execute (enter) Chart At Initialization. Этот параметр требует, чтобы много других факторов привели к сопоставимым результатам.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Параметр Execute (enter) Chart At Initialization выбран. | Убедитесь, что очистили выбор. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция jc_0712 MAB: синхронизация Выполнения для пути к переходу по умолчанию
Инструкция jc_0712 JMAAB
ID проверки: mathworks.jmaab.jc_0722
Осциллограф локальных переменных должен быть установлен, как ограничено одним параллельным состоянием, если те же самые данные не требуются двумя или больше параллельными состояниями.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Осциллограф данных Stateflow (локальные переменные) не ограничивается параллельным состоянием, когда те же данные не требуются несколькими параллельными состояниями. | Ограничьте осциллограф данных Stateflow (локальные переменные) только к одному параллельному состоянию. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения графиков.
Инструкция jc_0722 MAB: Локальное определение данных в параллельных состояниях
Инструкция jc_0722 JMAAB
ID проверки: mathworks.jmaab.jc_0797
Проверки на несвязанные объекты в диаграммах Stateflow и Идентифицируют повисшие переходы и несвязанные состояния Stateflow и Соединения в диаграммах Stateflow.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a, B
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0797_a: Проверяйте несвязанные переходы | Один или несколько переходов в графике не связаны. | Полагайте, что модернизация соединяет повисшие переходы. |
| jc_0797_b: Проверяйте несвязанные состояния и соединения | Одно или несколько состояний и соединений не связаны. | Полагайте, что модернизация соединяет несвязанные состояния и Соединения. |
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция jc_0797 MAB: Несвязанные переходы / утверждают / соединительные соединения
Инструкция jc_0797 JMAAB
ID проверки: mathworks.maab.db_0137
Проверяйте состояния в машину состояний.
В машине состояний:
Должно быть по крайней мере два исключительных состояния.
Состояние не может иметь только одного подсостояния.
Начальное состояние иерархического уровня с исключительными состояниями ясно задано переходом по умолчанию.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| График имеет только один исключительный (OR) состояние. | Сделайте состояние параллельным состоянием или добавьте другое исключительное (OR) состояние. |
| Графику не задали состояние по умолчанию. | Задайте состояние по умолчанию. |
| График имеет несколько заданных состояний по умолчанию. | Задайте только одно состояние по умолчанию. Сделайте другие не по умолчанию. |
| Состояние имеет только один исключительный (OR) подсостояние. | Сделайте состояние параллельным состоянием, добавьте другое исключительное (OR) состояние или замените состояние на блок-схему. |
| Состоянию не задали подсостояние по умолчанию. | Задайте подсостояние по умолчанию. |
| Состояние имеет несколько заданных подсостояний по умолчанию. | Задайте только одно подсостояние по умолчанию, сделайте другие не по умолчанию. |
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция db_0137 JMAAB
ID проверки: mathworks.jmaab.jc_0721
Параллельные состояния не должны использоваться в целях группировки, которая является подсостояниями параллельных состояний, не должны быть параллельные состояния.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Параллельные состояния только для группировки. | Подсостояния параллельных состояний не должны быть параллельными (не используйте в группировке). |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция jc_0721 MAB: Использование параллельных состояний
Инструкция jc_0721 JMAAB
ID проверки: mathworks.jmaab.db_0129
Проверки и отчеты переходы Stateflow, которые визуально перекрывают другие объекты Stateflow.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, b, c, d, e
JMAAB — a, b, c, d, e
| Инструкция идентификаторы Sub | Условие | Рекомендуемое действие |
|---|---|---|
| db_0129_a: Проверяйте на линии перехода, которые пересекают друг друга | Линии перехода пересекают друг друга. | Рассмотрите модернизацию так, чтобы линии перехода не пересекали друг друга. |
| db_0129_b: Проверяйте на линии перехода, которые перекрывают друг друга | Линии перехода перекрываются с другими линиями перехода. | Рассмотрите модернизацию так, чтобы линии перехода не перекрывались с другими линиями перехода. |
| db_0129_c: Проверяйте линии перехода, которые пересекают другие объекты Stateflow | Линии перехода пересекают другие объекты Stateflow. | Рассмотрите модернизацию так, чтобы переходы не пересекали другие объекты Stateflow. |
| db_0129_d: Проверяйте ориентацию линий перехода | Переходы не являются вертикальными или горизонтальными и/или диагональными для циклов блок-схемы. | Рассмотрите модернизацию с помощью или горизонтальных или вертикальных переходов только и диагональных переходов для циклов блок-схемы. |
| db_0129_e: Проверяйте на ненужные соединительные соединения | Один или несколько графиков используют ненужные соединительные соединения. | Рассмотрите избегающие ненужные соединительные соединения. |
Эта проверка не отмечает переходы, которые перекрываются метками состояния, превышающими контур состояния.
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция db_0129 JMAAB
ID проверки: mathworks.jmaab.jc_0531
Проверяет размещение перехода по умолчанию в диаграммы Stateflow.
Эта проверка требует лицензия Stateflow и Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Параллельные состояния в модели имеют переходы по умолчанию. | Переходы по умолчанию не должны использоваться в параллельных состояниях. |
| Одно или несколько состояний Stateflow в модели не имеют переходов по умолчанию. | Убедитесь, что существует переход по умолчанию на каждом уровне. |
| Одно или несколько состояний Stateflow в модели имеют несколько переходов по умолчанию на том же уровне. | Несколько переходов по умолчанию не должны быть включены в тот же уровень. |
| Один или несколько переходов по умолчанию в модели не соединяются с главным состоянием или соединением. | Убедитесь, что переходы по умолчанию непосредственно соединяются с верхней частью состояния или соединения. |
| Одно или несколько целевых состояний или соединений переходов по умолчанию не находятся на верхней части. | Убедитесь, что целевое состояние перехода или целевое соединение перехода для перехода по умолчанию расположены в далекий верхний левый угол в том же уровне. |
| Один или несколько переходов по умолчанию в модели превышают государственные границы. | Убедитесь, что переход по умолчанию не превышает государственные границы. |
| Параметр Никакие безусловные переходы по умолчанию в Настройке> Диагностика> Stateflow не устанавливается на error. | Установите параметр Никакие безусловные переходы по умолчанию к error. |
Работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0531 JMAAB
Синтаксис для состояний и переходов (Stateflow)
ID проверки: mathworks.jmaab.jc_0723
Идентифицирует переходы в диаграммах Stateflow, которые заканчиваются на внешних дочерних состояниях.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Один или несколько переходов заканчиваются на внешних дочерних состояниях. | Полагайте, что модернизация избегает использования переходов, заканчивающихся на внешних дочерних состояниях. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Исключения поддержек графиков.
Инструкция jc_0723 MAB: Запрещенный прямой переход от внешнего состояния до дочернего состояния
Инструкция jc_0723 JMAAB
ID проверки: mathworks.jmaab.jc_0751
Проверяет неожиданное отслеживание в обратном порядке в изменения состояния. Параметр конфигурации для Unexpected backtracking (SFUnexpectedBacktrackingDiag) должен быть установлен в error.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Отслеживание в обратном порядке не обнаружено во время изменения состояния. | Установите параметр конфигурации для Unexpected backtracking (SFUnexpectedBacktrackingDiag) к error. |
Работает на моделях библиотеки.
Не анализирует содержимое соединенных библиотекой блоков.
Не анализирует содержимое в подсистемах маскированных.
Не позволяет исключения блоков и графиков.
Инструкция jc_0751 MAB: Отслеживание в обратном порядке предотвращения в изменении состояния
Инструкция jc_0751 JMAAB
ID проверки: mathworks.jmaab.jc_0760
Идентифицирует, должны ли во всех диаграммах состояний и блок-схемах, внутренние переходы от государственных границ начать с левого края состояния.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Начальная точка одного или нескольких внутренних переходов от государственных границ диаграмм состояний или блок-схем не начинает с левого края состояния. | Убедитесь, что во всех диаграммах состояний и блок-схемах, внутренние переходы от государственных границ должны начать с левого края состояния. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция jc_0760 MAB: Начальная точка внутреннего перехода
Инструкция jc_0760 JMAAB
ID проверки: mathworks.jmaab.jc_0763
Идентифицирует состояния Stateflow, который использует несколько внутренних переходов.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a1/a2
JMAAB — a1/a2
Подпроверяйте, что jc_0763_a1 выбран по умолчанию.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0763_a1: Проверяйте на несколько внутренних переходов | Одно или несколько состояний Stateflow имеют несколько внутренних переходов. | Реконструируйте, чтобы избежать использования нескольких внутренних переходов. |
| jc_0763_a2: Проверяйте порядок нескольких внутренних переходов | Одно или несколько состояний Stateflow имеют несколько внутренних переходов, не помещенных в порядке выполнения. | Рассмотрите помещающие внутренние переходы сверху донизу в порядке выполнения. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция jc_0763 MAB: Использование нескольких внутренних переходов
Инструкция jc_0763 JMAAB
ID проверки: mathworks.jmaab.jc_0762
Проверки, если состояния активности в состояниях и операторах блок-схемы используются в комбинации.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Состояния Stateflow комбинируют состояние активности и блок-схему. | Разделите состояния активности и операторы блок-схемы в различные состояния. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция jc_0762 MAB: Запрет на состояние активности и комбинацию блок-схемы
Инструкция jc_0762 JMAAB
ID проверки: mathworks.maab.db_0132
Проверяйте ориентации перехода в блок-схемы.
Следующие правила применяются к переходам в блок-схемах:
Чертите условия перехода горизонтально.
Чертите переходы с действием условия вертикально.
Соединения в блок-схемах должны иметь выходной переход по умолчанию.
Переходы в блок-схемах не должны комбинировать условие и действие.
Эта проверка требует лицензия Stateflow и Simulink Check.
| Условие | Рекомендуемое действие |
|---|---|
| Модель включает переход с условием, которое не чертится горизонтально или действие перехода, которое не чертится вертикально. | Измените модель, чтобы не иметь:
|
| Соединение не имеет выходного перехода по умолчанию | Добавьте выходной переход по умолчанию к соединению. |
| Переход имеет условие и действие | Разделите условие и действие в отдельные переходы |
Проверка только отмечает блок-схемы, содержащие построения цикла, если переход нарушает правило ориентации.
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция db_0132 JMAAB
ID проверки: mathworks.jmaab.jc_0773
Идентифицирует безусловные переходы в блок-схемах.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, B
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0773_a: Проверяйте на присутствие безусловного перехода, происходящего из перекрестка Stateflow с условным переходом | Одно или несколько соединений Stateflow не имеют безусловных переходов, происходящих от них. | Рассмотрите добавление безусловного перехода к соединению. |
| jc_0773_b: Проверяйте порядок выполнения безусловных переходов | Одно или несколько соединений Stateflow имеют безусловные переходы, которые не выполняются в последний раз. | Рассмотрите устанавливание порядка выполнения безусловного перехода от соединения до самого высокого значения. |
Работает на моделях библиотеки.
Исключения поддержек блоков или графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0773 JMAAB
ID проверки: mathworks.jmaab.jc_0775
Идентифицирует использование терминальных соединений в блок-схемах.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a1/a2
JMAAB — a1/a2
Подпроверяйте, что jc_0775_a1 выбран по умолчанию.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0775_a1: Проверяйте на использование только одного терминального соединения | Один или несколько контейнеров Stateflow имеют больше чем одно терминальное соединение. | Рассмотрите использование только одного терминального соединения. |
| jc_0775_a2: Проверяйте на использование одного терминального перекрестка с одним безусловным переходом, как введено | Один или несколько контейнеров Stateflow имеют или больше чем одно терминальное соединение или терминальное соединение без одного безусловного перехода. | Рассмотрите использование только одного терминального перекрестка с одним безусловным переходом, как введено. |
Работает на моделях библиотеки.
Исключения поддержек блоков или графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0775 JMAAB
ID проверки: mathworks.jmaab.jc_0738
Идентифицирует комментарии, который содержит новую строку (строки) или вложенный в середине в Stateflow.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0738_a: Если язык действия является "C", вложение комментария не должно использоваться | На или больше комментариев в объектах Stateflow вкладываются. | Комментарии в Stateflow не должны быть вложены. |
| jc_0738_b: Если язык действия является "C", комментарии не должны содержать новую строку (строки) в середине | Один или несколько комментариев в объектах Stateflow содержат новую строку (строки) в середине. | Комментарии в Stateflow не должны содержать новую строку (строки) в середине. |
Работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Инструкция jc_0738 MAB: Использование комментариев Stateflow
Инструкция jc_0738 JMAAB
ID проверки: mathworks.jmaab.jc_0790
Проверки, если язык действия диаграмм Stateflow установлен в C.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Язык действия одной или нескольких диаграмм Stateflow не установлен в C. | Установите весь язык действия диаграмм Stateflow на C. |
Работает на моделях библиотеки.
Позволяет исключения графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0790 JMAAB
ID проверки: mathworks.jmaab.jc_0702
Идентифицирует использование числовых литералов в состояниях Stateflow и переходах.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Одно или несколько выражений в состояниях Stateflow и переходов Stateflow содержат числовые литералы. | Полагайте, что модернизация использует названный параметрами и константами вместо числовых литералов. |
Работает на моделях библиотеки.
Исключения поддержек блоков или графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0702 MAB: Использование именованных параметров Stateflow и констант
Инструкция jc_0702 JMAAB
ID проверки: mathworks.maab.jm_0011
Идентифицируйте операции указателя на переменных пользовательского кода.
Указатели на переменные пользовательского кода не позволены.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка требует лицензии.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Переменные пользовательского кода используют операции указателя. | Измените заданный график, чтобы удалить зависимость от операций указателя. |
Применяется только к диаграммам Stateflow, которые используют C в качестве языка действия.
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция jm_0011 JMAAB
ID проверки: mathworks.jmaab.jm_0012
Идентифицируйте неориентированные широковещательные сообщения события, которые могут вызвать рекурсию в процессе моделирования и сгенерировать неэффективный код.
Широковещательные сообщения события в диаграммах Stateflow должны быть направлены.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a1/a2/a3
Подпроверяйте, что jm_0012_a1 выбран по умолчанию.
| Инструкция идентификаторы Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jm_0012_a1: Проверяйте, используются ли события Stateflow только в выходе блоков Stateflow | События Stateflow не используются в выходе блоков Stateflow. | Измените осциллограф вышеупомянутых перечисленных событий Stateflow, чтобы вывести. |
| jm_0012_a2: Проверяйте, направлены ли широковещательные события Stateflow с помощью, "отправляют" синтаксис | Широковещательные события Stateflow не направлены с помощью, "отправляют" синтаксис. | Используйте, "отправляют (event_name, state_name)" синтаксис, чтобы широковещательно передать события Stateflow. |
| jm_0012_a3: Проверяйте, направлены ли широковещательные события Stateflow с помощью квалифицированного имени события | События Stateflow не направлены с помощью квалифицированного имени события. | Используйте, "отправляют (state_name.event_name)" синтаксис, чтобы широковещательно передать события Stateflow. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на all.
Позволяет исключения блоков и графиков.
ID проверки: mathworks.jmaab.jc_0733
Идентифицирует состояния активности, которые не работают в состояниях Stateflow.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a, B
JMAAB — a, B
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0733_a: Проверяйте основные типы состояния активности | Одно или несколько состояний Stateflow имеют основные типы состояния активности, записанные не в порядке. | Рассмотрите упорядоченное расположение состояний активности в порядке записи (en), во время (du), и выход (исключая). |
| jc_0733_b: Проверяйте объединенные типы состояния активности | Одно или несколько состояний Stateflow объединили типы состояния активности, записанные не в порядке. | Рассмотрите упорядоченное расположение состояний активности в порядке записи (en), во время (du), и выход (исключая). |
Работает на моделях библиотеки.
Исключения поддержек графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0733 JMAAB
ID проверки: mathworks.jmaab.jc_0734
Идентифицирует повторенные типы Действия в состоянии Stateflow.
Типы действия (запись (en), во время (du), выход (исключая), en, du: du, исключая: en, исключая: en, du, исключая:) не должен быть описан два или больше раза в состоянии Stateflow.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Один или несколько типов действия используются многократно в состоянии Stateflow. | Объедините типы действий так, чтобы каждый из типов действия был задан только однажды в состоянии Stateflow. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения графиков.
Инструкция jc_0734 MAB: Количество типов состояния активности
Инструкция jc_0734 JMAAB
ID проверки: mathworks.jmaab.jc_0740
Проверки, если выходные действия Stateflow используются в модели.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Одно или несколько состояний Stateflow используют выходной тип действия. | Рассмотрите выход типа состояния активности удаления в состояниях Stateflow. |
Работает на моделях библиотеки.
Исключения поддержек графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0740 MAB: Ограничение на использование выходного состояния активности
Инструкция jc_0740 JMAAB
ID проверки: mathworks.jmaab.jc_0741
Проверки, если переменные, используемые в условиях изменения состояния, выполняют обновление "во время" типа состояния активности.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Одна или несколько переменных в условии изменения состояния выполняют обновление "во время" типа состояния активности. | Убедитесь, что переменные, используемые в условиях изменения состояния, не выполняют обновление "во время" типа состояния активности. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция jc_0741 MAB: Синхронизация, чтобы обновить данные, используемые в условиях перехода диаграммы состояний
Инструкция jc_0741 JMAAB
ID проверки: mathworks.jmaab.jc_0772
Идентифицирует переходы, полученные из и безусловного Stateflow состояния переходы с более высоким приоритетом, чем условные переходы.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Переходы Stateflow найдены с более высоким приоритетом, чем условные переходы. | Измените порядок выполнения переходов или добавьте условие выполнения. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения блоков и графиков.
Инструкция jc_0772 MAB: Порядок выполнения и условия перехода линий перехода
Инструкция jc_0772 JMAAB
ID проверки: mathworks.jmaab.jc_0753
Проверки, если использование действий условия или действий перехода универсально в рамках того же графика.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки под-ID инструкции MAB, которые рекомендуются для использования NA-MAAB и JMAAB моделирование организаций стандартов:
NA-MAAB — a1/a2
JMAAB — a1/a2
Подпроверяйте, что jc_0753_a1 выбран по умолчанию.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0753_a1: Проверяйте действия перехода в диаграммы Stateflow | Следующие диаграммы Stateflow используют действия перехода. | Не используйте действия перехода в диаграммах Stateflow. |
| jc_0753_a2: Проверяйте использование действий условия и действий перехода в той же диаграмме Stateflow | Действия условия и действия перехода смешаны в рамках того же графика. | Использование действий условия или действий перехода должно быть универсальным в рамках того же графика. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция jc_0753 MAB: действия Условия и действия перехода в Stateflow
Инструкция jc_0753 JMAAB
ID проверки: mathworks.jmaab.db_0127
Идентифицирует, что Stateflow возражает, что используют выражения MATLAB, которые не подходят для генерации кода.
Эта проверка требует лицензии Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a1/a2
JMAAB — a1/a2
Подпроверяйте, что db_0127_a1 выбран по умолчанию.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| 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.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция db_0127 MAB: Ограничение на команды MATLAB в блоках Stateflow
Инструкция db_0127 JMAAB
ID проверки: mathworks.maab.jc_0481
Идентифицируйте равный операциям (==) в выражениях, где по крайней мере одна сторона выражения является переменным с плавающей точкой или постоянным.
Не используйте равный операциям с типами данных с плавающей точкой. Можно использовать равный операциям с целочисленными типами данных.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
Выражения используют равный операциям (==) где по крайней мере одна сторона выражения является переменным с плавающей точкой или постоянным. | Измените заданные выражения, чтобы избежать равный операциям между выражениями с плавающей точкой. Если равное операции требуется, предел погрешности должен задаваться и использоваться в операции. |
| Model Advisor не мог определить типы данных в выражениях с операциями равенства. | Чтобы позволить Model Advisor определять типы данных, рассмотрите явным образом преобразование типа заданных выражений. |
Не работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция jc_0481 MAB: Использование твердых сравнений равенства для чисел с плавающей точкой в Stateflow
Инструкция jc_0481 JMAAB
ID проверки: mathworks.jmaab.na_0001
Идентифицирует использование операторов в Stateflow.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a, b1/b2/b3, c
Подпроверки na_0001_a, na_0001_b1, и na_0001_c выбраны по умолчанию.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| na_0001_a: Использование побитовых операторов в Stateflow | Одно или несколько выражений имеют неправильное использование побитовых операторов. | Рассмотрите использование побитовых операторов ('& ', ' | ', '^', '~') для битовых операций только. |
| na_0001_b1: Использование оператора неравенства (~=) в Stateflow | Одно или несколько выражений имеют неправильное использование операторов неравенства. | Рассмотрите использование '~ =' для операций неравенства. |
| na_0001_b2: Использование оператора неравенства (! =) в Stateflow | Одно или несколько выражений имеют неправильное использование операторов неравенства. | Рассмотрите использование'! =' для операций неравенства. |
| na_0001_b3: Использование оператора неравенства (<>) в Stateflow | Одно или несколько выражений имеют неправильное использование операторов неравенства. | Рассмотрите использование' <>' для операций неравенства. |
| na_0001_c: Использование логического оператора отрицания в Stateflow | Один или несколько сценариев имеют неправильное использование логического оператора отрицания. | Рассмотрите использование'!' для логических операций отрицания |
Применяется только к графикам, которые используют C в качестве языка действия.
Не работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция na_0001 MAB: Стандартное использование операторов Stateflow
Инструкция na_0001 JMAAB
ID проверки: mathworks.jmaab.jc_0655
Идентифицирует булевы переходы типа в диаграммах Stateflow, которые используют или сравнение с числами или логические значения (TRUE или FALSE), или используют операторы отрицания (! или ~) непостоянно в модели.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Булевы транзакции типа по сравнению с числами или логическими значениями (TRUE или FALSE). | Убедитесь, что булевы транзакции типа не по сравнению с числами или логическими значениями. |
Работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0655 MAB: Запрет на сравнение логического значения в Stateflow
Инструкция jc_0655 JMAAB
ID проверки: mathworks.maab.jc_0451
Идентифицируйте унарный минус операции, применился к беззнаковому целому в объектах Stateflow.
Не выполняйте унарный минус операции на беззнаковом целом в объектах Stateflow.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Унарный минус операции применяются к беззнаковому целому в объектах Stateflow. | Измените заданные объекты удалить зависимость от унарного минус операции. |
| Model Advisor не мог определить типы данных в выражениях с унарным минус операции. | Чтобы позволить Model Advisor определять типы данных, рассмотрите явным образом преобразование типа заданных выражений. |
Не работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция jc_0451 MAB: Использование унарных минус на беззнаковом целом
Инструкция jc_0451 JMAAB
ID проверки: mathworks.jmaab.jc_0802
Идентифицирует неявное преобразование типа в Stateflow.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Одна или несколько операций и/или вызовов функции в диаграммах Stateflow имеют неверный тип данных. | Все операции и вызовы функции должны быть сделаны между переменными совпадающего типа данных. Если типы данных отличаются, переменные должны быть явным образом типом, литым, чтобы совпадать с типами данных. |
Не работает на моделях библиотеки.
Позволяет исключения блоков или графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0802 MAB: Запрещенное использование неявного преобразования типа в Stateflow
Инструкция jc_0802 JMAAB
ID проверки: mathworks.jmaab.jc_0732
Проверки, если в одной диаграмме Stateflow, имя Данных Stateflow и имя состояния Stateflow являются тем же самым.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Если имя Данных Stateflow и имя состояния Stateflow имеют то же имя в диаграмме Stateflow. | Переименуйте или имени Данных Stateflow или имени состояния Stateflow к не быть идентичными именами. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения графиков.
Инструкция jc_0732 MAB: Различие между именами состояния, именами данных и именами события
Инструкция jc_0732 JMAAB
ID проверки: mathworks.jmaab.jc_0730
Имена состояния должны быть уникальными в графиках, за исключением Атомарных подграфиков. Т.е. Атомарные Подграфики обработаны как различный контейнер, таким образом, они могут совместно использовать Имена состояния с другими состояниями за пределами подграфика.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| В диаграмме Stateflow два или больше состояния Stateflow имеют то же имя. | Переименуйте состояния Stateflow так, чтобы не было никаких идентичных имен в диаграмме Stateflow. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения графиков.
Инструкция jc_0730 MAB: Уникальное имя состояния в блоках Stateflow
Инструкция jc_0730 JMAAB
ID проверки: mathworks.jmaab.jc_0731
Проверки на наклонные черты (/) на имена состояния.
Проверки, если наклонные черты (/) включены в имена состояния. После того, как имя состояния задано, добавьте новую линию для описания любых исполняемых операторов. Наклонная черта (/) требуется только при описании исполняемых операторов в продолжении после имен состояния.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Наклонная черта находится на имя состояния. | Удалите наклонную черту с имени состояния и убедитесь, что запустили новую строку для любых исполняемых операторов. |
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения графиков.
Инструкция jc_0731 JMAAB
ID проверки: mathworks.maab.jc_0501
Идентифицируйте недостающие разрывы строки между действием записи (en), во время действия (du), и выходное действие (ex) записи в состояниях. Идентифицируйте недостающие разрывы строки после точек с запятой (;) в операторах.
Запустите новую строку после entry, during, и exit записи, и после завершения оператора “;”.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
entry (en) не находится на новой строке. | Добавьте новую линию после entry. |
during (du) не находится на новой строке. | Добавьте новую линию после during. |
exit (ex) не находится на новой строке. | Добавьте новую линию после exit. |
| Несколько операторов найдены на одной линии. | Добавьте новую линию после каждого оператора. |
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Эта проверка поддерживается разовой редактированием проверкой.
Инструкция jc_0501 JMAAB
ID проверки: mathworks.jmaab.jc_0736
Проверяйте на универсальное добавление отступа строк метки в состояниях Stateflow и Переходах.
Проверки, если добавления отступа в блоках Stateflow описаны однородно и придерживаются следующих рекомендаций:
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a, B, C
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0736_a: Проверяйте на универсальное добавление отступа языка действия в состояниях Stateflow | Одно или несколько состояний Stateflow в модели не имеют универсального добавления отступа. | Рассмотрите удаление пробелов перед типами состояния активности и добавлением точного количества однобайтовых пробелов, как задано во входном параметре перед исполняемыми операторами. |
| jc_0736_b: Проверяйте на универсальный интервал типов действия перехода | Один или несколько переходов Stateflow в модели не имеют универсального интервала. | Рассмотрите не добавляющие пробелы прежде' [' условия перехода, '{' действия перехода и '/' события в переходе. |
| jc_0736_c: Проверяйте на универсальный интервал действий перехода | Один или несколько переходов Stateflow в модели не имеют универсального интервала. | Рассмотрите добавление точного количества однобайтовых пробелов, как задано во входном параметре после '/' действия перехода. |
Выбор поддержек Инструкции идентификаторы Sub.
Работает на моделях библиотеки.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Позволяет исключения графиков.
Инструкция jc_0736 MAB: Универсальные добавления отступа в блоках Stateflow
Инструкция jc_0736 JMAAB
ID проверки: mathworks.jmaab.jc_0739
Идентифицирует состояния Stateflow с текстом, превышающим контур состояния.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Одно или несколько состояний Stateflow в модели имеют текст, превышающий контур состояния. | Убедитесь, что текст в состоянии Stateflow не выходит за пределы контура состояния. |
Эта проверка отмечает все состояния Stateflow в модели, которые имеют символ новой строки в тексте. Этот флаг происходит, даже если текст в состоянии Stateflow содержится в контуре состояния.
Работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция jc_0739 JMAAB
ID проверки: mathworks.jmaab.jc_0770
Проверяет размещение меток Перехода Stateflow. Метка сигнала Stateflow должна всегда быть в начале координат сигнала или в средней точке линии перехода сигнала.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a1/a2
Подпроверяйте, что jc_0770_a1 выбран по умолчанию.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0770_a1: метки Перехода должны быть помещены около места происхождения перехода | Одному или нескольким переходам Stateflow не поместили строку метки около источника перехода. | Убедитесь, что поместили метки Stateflow около места происхождения перехода. |
| jc_0770_a2: метки Перехода должны быть помещены около центра перехода | Одному или нескольким переходам Stateflow не поместили строку метки около центра перехода. | Убедитесь, что поместили метки Stateflow около средней точки (центр) перехода. |
Работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0770 JMAAB
ID проверки: mathworks.jmaab.jc_0771
Идентифицирует комментарии в метках перехода, которые не расположены однородно.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка содержит подпроверки, которые соответствуют sub идентификаторам, которые заданы в MAB и руководствах по моделированию JMAAB. Можно использовать Model Advisor Configuration Editor, чтобы задать который sub идентификаторы (один или несколько), чтобы выполниться.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a1/a2
JMAAB — a1/a2
Подпроверяйте, что jc_0771_a1 выбран по умолчанию.
| Инструкция ID Sub | Условие | Рекомендуемое действие |
|---|---|---|
| jc_0771_a1: Комментарии в метках перехода должны быть однородно расположены на верхнюю часть | Один или несколько комментариев в метках перехода не расположены наверху. | Комментарии в метках перехода должны быть расположены выше условий перехода, действий условия, действий перехода и событий Stateflow. |
| jc_0771_a2: Комментарии в метках перехода должны быть однородно расположены в нижнюю часть | Один или несколько комментариев в метках перехода не расположены в нижнюю часть. | Комментарии в метках перехода должны быть расположены ниже условий перехода, действий условия, действий перехода и событий Stateflow. |
Работает на моделях библиотеки.
Исключения поддержек блоков или графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция jc_0771 MAB: Прокомментируйте положение в метках перехода
Инструкция jc_0771 JMAAB
ID проверки: mathworks.jmaab.jc_0752
Проверки, если новая строка запускается до и после круглых скобок для действий условия в переходах Stateflow.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Действия условия в переходах Stateflow записаны около круглой скобки. | Запустите новую строку до и после круглых скобок для действий условия в переходах Stateflow. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Позволяет исключения блоков и графиков.
Инструкция jc_0752 JMAAB
ID проверки: mathworks.jmaab.jc_0774
Идентифицирует комментарии в безусловных переходах без операторов действия.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Один или несколько безусловных переходов без операторов действия не имеют комментариев. | Рассмотрите добавление комментария, объяснив безусловный переход. |
Работает на моделях библиотеки.
Исключения поддержек блоков или графиков.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Инструкция jc_0774 MAB: Комментарии для посредством перехода
Инструкция jc_0774 JMAAB
ID проверки: mathworks.maab.jc_0511
Идентифицируйте графические функции с несколькими присвоениями возвращаемых значений в диаграммах Stateflow.
Возвращаемое значение от графической функции Stateflow должно быть установлено только в одном месте.
Эта проверка требует лицензия Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — Никакие рекомендации
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Возвращаемое значение от графической функции Stateflow присвоено в нескольких местах. | Измените заданную графическую функцию так, чтобы ее возвращаемое значение было установлено в одном месте. |
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция jc_0511 MAB: Возвращаемые значения от графической функции
Инструкция jc_0511 JMAAB
Допускающие повторное использование функции в графиках (Stateflow).
ID проверки: mathworks.jmaab.na_0042
Проверяет использование функций Simulink в Stateflow.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Входные параметры, переданные Функциям Simulink, должны быть данными 'Локального' осциллографа. | Измените осциллограф данных о чате к 'Локальному'. |
| Входные параметры передали данным об использовании Функций Simulink кроме смеси осциллографа 'Input' и 'Локального' осциллографа. | Входные параметры, переданные Функциям Simulink, должны быть смесью данных 'Локального' осциллографа и 'Входного' осциллографа. |
| Функции Simulink не вызваны от нескольких местоположений в рамках графика. | Убедитесь, что функции Simulink снова используются. |
Эта проверка не анализирует, если функции Simulink вызваны каждый временной шаг.
Работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция na_0042 JMAAB
ID проверки: mathworks.maab.na_0039
Проверки на диаграммы Stateflow, которые вкладываются в функциях Simulink, используемых в корневой диаграмме Stateflow.
Проверки Simulink функционирует в корневой диаграмме Stateflow и идентифицирует диаграммы Stateflow, которые вкладываются в этих функциях.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Функция Simulink имеет вложенную диаграмму Stateflow. | Рассмотрите изменение вашей корневой диаграммы Stateflow, таким образом, функция Simulink не содержит вложенную диаграмму Stateflow. |
Не проверяет состояния Stateflow.
Работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Позволяет подсветку синтаксиса.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Инструкция na_0039 MAB: Ограничение на Simulink функционирует в блоках Графика
Инструкция na_0039 JMAAB
ID проверки: mathworks.maab.himl_0003
Отобразите сложность и метрики кода для функций MATLAB. Сообщите о метрических нарушениях.
Эта проверка обеспечивает сложность и метрики кода для функций MATLAB. Проверка дополнительно сообщает о метрических нарушениях.
Таблица результатов обеспечивает ссылки на функции MATLAB, которые нарушают входные параметры сложности.
Эта проверка требует лицензии Simulink Check.
Эта проверка Model Advisor не применима для руководств по моделированию JMAAB.
Эта проверка не включает подпроверки
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — Не поддерживаемый
Чтобы задать пороги сложности, используйте Model Advisor Configuration Editor.
Откройте Редактора конфигурации Модели и ищите ID проверки 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:
|
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
ID проверки: mathworks.maab.na_0024
Проверяйте на глобальные переменные в коде MATLAB.
Проверяет, что глобальные переменные не используются ни в одном следующем:
Код MATLAB в блоках MATLAB function
Функции MATLAB заданы в диаграммах Stateflow
Названные функции MATLAB
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
Глобальные переменные используются в одном или нескольких из следующего:
| Замените глобальные переменные на сигнальные линии, аргументы функции или персистентные данные. |
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Не позволяет исключения блоков или графиков.
Инструкция na_0024 MAB: Разделяемые данные в функциях MATLAB
Инструкция na_0024 JMAAB
ID проверки: mathworks.maab.na_0031
Идентифицирует классы перечисления, используемые в модели без спецификации значения по умолчанию.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Классы перечисления в модели не имеют спецификации значения по умолчанию. | Убедитесь, что классы перечисления, используемые в модели, имеют getDefaultValue реализацию метода как статический метод класса. |
Не работает на моделях библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Не позволяет исключения блоков и графиков.
Анализирует содержимое соединенных блоков библиотеки.
Инструкция na_0031 MAB: Определение перечисляемого значения по умолчанию
Инструкция na_0031 JMAAB
ID проверки: mathworks.maab.na_0034
Идентифицируйте функции MATLAB, которые имеют входные параметры, выходные параметры или параметры с наследованной сложностью или свойствами типа данных.
Проверка идентифицирует функции MATLAB с наследованной сложностью или свойствами типа данных. Таблица результатов обеспечивает ссылки на функции MATLAB, которые не передают проверку, наряду с условиями, инициировавшими предупреждение.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Функции MATLAB имеют наследуемые интерфейсы. | Явным образом задайте сложность и свойства типа данных для импорта, выходных портов и параметров функции MATLAB, идентифицированной в результатах. Если применимо, с помощью Редактора блока MATLAB function (Simulink), сделайте следующие модификации в Портах и Менеджере данных (Simulink):
|
Работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Анализирует содержимое во всех подсистемах маскированных.
Позволяет исключения блоков и графиков.
Инструкция na_0034 MAB: настройки ввода/вывода блока MATLAB function
Инструкция na_0034 JMAAB
ID проверки: mathworks.maab.na_0017
Проверки, меньше ли количество вызовов функции в блоках MATLAB function порога набора. По умолчанию предел устанавливается к три.
Эта проверка требует лицензии Simulink Check.
Эта проверка Model Advisor не применима для руководств по моделированию JMAAB.
Эта проверка не включает подпроверки
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — Не поддерживаемый
| Условие | Рекомендуемое действие |
|---|---|
| Количество вызовов функции в блоках MATLAB function больше порога набора. по умолчанию порог набора равняется трем. Порог набора может быть изменен при помощи входного параметра Function Call Level в редакторе конфигурации. | Сократите количество вызовов функции от блоков MATLAB function, чтобы быть меньше порога набора. |
Вызовы рекурсивной функции только считаются однажды.
Встроенные методы класса не анализируются.
Работает на моделях библиотеки.
Позволяет исключения блоков и графиков.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
ID проверки: mathworks.maab.na_0021
Проверяйте на использование векторов символов в блоках MATLAB Function.
Идентифицирует векторы символов, которые используются в блоках MATLAB Function.
Функции MATLAB хранят строки как символьные массивы. Из-за отсутствия динамического выделения памяти, массивы не могут быть изменены, чтобы разместить значение строки различной длины. Строки не являются поддерживаемым типом данных в Simulink, таким образом, блоки MATLAB Function не могут передать данные о строке вне блока.
Эта проверка требует лицензии Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Блок MATLAB Function содержит вектор символов. | Рассмотрите использование перечислений вместо векторов символов. |
Не отмечает строки в MATLAB
Не отмечает векторы символов, которые трудно закодированы в определение класса.
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
Инструкция na_0021 JMAAB
ID проверки: mathworks.maab.na_0022
Проверяйте на использование непостоянных переменных в Переключателе/Операторах выбора.
В сгенерированном коде входные параметры блока MATLAB function передаются в качестве функциональных аргументов. Эта проверка оценивает Переключатель/Операторы выбора в сгенерированном коде, чтобы определить, используются ли непостоянные значения в аргументе Case.
Эта проверка требует лицензии Simulink Check.
Эта проверка Model Advisor не применима для руководств по моделированию JMAAB.
Эта проверка не включает подпроверки
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — Не поддерживаемый
| Условие | Рекомендуемое действие |
|---|---|
| Непостоянные переменные используются в Переключателе/Операторе выбора. | Рассмотрите определение входной переменной как константу. |
Работает на моделях библиотеки.
Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.
Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.
ID проверки: mathworks.jmaab.jc_0801
Идентифицирует использование C-стиля (/* и */) комментарии в файлах CGT и объектах MPT.
Эта проверка требует лицензии Stateflow и Simulink Check.
Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.
Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:
NA-MAAB — a
JMAAB — a
| Условие | Рекомендуемое действие |
|---|---|
| Одна или несколько сущностей используют комментарии C-стиля. | Рассмотрите комментарии C-стиля удаления в файлах CGT и объектах MPT. |
Не работает на моделях библиотеки.
Не анализирует содержимое соединенных блоков библиотеки.
Не анализирует содержимое во всех подсистемах маскированных.
Не позволяет исключения блоков или графиков.
Инструкция jc_0801 MAB: Запрещенное использование/* и */символов комментария
Инструкция jc_0801 JMAAB
