主要内容

模型顾问检查马伯建模指南

这个表标识顾问检查模型,您可以使用来验证合规与MathWorks模型®顾问委员会(MAB)建模的指导方针。

模型中的顾问访问马伯检查,选择:

  • 通过产品>金宝app仿真软件检查>建模标准>马伯检查

  • 按照任务>建模标准马伯

你需要金宝app®检查™执行这些检查。

请注意

一些指导方针没有相应模型顾问检查:

  • 没有检查——表明,可以通过使用模型检查指导顾问检查,但检查目前并不存在。

  • 没有支票——表明,它是不可能核实合规顾问这条指导原则使用模型检查。

马伯建模指南

(版本5.0)

 模型顾问检查 检查身份证

为文件名ar_0001:可用的字符

 检查文件名 mathworks.jmaab.ar_0001
为文件夹名字ar_0002:可用的字符 检查文件夹名称 mathworks.jmaab.ar_0002
db_0032:信号线连接 检查信号线的连接 mathworks.jmaab.db_0032
db_0042:使用尺寸和外港块 检查的位置尺寸和外港块 mathworks.jmaab.db_0042
db_0043:模型的字体和字体大小 检查模型的字体设置 mathworks.jmaab.db_0043
db_0081:无关的信号和块 检查信号无关的线条和块 mathworks.jmaab.db_0081
db_0097:标签的位置信号和公共汽车 检查标签的位置信号 mathworks.jmaab.db_0097
db_0110:块参数 检查使用的可调参数 mathworks.maab.db_0110
db_0112:使用索引 检查索引模式 mathworks.jmaab.db_0112

db_0123: Stateflow港口名称

 检查Stateflow港口的名字和相关的信号 mathworks.maab.db_0123
db_0125: Stateflow本地数据 检查Stateflow数据的定义 mathworks.jmaab.db_0125
db_0126:定义Stateflow事件 检查Stateflow事件的定义 mathworks.jmaab.db_0126
db_0127:限制MATLAB命令Stateflow块 检查MATLAB在Stateflow图表表达式 mathworks.jmaab.db_0127
db_0129: Stateflow过渡的外观 外观检查Stateflow过渡 mathworks.jmaab.db_0129
db_0132:转换流程图 检查转换Stateflow流程图 mathworks.jmaab.db_0132
db_0137:状态机的状态 检查状态机的状态 mathworks.jmaab.db_0137

db_0140:显示块的参数

 检查默认的属性 mathworks.maab.db_0140
db_0141:信号流在仿真软件模型金宝app 检查信号流模型 mathworks.jmaab.db_0141
db_0142:块的位置名称 检查块的名字是否出现下面的块 mathworks.maab.db_0142
db_0143:可用的块类型在模型层次结构 检查搅拌基本模块和子系统 mathworks.maab.db_0143
db_0144:使用的子系统 没有支票
db_0146:块布局条件子系统 检查条件块和迭代器块的位置 mathworks.jmaab.db_0146

hd_0001:禁止仿真软件下沉金宝app

 检查禁止沉块 mathworks.maab.hd_0001
jc_0008:定义的信号名称 检查信号的定义标签 mathworks.jmaab.jc_0008
jc_0009:传播信号的名字 检查信号名称传播 mathworks.jmaab.jc_0009
jc_0011:布尔数据类型的优化参数 检查实现逻辑信号布尔数据(比双) mathworks.maab.jc_0011

jc_0021:模型诊断设置

 检查模型的诊断参数 mathworks.maab.jc_0021
jc_0061:显示块的名字 检查块的显示属性的名字 mathworks.maab.jc_0061
jc_0081:尺寸和外港块图标显示 检查显示端口模块 mathworks.maab.jc_0081
jc_0110:块的方向 检查块方向 mathworks.jmaab.jc_0110
jc_0121:使用添加和减法块 检查使用的块 mathworks.jmaab.jc_0121
jc_0131:使用关系操作符块 检查使用关系操作符块 mathworks.maab.jc_0131
jc_0141:使用开关块 检查开关模块的使用 mathworks.maab.jc_0141
jc_0161:数据存储内存块的定义 检查使用的数据存储内存块 mathworks.jmaab.jc_0161
jc_0171:澄清之间的连接结构子系统 检查结构子系统之间的连接 mathworks.jmaab.jc_0171
为子系统名称jc_0201:可用的字符 检查子系统名称 mathworks.jmaab.jc_0201
jc_0211:可用字符轮廓尺寸块和外港 检查端口块名称 mathworks.jmaab.jc_0211
jc_0222:可用字符信号和总线名称 检查可用的字符信号名称和总线名称 mathworks.jmaab.jc_0222
jc_0231:可用的字符块的名字 校验字符块中使用的名字 mathworks.jmaab.jc_0231
jc_0232:可用字符参数名称 检查可用的参数名称的字符 mathworks.jmaab.jc_0232
jc_0241:长度限制模型文件的名字 检查文件名的长度模型 mathworks.jmaab.jc_0241
jc_0242:文件夹名称长度限制 各级检查文件夹名称的长度的路径模型 mathworks.jmaab.jc_0242
jc_0243:子系统名称长度限制 检查子系统名称的长度 mathworks.jmaab.jc_0243
jc_0244:长度限制尺寸和外港的名字 检查尺寸和输出港名称的长度 mathworks.jmaab.jc_0244
jc_0245:信号和总线名称长度限制 检查信号和总线名称的长度 mathworks.jmaab.jc_0245
jc_0246:参数名称长度限制 检查参数名称的长度 mathworks.jmaab.jc_0246
jc_0247:块名称长度限制 检查块名称的长度 mathworks.jmaab.jc_0247
jc_0281:触发信号名称 检查触发信号名称 mathworks.jmaab.jc_0281
jc_0451:使用一元-无符号整数 检查使用一元-业务Stateflow图表 mathworks.jmaab.jc_0451
jc_0481:使用硬Stateflow平等比较浮点数 检查使用的浮点表达式Stateflow图表 mathworks.maab.jc_0481
jc_0491: Stateflow数据的重用 没有支票
jc_0501:条目的格式在块中 检查条目格式状态块Stateflow图表 mathworks.jmaab.jc_0501
jc_0511:从图形函数返回值 检查返回值分配Stateflow图形功能 mathworks.maab.jc_0511
jc_0531:缺省转换 检查缺省转换位置Stateflow图表 mathworks.jmaab.jc_0531
jc_0602:模型元素名称的一致性 检查模型元素名称的一致性 mathworks.jmaab.jc_0602
jc_0603:模型描述 检查模型描述 mathworks.jmaab.jc_0603
jc_0604:使用块阴影 在模型中检查是否块阴影 mathworks.jmaab.jc_0604
jc_0610:运营商订单乘法和除法 检查操作订单的产品 mathworks.jmaab.jc_0610
jc_0611:输入信号的乘法和除法 检查输入信号在产品模块的迹象 mathworks.jmaab.jc_0611
jc_0621:使用逻辑操作符的街区 检查逻辑算符的图标形状块 mathworks.jmaab.jc_0621
jc_0622:使用Fcn块 检查Fcn块括号的表达式 mathworks.jmaab.jc_0622
jc_0623:使用连续时间延迟块和离散时间延迟块 检查使用的内存和单元延迟块 mathworks.jmaab.jc_0623
jc_0624:使用了延迟阻塞/延迟 检查单位延迟块级联 mathworks.jmaab.jc_0624
jc_0626:使用查找表的块 检查使用查找表 mathworks.jmaab.jc_0626
jc_0627:使用离散时间积分器的街区 检查使用离散时间的积分器 mathworks.jmaab.jc_0627
饱和jc_0628:使用块 检查使用的饱和 mathworks.jmaab.jc_0628
jc_0630:使用多端口切换模块 检查设置数据端口在多端口切换块 mathworks.jmaab.jc_0630
外港jc_0640:初始值设置块条件子系统 检查未定义的初始输出条件子系统 mathworks.jmaab.jc_0640
jc_0641:采样时间设置 检查样品时间设定 mathworks.jmaab.jc_0641
jc_0642:整数舍入模式设置 检查签署整数除法的舍入模式 mathworks.jmaab.jc_0642
jc_0643:定点设置 检查使用定点数据类型与非零的偏见 mathworks.jmaab.jc_0643
jc_0644:类型设置 检查类型设置数据对象 mathworks.jmaab.jc_0644
jc_0645:参数定义校准 检查是否可调块参数被定义为命名常量 mathworks.jmaab.jc_0645
jc_0650:块输入/输出数据类型转换函数 检查输入和输出数据类型开关街区 mathworks.jmaab.jc_0650
jc_0651:实现一个类型转换 检查输出数据类型的操作 mathworks.jmaab.jc_0651
在反馈回路jc_0653:延迟块布局 检查避免代数子系统之间循环 mathworks.jmaab.jc_0653
jc_0655:禁止在Stateflow逻辑值比较 检查禁止比较操作的逻辑类型信号 mathworks.jmaab.jc_0655
jc_0656:使用条件控制块 检查默认/切换情况下阻塞,如果其他情况 mathworks.jmaab.jc_0656
jc_0657:保留输出值基于条件控制流阻塞和合并 没有支票
jc_0659:信号的使用限制线合并块的输入 检查使用的块合并 mathworks.jmaab.jc_0659
Stateflow jc_0700:未使用的数据块 在Stateflow检查未使用的数据图表 mathworks.jmaab.jc_0700
jc_0701:可用数第一索引 首先检查可用的数字索引 mathworks.jmaab.jc_0701
命名Stateflow jc_0702:使用参数和常量 检查使用Stateflow数字字面值 mathworks.jmaab.jc_0702
在Stateflow jc_0711:部门 没有支票
jc_0712:执行时机缺省转换路径 检查执行时机缺省转换路径 mathworks.jmaab.jc_0712
jc_0721:使用平行状态 检查使用的平行状态 mathworks.jmaab.jc_0721
并行jc_0722:本地数据定义状态 检查的范围数据并行 mathworks.jmaab.jc_0722
jc_0723:禁止直接从外部状态过渡到儿童心理状态 检查使用的状态到外部的转换 mathworks.jmaab.jc_0723
在Stateflow块jc_0730:独特的国家的名字 检查状态名称的唯一性 mathworks.jmaab.jc_0730
jc_0731:国家名称格式 检查使用的名称 mathworks.jmaab.jc_0731
jc_0732:区分国家名称、数据名称和事件名称 检查Stateflow状态,数据的唯一性和事件名称 mathworks.jmaab.jc_0732
jc_0733:订单状态操作类型 检查订单状态操作类型 mathworks.jmaab.jc_0733
jc_0734:一些国家的行动类型 检查重复的动作类型 mathworks.jmaab.jc_0734
jc_0736:统一的压痕在Stateflow块 检查代码的缩进Stateflow状态 mathworks.jmaab.jc_0736
jc_0738:使用Stateflow评论 检查使用Stateflow评论 mathworks.jmaab.jc_0738
jc_0739:描述文本内部状态 检查使用的文本内部状态 mathworks.jmaab.jc_0739
jc_0740:限制使用退出状态的行动 检查状态动作类型“退出”是在模型中使用 mathworks.jmaab.jc_0740
jc_0741:定时更新数据中使用状态图转换的条件 检查更新变量中使用状态转换条件 mathworks.jmaab.jc_0741
jc_0751:回溯预防状态转换 检查意外回溯状态转换 mathworks.jmaab.jc_0751
jc_0752:条件行动过渡标签 检查使用括号Stateflow转换 mathworks.jmaab.jc_0752
行为和过渡动作Stateflow jc_0753:条件 检查条件的行为和在Stateflow过渡行动 mathworks.jmaab.jc_0753
jc_0760:内部转型的起点 检查内部过渡Stateflow的起点 mathworks.jmaab.jc_0760
jc_0762:禁止国家行动和流程图的组合 检查禁止政府行动的组合和流程图 mathworks.jmaab.jc_0762
jc_0763:使用多个内部转换 检查使用的内部状态在Stateflow的转换 mathworks.jmaab.jc_0763
jc_0770:过渡标签的位置 检查标签的位置字符串转换 mathworks.jmaab.jc_0770
jc_0771:评论标签位置过渡 检查评论在过渡标签的位置 mathworks.jmaab.jc_0771
jc_0772:执行顺序和转换条件的过渡线 检查使用Stateflow转换的转换条件 mathworks.jmaab.jc_0772
jc_0773:无条件的过渡的一个流程图 检查使用流程图的无条件的转换 mathworks.jmaab.jc_0773
通过过渡jc_0774:评论 检查评论在无条件的转换 mathworks.jmaab.jc_0774
在流程图jc_0775:终止连接 在Stateflow检查终端连接 mathworks.jmaab.jc_0775
jc_0790:动作语言的图块 检查Stateflow表动作语言 mathworks.jmaab.jc_0790
jc_0791:重复数据名称定义 检查模型数据的重复名称金宝app mathworks.jmaab.jc_0791
jc_0792:未使用的数据 检查未使用的数据在仿真软件模型金宝app mathworks.jmaab.jc_0792
在仿真软件jc_0794:部门金宝app 检查除零模型金宝app mathworks.jmaab.jc_0794
jc_0795:可用字符Stateflow数据名称 检查可用的字符Stateflow数据名称 mathworks.jmaab.jc_0795
jc_0796: Stateflow数据名称长度限制 检查Stateflow数据名称的长度 mathworks.jmaab.jc_0796
jc_0797:无关的转换/州/连接连接 检查在Stateflow无关的对象图表 mathworks.jmaab.jc_0797
在仿真软件jc_0800:比较浮点类型金宝app 在模型检查的比较浮点类型金宝app mathworks.jmaab.jc_0800
jc_0801:禁止使用/ *和* /注释的符号 检查c风格的注释符号的使用 mathworks.jmaab.jc_0801
jc_0802:禁止在Stateflow使用隐式类型的铸件 检查隐式类型Stateflow铸造 mathworks.jmaab.jc_0802
jc_0803:库函数传递值 没有支票
jc_0804:禁止使用图形函数的递归调用 在Stateflow检查使用的图形功能 mathworks.jmaab.jc_0804
jc_0805:数值操作块输入 没有检查
jc_0806:检测错误的计算结果 检查诊断设置不正确的计算结果 mathworks.jmaab.jc_0806
jm_0002:块调整 没有检查
在Stateflow jm_0011:指针 检查指针在Stateflow图表 mathworks.maab.jm_0011
jm_0012:使用限制和广播事件的事件 检查使用的事件和广播事件Stateflow图表 mathworks.jmaab.jm_0012
na_0001: Stateflow运营商的标准用法 检查Stateflow运营商 mathworks.jmaab.na_0001
na_0002:适当的使用基本的逻辑和数值操作 检查基本逻辑和数值操作 mathworks.jmaab.na_0002
如果块na_0003:使用 如果块检查逻辑表达式 mathworks.maab.na_0003

na_0004:仿金宝app真软件模型外观设置

 使用非标准显示属性检金宝app查模型图 mathworks.maab.na_0004

na_0008:显示标签的信号

 检查信号线标签 mathworks.maab.na_0008

na_0009:条目与传播的信号标签

 检查标签传播信号 mathworks.maab.na_0009
na_0010:使用向量和总线信号 检查使用的向量和总线信号 mathworks.jmaab.na_0010
na_0011: Goto和街区的范围 检查的范围和转向块 mathworks.maab.na_0011

na_0016: MATLAB函数的源代码行

 检查行代码在MATLAB函数 mathworks.jmaab.na_0016

na_0017:调用函数的数量水平

 检查函数调用MATLAB功能块的数量 mathworks.jmaab.na_0017

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

 检查在MATLAB函数嵌套条件 mathworks.jmaab.na_0018
na_0019:限制变量的名字 检查变量名称的使用限制 mathworks.maab.na_0019
na_0020:输入变量数子系统 检查丢失的港口变体子系统 mathworks.jmaab.na_0020
na_0021:字符串在MATLAB函数 检查使用的特征向量在MATLAB函数块 mathworks.maab.na_0021

na_0022:推荐模式Switch / Case语句

 检查使用的推荐模式Switch / Case语句 mathworks.maab.na_0022
na_0024:共享数据在MATLAB函数 为全局变量检查MATLAB代码 mathworks.maab.na_0024

na_0025: MATLAB函数头

 没有检查
na_0031:默认枚举值的定义 检查使用枚举值 mathworks.maab.na_0031
na_0034: MATLAB函数块输入/输出设置 MATLAB函数检查输入和输出设置 mathworks.maab.na_0034
na_0036:默认的变体 检查使用默认的变体 mathworks.maab.na_0036
na_0037:使用单变量的变异情况 检查使用单变量变异的条件 mathworks.maab.na_0037
na_0039:限制仿真软件功能图块金宝app 检查使用仿真软件State金宝appflow图表 mathworks.maab.na_0039
na_0042:使用仿真软件的功能金宝app 检查Stateflow使用仿真金宝app软件的功能 mathworks.jmaab.na_0042