文档

模型顾问检查MAAB指南

万博1manbetx®检查™提供模型顾问MAAB检查,对应于MAAB指南的子集。您可以使用Model Advisor运行检查。

下表总结了MAAB指南和相应的Model Advisor检查。并非所有指南都有Model Advisor检查。对于一些没有Model Advisor检查的指导方针,不可能自动检查指导方针。没有相应检查的指南被认为是不适用的。有关使用Model Advisor的信息,请参见运行模型检查在Simuli万博1manbetxnk文档中。

MAAB指南3.0版 按照任务>MAAB建模标准子文件夹 Model Advisor检查
na_0026:一致的软件环境

不适用

na_0027:只使用标准库块

不适用

ar_0001:文件名 命名约定 检查文件名
ar_0002:目录名 命名约定 检查文件夹名称
na_0035:采用命名约定

不适用

jc_0201:子系统名称的可用字符

命名约定 检查子系统名称

jc_0211:导入块和输出块的可用字符

命名约定 检查端口块名称

jc_0221:信号线名称的可用字符

命名约定 检查信号标签中的字符使用情况

na_0030: Simulink总线名称的可用字符万博1manbetx

命名约定 检查Simu万博1manbetxlink总线信号名称

jc_0231:块名的可用字符

命名约定 检查块名称中的字符使用情况

na_0014:在Simulink和Stateflow中使用本地语言万博1manbetx

不适用

na_0006: Simulink和statflow混合使用指南万博1manbetx

不适用

na_0007:流程图、真值表和状态机的使用指南

不适用

db_0143:模型级别上类似的块类型

模型架构 检查混合的基本块和子系统

db_0144:子系统的使用

不适用

db_0040:模型层次结构

不适用

na_0037:使用单变量变量条件句

模型架构 检查单变量变量条件句的使用

na_0020:变量子系统的输入数量

模型架构 检查变体子系统中未使用的端口

na_0036:默认变量

模型架构 检查默认变量的使用情况

jc_0301:控制器模型

不适用

jc_0311:顶层/根级

不适用

jc_0321:触发层

不适用

jc_0331:结构层

不适用

jc_0341:数据流层

不适用

jc_0011:布尔数据类型的优化参数

型号配置选项 将逻辑信号实现为布尔数据(vs. double)

jc_0021模型诊断设置

型号配置选项 检查模型诊断参数

na_0004: 万博1manbetxSimulink模型外观

万博1manbetx 检查使用非标准显示属万博1manbetx性的Simulink图

db_0043: 万博1manbetxSimulink字体和字体大小

万博1manbetx 检查字体格式

db_0042: Simulink模型中的端口万博1manbetx块

万博1manbetx 检查端口定位和配置

na_0005:端口块名称在Simulink模型中的可见性万博1manbetx

万博1manbetx 检查块端口名称的可见性

jc_0081:端口块图标显示

万博1manbetx 检查显示端口阻塞

jm_0002:块大小调整

不适用

db_0142:块名称的位置

万博1manbetx 检查区块名称是否出现在区块下面

jc_0061:显示块名

万博1manbetx 检查块名的显示属性

db_0146:触发、启用、条件子系统

万博1manbetx 检查触发块和使能块的位置

db_0140:显示基本块参数

万博1manbetx 检查非默认块属性

na_0032:使用合并块

万博1manbetx 检查合并块的使用情况

db_0141: Simulink模型中的信号流万博1manbetx

不适用

jc_0171:在使用Goto和From块时维护信号流

不适用

na_0032:使用合并块

不适用

jm_0010: Simulink模型中的端口块名称万博1manbetx

万博1manbetx 检查端口和信号名称是否匹配

jc_0281:“触发端口块”和“启用端口块”的命名

万博1manbetx 勾选“触发”和“启用”块名称

na_0008:在信号上显示标签

万博1manbetx 检查信号线标签

na_0009:信号标签的输入与传播

万博1manbetx 检查传播信号标签

db_0097:信号和总线标签的位置

不适用

db_0081:未连接信号,块输入和块输出

万博1manbetx 检查未连接的端口和信号线

na_0003: If条件块中的简单逻辑表达式

万博1manbetx 检查If块中的逻辑表达式

na_0002:基本逻辑和数值操作的适当实现

万博1manbetx 检查基本的逻辑运算和数值运算

jm_0001:控制器内禁用的Simul万博1manbetxink标准块

万博1manbetx 检查离散控制器中禁止的块

hd_0001:禁止使用Simulink万博1manbetx接收器

万博1manbetx 检查被禁止的下沉块

na_0011:去到和从块的范围

万博1manbetx 检查From和Goto块的范围

jc_0141: Switch块的使用

万博1manbetx 检查Switch块的使用情况

jc_0121:使用Sum块

不适用

jc_0131:使用关系操作符块

万博1manbetx 检查关系操作符块的使用情况

jc_0161:使用数据存储读/写/内存块

不适用

db_0112:索引

万博1manbetx 以块为单位检查索引

na_0010:将数据流分组为信号

万博1manbetx 检查总线和Mux块的使用情况

db_0110:基本块中的可调参数

万博1manbetx 检查块中可调参数的使用情况

na_0012: Switch与If-Then-Else动作子系统的使用

不适用

db_0114: 万博1manbetxIf-then-else-if构造的Simulink模式

不适用

db_0115:用万博1manbetx于实例构造的Simulink模式

不适用

na_0028:使用If-Then-Else动作子系统替换多个交换机

不适用

db_0116:用万博1manbetx于逻辑块的逻辑构造的Simulink模式

不适用

db_0117:矢万博1manbetx量信号的Simulink模式

不适用

jc_0351:初始化方法

不适用

jc_0111:子系统方向

万博1manbetx 检查子系统块的朝向

db_0123:状态流端口名称

Stateflow 检查状态流端口名称和相关信号之间的不匹配

db_0129:状态流转换外观

不适用

db_0137:状态机中的状态

Stateflow 检查状态机中独占状态和默认状态的使用情况

db_0133:流程图模式的使用

不适用

db_0132:流程图中的过渡

Stateflow 检查流程图中的过渡方向

jc_0501: State块中条目的格式

Stateflow 检查状态流程图中状态块中的条目格式

jc_0511:设置图形函数的返回值

Stateflow 检查状态流程图中图形函数的返回值分配

jc_0531:默认转换的位置

Stateflow 检查状态流程图中的默认转换位置

jc_0521:图形函数返回值的使用

Stateflow 检查状态流程图中图形函数返回值的使用情况

na_0001:位状态流操作符

Stateflow 检查状态流程图中的位操作

jc_0451:在状态流中对无符号整数使用一元减号

Stateflow 检查状态流程图中对无符号整数的一元减号操作

na_0013: statflow中的比较操作

Stateflow 检查状态流程图中的比较操作

db_0122: statflow和Simul万博1manbetxink接口信号和参数

Stateflow 使用Simulink I/O检查强数据类型万博1manbetx

db_0125:内部信号和局部辅助变量的作用域

Stateflow 检查具有本地作用域的状态流数据对象

jc_0481:在statflow中对浮点数使用硬相等比较

Stateflow 检查状态流程图中浮点表达式之间的相等操作

jc_0491:在单个statflow范围内重用变量

不适用

jc_0541:在statflow中使用可调参数

不适用

db_0127: statflow中的MATLAB命令

Stateflow 检查状态流程图中的MATLAB表达式

jm_0011:状态流中的指针

Stateflow 检查状态流程图中的指针

db_0126:事件范围

不适用

jm_0012:事件广播

Stateflow 在状态流程图中检查事件广播

db_0150:条件的状态机模式

不适用

db_0151:转换操作的状态机模式

Stateflow 在状态流程图中检查转换操作

db_0148:条件的流程图模式

不适用

db_0149:条件操作的流程图模式

不适用

db_0134: If结构的流程图模式

不适用

db_0159:案例构造的流程图模式

不适用

db_0135:循环构造的流程图模式

不适用

na_0038:状态流程图中的级别 Stateflow 检查状态流程图中的嵌套状态

na_0039:在状态流程图中使万博1manbetx用Simulink

Stateflow 检查状态流程图中Simul万博1manbetxink的使用情况

na_0040:每个容器的状态数

Stateflow 检查每个容器的状态流状态数

na_0041:函数类型选择

不适用

na_0042: Simulink函数的位万博1manbetx置

不适用

na_0033:枚举类型的使用

不适用

na_0031:默认枚举值的定义

不适用

na_0018:嵌套if/else和case语句的个数

MATLAB函数 检验MATLAB函数指标

na_0019:受限变量名

MATLAB函数 检查受限制变量名的使用情况

na_0025: MATLAB函数头

不适用

na_0034: MATLAB函数块输入输出设置

MATLAB函数 检查MATLAB函数的输入输出设置
na_0024:全局变量 MATLAB函数 检查MATLAB代码中的全局变量

na_0022: Switch/Case语句的推荐模式

MATLAB函数 检查Switch/Case语句的推荐模式的使用情况

na_0016: MATLAB函数的源代码行

MATLAB函数 检验MATLAB函数指标

na_0017:被调用函数级别的个数

不适用

na_0021:字符串

MATLAB函数 在MATLAB函数块内检查字符向量的使用情况
这个话题有用吗?