型号检查是否有MAB和JMAAB合规

您可以使用模型顾问来验证模型或子系统符合MathWorks公司®顾问委员会(MAB)和日本MATLAB®汽车咨询委员会建模(JMAAB)的指导方针。

访问MAB和JMAAB模型顾问检查

打开模型顾问,在Simulink万博1manbetx®编辑器,单击造型标签,并选择型号顾问。一个系统选择 - 型号顾问打开对话框。选择模型或系统要审查和点击

人与生物圈检查都可以从这些型号顾问的文件夹:

  • 按产品>万博1manbetxSimulink的检查>建模标准>MAB检查

  • 按任务>建模标准MAB

该JMAAB检查都可以从这些型号顾问的文件夹:

  • 按产品>万博1manbetxSimulink的检查>建模标准>JMAAB检查

  • 按任务>建模标准JMAAB

有关使用模型顾问的信息,请参阅运行模型顾问检查和审查结果

建模指南和模型顾问检查与生物圈和JMAAB

该表列出了MathWorks的顾问委员会(MAB)的指引,相应的日本MathWorksAutomotive顾问委员会(JMAAB)的指导方针,而Model顾问支票,你可以用它来验证是否符合这些准则。表中的其他信息包括:

  • MAB建模指南- 链接到MathWorks公司顾问委员会(MAB)指南。

  • 相应JMAAB建模指南- 标识JMAAB建模指南对应于MAB方针。要查看指南,请参阅控制算法建模指南使用MATLAB万博1manbetxStateflow的在MathWorks公司的网站。

  • 模型顾问检查- 提供指向用于验证符合建模指导模型顾问检查。

    如果适用,此列澄清为什么一个准则不具有相应的检查:

    • 不检查- 表示,该准则可以通过使用模型顾问检查进行检查,但检查目前不存在。

    • 没有可检查的- 表示,这是不可能的使用模型顾问检查,以确认是否符合本方针。

MAB建模指南

(版本5.0)

相应JMAAB建模指南

(版本5.1)

模型顾问检查

ar_0001:文件名可使用的字符

ar_0001 检查文件名
ar_0002:可使用的字符的文件夹名称

ar_0002

检查文件夹名称
jc_0241:长度限制为模型文件名

jc_0241

检查模型文件名长度
jc_0242:长度的限制文件夹名称

jc_0242

检查文件夹名的长度在模型路径的每一个层次
jc_0201:可用字符子系统名称

jc_0201

检查子系统名称
jc_0231:可用字符块名称

jc_0231

检查块名称使用的字符,
jc_0211:可使用的字符为INPORT块和外港块

jc_0211

检查端口块名称
jc_0243:长度限制为子系统名称

jc_0243

检查子系统名称的长度
jc_0247:长度限制为块名称

jc_0247

检查块名的长度
jc_0244:长度限制的运行轨迹和外埠名

jc_0244

运行轨迹和外埠名的长度检查
jc_0222:可使用的字符信号和总线名称

jc_0222

检查可用字符信号名称和总线名称
jc_0232:可使用的字符为参数名称

jc_0232

检查参数名称可用字符
jc_0245:长度限制为信号和总线名称

jc_0245

检查信号和总线名称的长度
jc_0246:长度限制为参数名称

jc_0246

检查参数名称的长度
jc_0795:可用字符Stateflow的数据名称

jc_0795

检查Stateflow的数据名称可用字符
jc_0796:长度限制为Stateflow的数据名称

jc_0796

Stateflow的数据名称的长度检查
jc_0791:重复数据名称定义

jc_0791

Simulink的数据名称的重复检查万博1manbetx
jc_0792:未使用的数据

jc_0792

检查Simulink模型未使用的数据万博1manbetx
jc_0700:在状态流块未使用的数据

jc_0700

您在Stateflow图未使用的数据
na_0019:受限变量名 没有相应的JMAAB指南 限制变量名的检查使用
jc_0011:布尔数据类型参数的优化

jc_0011

检查实现的逻辑信号作为布尔数据(相对于双)
jc_0642:整数的舍入模式设定

jc_0642

检查符号整数除法舍入模式
jc_0806:检测不正确的计算结果

jc_0806

检查不正确的计算结果诊断设置

jc_0021:型号诊断设置

没有相应的JMAAB指南 检查模型的诊断参数

na_0004:S万博1manbetximulink模型的外观设置

na_0004

检查Simulink万博1manbetx的图表使用非标准的显示属性
db_0043:型号字体和字体大小

db_0043

检查型号字体设置
jm_0002:块大小调整 jm_0002 不检查
db_0142:块名称的位置

db_0142

检查块名是否出现以下块
jc_0061:块名称的显示

jc_0061

检查块名称的显示属性

db_0140:块参数显示

db_0140

检查非默认块属性
jc_0603:型号说明

jc_0603

检查型号说明
jc_0604:使用块影

jc_0604

检查模块在模型阴影
db_0081:未连接的信号和块

db_0081

检查未连接端口和信号线
db_0032:信号线连接

db_0032

检查信号线的连接
db_0141:在Simulink模型信号流万博1manbetx

db_0141

检查信号的标签模型检查位置信号流
jc_0110:块的方向

jc_0110

检查块方向
jc_0171:结构子系统之间的连接的澄清

jc_0171

结构子系统之间的连接检查
jc_0602:一致性模型的元素名称

jc_0602

检查模型元素名称的一致性
jc_0281:触发信号名称

jc_0281

检查触发信号名称
db_0143:在模型层次可用块类型

db_0143

检查混合基本模块和子系统
db_0144:子系统的使用

db_0144

没有可检查的
jc_0653:在反馈回路延迟块布局 jc_0653 检查避免子系统之间的代数环

hd_0001:禁止Simulink的汇万博1manbetx

没有相应的JMAAB指南 检查散热器禁止块
na_0010:矢量和总线信号的使用

na_0010

检查矢量和总线信号的使用
jc_0008:信号名称的定义

jc_0008

检查信号线标签
jc_0009:信号名称传播

jc_0009

检查的传播信号的标签
db_0097:标签的位置的信号和总线

db_0097

检查信号的标签模型检查位置信号流

na_0008:上的信号标记的显示

没有相应的JMAAB指南 检查信号线标签

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

没有相应的JMAAB指南 检查的传播信号的标签
db_0110:块参数

db_0110

在块可调参数的检查使用
db_0112:指数的用法

db_0112

检查索引模式
jc_0645:参数定义校准

jc_0645

检查可调块参数定义为命名常量
jc_0641:采样时间设置

jc_0641

检查采样时间设置
jc_0643:固定点设置

jc_0643

检查定点数据类型的使用具有非零偏压
jc_0644:类型设置

jc_0644

通过检查数据对象类型设置
db_0146:块布局在有条件的子系统

db_0146

检查条件块和迭代器块的位置
jc_0640:用于在条件子系统出口框初始值的设置

jc_0640

检查条件子系统不确定的初始输出
jc_0659:信号线输入的使用限制到合并块

jc_0659

检查合并块的使用
na_0003:。如果块用法

na_0003

检查如果块逻辑表达式
jc_0656:条件控制块的使用

jc_0656

检查缺省的/在开关罩块,如果块其他情况
jc_0657:输出值的保留基于条件的控制流程块和合并块

jc_0657

没有可检查的
na_0002:基本逻辑和数值运算的适当使用

na_0002

检查的基本逻辑和数值运算
jc_0121:添加和减法块的使用

jc_0121

校验和块的使用
jc_0610:操作员为了乘法和除法块

jc_0610

产品块的校验操作顺序
jc_0611:对乘法和除法块输入符号

jc_0611

检查输入信号的产品块标牌
jc_0794:司在Simulink万博1manbetx

jc_0794

不检查
jc_0805:数字运算块的输入

jc_0805

不检查
jc_0622:FCN块的使用

jc_0622

检查中FCN块表达式括号
jc_0621:逻辑运算符块的使用

jc_0621

逻辑运算符块的检查图标形状
jc_0131:关系运算符块的使用

jc_0131

关系运算符块检查使用
jc_0800:在Simulink比较浮点类型万博1manbetx

jc_0800

比较在Simulink浮点类型万博1manbetx
jc_0626:查找表块的使用

jc_0626

检查查找表的使用
jc_0623:连续时间延迟块和离散时间延迟块的使用

jc_0623

检查内存和单位延迟块的使用
jc_0624:抽头延时块/延迟块的使用

jc_0624

检查级联的单位延迟块
jc_0627:离散时间积分器模块的使用

jc_0627

离散时间积分块的检查使用
jc_0628:饱和块的使用

jc_0628

饱和度块检查使用
jc_0651:实现类型转换

jc_0651

检查操作块的输出数据类型
db_0042:INPORT和出口框的用法

db_0042

检查运行轨迹和出口框的位置
jc_0081:INPORT和外港块图标显示

jc_0081

检查端口块显示屏
na_0011:后藤和从区块范围

na_0011

离和运转到块检查范围
jc_0161:定义数据存储器的存储块

jc_0161

检查数据存储内存块的使用
jc_0141:交换机块的使用

jc_0141

检查开关模块的使用
jc_0650:带有开关功能块的输入/输出数据类型

jc_0650

检查开关组输入和输出数据类型
jc_0630:多端口开关块的使用情况

jc_0630

在多端口交换机模块数据端口检查设置
na_0020:输入变体子系统号码

na_0020

检查在变子系统缺少端口
na_0036:默认变异 na_0036 检查使用的默认变种
na_0037:使用单变量的变异情况

na_0037

检查采用单变量变异条件句
db_0122:状态流和Simulink接口信万博1manbetx号和参数

db_0122

检查强数据类型的Simulink I / O万博1manbetx

db_0123:Stateflow的端口名称

没有相应的JMAAB指南 检查Stateflow的端口和相关信号的名字
db_0125:Stateflow的本地数据

db_0125

Stateflow的数据的校验定义
db_0126:定义Stateflow的事件

db_0126

Stateflow的事件定义检查
jc_0701:为第一索引可用数 jc_0701 检查第一指标可用数
jc_0712:默认过渡路径执行定时

jc_0712

检查执行时间为默认的转型之路
jc_0722:在并行状态的本地数据定义

jc_0722

在并行状态数据的检查范围
jc_0797:未连接转换/美国/结结

jc_0797

您在Stateflow图未连接的对象
db_0137:国状态机

db_0137

检查状态机独家和默认状态的用法
jc_0721:平行状态的用法

jc_0721

检查用于分组并行Stateflow的状态
db_0129:Stateflow的过渡出现

db_0129

检查Stateflow的过渡出现
jc_0531:默认过渡

jc_0531

检查Stateflow图默认过渡安置
jc_0723:从外部状态到子状态禁止直接过渡

jc_0723

转换的检查使用外部状态
jc_0751:回溯预防状态转变

jc_0751

检查状态转换意想不到的回溯
jc_0760:启动内部转换点

jc_0760

检查Stateflow的内部转型的起点
jc_0763:多个内部转换的使用

jc_0763

在Stateflow的国家内部转换的检查使用
jc_0762:状态操作和流程图的组合的禁止

jc_0762

检查的国家行动和流程图的组合禁止
db_0132:跃迁流程图

db_0132

检查流程图转型方向
jc_0773:流程图的无条件过渡

jc_0773

检查流程图无条件转移的用法
jc_0775:终止流程图中路口

jc_0775

检查Stateflow的终端结点
jc_0738:Stateflow的的使用意见

jc_0738

检查的Stateflow的意见用法
jc_0790:图表块的动作语言

jc_0790

检查Stateflow框图动作语言
jc_0702:命名Stateflow的参数和常量的使用

jc_0702

在Stateflow的数字文字的检查使用
jm_0011:指针在Stateflow中

jm_0011

您在Stateflow图指针
jc_0491:Stateflow的数据的重用

jc_0491

没有可检查的
jm_0012:事件和广播事件的使用限制

jm_0012

检查事件的使用和广播事件的Stateflow图
jc_0733:国家行为类型的订单

jc_0733

状态动作类型的检查顺序
jc_0734:国家行为类型数

jc_0734

检查动作类型的重复
jc_0740:对限制使用的状态退出动作

jc_0740

检查状态动作类型“退出”在模型中使用
jc_0741:定时到更新数据在状态图过渡条件下使用

jc_0741

检查更新状态迁移条件的变量
jc_0772:的过渡线执行顺序和转移条件

jc_0772

检查的Stateflow的转换的转换条件使用
jc_0753:条件在Stateflow的行动和过渡措施

jc_0753

检查Stateflow的条件操作和过渡措施
jc_0711:司在Stateflow中

jc_0711

没有可检查的
db_0127:限制上MATLAB中Stateflow的块命令

db_0127

您在Stateflow图MATLAB表达式
jc_0481:使用硬平等的比较浮点数在Stateflow中

jc_0481

在Stateflow图浮点表达式的检查使用
na_0001:Stateflow的运营商的标准用法

na_0001

检查Stateflow的运营商
jc_0655:在状态流逻辑值比较的禁止

jc_0655

检查逻辑类型信号的禁止比较操作
jc_0451:对无符号整数元减号的使用

jc_0451

在Stateflow图元负操作的检查使用
jc_0802:禁止使用Stateflow的隐式类型铸造

jc_0802

您在Stateflow的隐式类型铸造
jc_0803:将值传递给库函数

jc_0803

没有可检查的
jc_0732:状态名称,数据名称和事件名称之间的区别

jc_0732

检查Stateflow的状态和数据名称的唯一性
jc_0730:在Stateflow的块是唯一的国家名称

jc_0730

检查国家名称的唯一性
jc_0731:国家名称格式

jc_0731

检查国家名称的使用
jc_0501:条目在一国块格式

jc_0501

检查条目Stateflow图在国家块格式化
jc_0736:在状态流块统一凹痕

jc_0736

检查的代码缩进在Stateflow的状态
jc_0739:内部状态描述文本

jc_0739

检查里面的状态文本的使用
jc_0770:转移标签的位置

jc_0770

检查标签字符串的放置在视线
jc_0771:在过渡标签注释位置

jc_0771

检查的过渡标签注释位置
jc_0752:在转移标签条件动作

jc_0752

在Stateflow的过渡括号检查使用
jc_0774:评论通过过渡

jc_0774

检查中无条件转移的意见
jc_0511:返回从图形函数值

jc_0511

在Stateflow的图形功能检查返回值赋值
jc_0804:禁止使用与图形函数的递归调用

jc_0804

不检查
na_0042:Simulink中的万博1manbetx功能的使用

na_0042

在Stateflow中Simu万博1manbetxlink的功能检查使用
na_0039:限制在图表块Simulink的万博1manbetx功能

na_0039

检查Stateflow图使万博1manbetx用Simulink中的

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

没有相应的JMAAB指南 检查MATLAB功能指标

na_0025:MATLAB函数头

没有相应的JMAAB指南 不检查
na_0024:在MATLAB函数共享数据

na_0024

检查全局变量MATLAB代码
na_0031:默认的定义枚举值

na_0031

检查枚举值的使用
na_0034:MATLAB功能块的输入/输出设置

na_0034

检查MATLAB函数的输入和输出设置

na_0016:MATLAB功能的源行

没有相应的JMAAB指南 检查MATLAB功能指标

na_0017:调用的函数级别数

没有相应的JMAAB指南 检查的MATLAB功能块函数调用次数
na_0021:字符串在MATLAB功能

na_0021

检查特征向量的使用MATLAB功能块内

na_0022:推荐模式的开关/ Case语句

没有相应的JMAAB指南 检查推荐的模式的使用情况的switch / case语句
jc_0801:禁止使用的/ *和* /注释符号

jc_0801

检查采用C语言风格的注释符号

也可以看看