模型顾问检查高完整性系统建模的指导方针
高度集成模型顾问检查系统建模的指导方针
高度集成的系统建模检查方便设计和故障诊断模型,子系统,生成的代码和相应的应用程序符合高度集成系统建模的指导方针。
顾问执行签出的模型金宝app®检查™许可运行高度集成的系统建模时检查。
高度集成系统建模检查分类以下组:
金宝app
高度集成的系统建模仿真软件模块和组件的检查。金宝app
有关更多信息,请参见模型顾问检查高完整性系统建模的指导方针。
MATLAB
高度集成的系统建模为MATLAB代码检查。
有关更多信息,请参见模型顾问检查高完整性系统建模的指导方针。
配置
高度集成系统模型检查配置设置。
有关更多信息,请参见模型顾问检查高完整性系统建模的指导方针。
命名
高度集成系统模型检查的命名约定。
有关更多信息,请参见模型顾问检查高完整性系统建模的指导方针。
需求
高度集成系统模型检查要求工具箱™可追溯性。
有关更多信息,请参见模型顾问检查高完整性系统建模的指导方针。
代码
高度集成系统模型检查生成的代码。
有关更多信息,请参见模型顾问检查高完整性系统建模的指导方针。
Stateflow
模型检查Stateflow高度集成系统®图表和组件。
有关更多信息,请参见模型顾问检查高完整性系统建模的指导方针。
检查使用标准化的MATLAB函数头
检查身份证:mathworks.hism.himl_0001
描述
这个检查检查所有MATLAB函数模型中,本地功能,和引用的MATLAB文件标准化函数头和检查这些细节:
函数名
功能描述
输入变量的描述
输出变量的描述
下面是一个例子,如何定义函数头文件:
% <函数名称>——的描述函数
% <输入变量1 > -输入变量的描述1
输入变量% < 2 > -输入变量的描述2
% < 1 >输出变量,输出变量的描述1
可以使用金宝app仿真软件检查。
检查参数化
您可以通过设置以下配置模型顾问配置编辑器。
选择MATLAB函数头格式类型和自定义标题格式和配置的描述标签标题格式类型和自定义标题格式输入参数。的格式自定义标题格式应该用逗号分隔的字符串类型标签。
默认情况下,标题格式类型被设置为默认的和自定义标题格式参数是描述输入、输出。
例如,考虑到默认值(描述、输入、输出),每个层的模型应该描述格式如下:
描述:<模型描述>
输入:<输入信息>
输出:<输出信息>
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| MATLAB函数使用非标准函数头。 | 考虑添加一个函数头的功能根据这些指导方针:
|
功能和限制
这张支票只分析了直接引用的模型的函数模型。金宝app
您可以配置检查使用输入参数引用的MATLAB文件上运行检查。m文件中引用的模型在配置编辑器。默认情况下,该参数被选中。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查MATLAB函数接口和继承的属性
检查身份证:mathworks.hism.himl_0002
识别MATLAB®函数的输入、输出参数与遗传的复杂性或数据类型属性。
描述
检查识别MATLAB函数与遗传的复杂性或数据类型属性。结果表提供了MATLAB函数的链接,不通过检查,随着条件触发警报。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| MATLAB函数继承的接口。 | 明确定义的复杂性和数据类型属性港口,外港,MATLAB函数的参数识别结果。 如果适用,使用MATLAB功能块编辑器在属性检查器,进行以下修改:
|
功能和限制
这张支票只分析了直接引用的模型的函数模型。金宝app
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查MATLAB函数度量
检查身份证:mathworks.hism.himl_0003
显示MATLAB函数的复杂性和代码度量。报告指标违规。
描述
这张支票为MATLAB函数提供了复杂性和代码度量。违反检查报告两类指标:
基于块的指标,指标的整体代码块的MATLAB函数
基于函数的度量指标对每个功能块,单独呈现
可以使用金宝app仿真软件检查。
输入参数
您可以定义这些复杂性参数的公差使用模型顾问配置编辑器:
最大有效的函数的代码行数——有效行不包括空行,只包含注释行或行
结束关键字。默认值是60。最低密度的评论——密度是注释行总比行代码。默认值是
0.2。每个函数最大的圈复杂度圈复杂度是线性无关的路径的数量通过源代码。默认值是
15。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 违反了MATLAB函数输入参数复杂性。 | MATLAB函数:
|
功能和限制
这张支票只分析了直接引用的模型的函数模型。金宝app
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查MATLAB代码分析器的消息
检查身份证:mathworks.hism.himl_0004
检查MATLAB函数% # codegen指令,MATLAB代码分析器消息、消息id和理由。
描述
验证% # codegen指令,MATLAB代码分析器消息、消息id和理由:
MATLAB代码在MATLAB函数块
MATLAB函数中定义Stateflow图表
调用MATLAB函数
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
MATLAB代码在MATLAB函数块,下面的:
|
|
MATLAB函数中定义Stateflow图表,如下:
|
|
称为MATLAB函数:
|
|
功能和限制
这张支票只分析了直接引用的模型的函数模型。金宝app
运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块或图表。
另请参阅
检查是否在MATLAB / elseif /其他模式的功能模块
检查身份证:mathworks.hism.himl_0006
描述
这张支票识别如果elseif /其他模式在嵌入式MATLAB代码没有适当的其他条件。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 如果不当/ elseif /其他模式中嵌入MATLAB代码中。 | 每如果/ elseif /其他模式,添加一个else语句,包括至少一个有意义的评论。 |
功能和限制
这张支票只分析了直接引用的模型的函数模型。金宝app
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。
另请参阅
检查switch语句在MATLAB函数块
检查身份证:mathworks.hism.himl_0007
描述
这张支票识别switch / case /否则语句没有适当的条件在嵌入式MATLAB代码。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| Switch语句没有任何其他条件。 | 确保switch语句的其他条件。 |
| 否则没有评论语句留空。 | 确保否则声明中至少有一个有意义的评论。 |
| Switch语句只有一个case语句。 | 确保switch语句至少有两个案例陈述。 |
功能和限制
这个检查排除了一个情况下声明单元阵列的两个或两个以上的元素。
这张支票只分析了直接引用的模型的函数模型。金宝app
运行库模型。
您可以配置检查使用输入参数引用的MATLAB文件上运行检查。m文件中引用的模型在配置编辑器。默认情况下,该参数被选中。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查使用关系运算符在MATLAB函数块
检查身份证:mathworks.hism.himl_0008
描述
这个检查检查所有MATLAB函数模型中,本地函数和MATLAB文件引用关系操作符语句操作不同数据类型的操作数。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 关系运算符的功能块操作的操作数不同的数据类型。 | 铸造操作数是相同的数据类型。 |
功能和限制
这张支票只分析了直接引用的模型的函数模型。金宝app
不上运行库模型。
您可以配置检查使用输入参数引用的MATLAB文件上运行检查。m文件中引用的模型在配置编辑器。默认情况下,该参数被选中。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查使用逻辑运算符和函数在MATLAB函数块
检查身份证:mathworks.hism.himl_0010
描述
这张支票标识逻辑运算符和函数操作与数值数据类型的操作数MATLAB函数块。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 逻辑运算符或函数用在具有数值数据类型的操作数。 | 铸造的操作数是一个逻辑数据类型。 |
功能和限制
这张支票只分析了直接引用的模型的函数模型。金宝app
不上运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。您可以配置检查使用输入参数引用的MATLAB文件上运行检查。m文件中引用的模型在配置编辑器。默认情况下,该参数被选中。
允许排除块和图表。
另请参阅
检查状态机Stateflow图表的类型
检查身份证:mathworks.hism.hisf_0001
识别Stateflow图表的状态机类型不同于在模型中设置顾问配置编辑器类型。
描述
比较了状态机类型的所有Stateflow图表类型,你指定的输入参数。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
输入参数
- 经典
-
检查是否所有的图表都经典图表。
- 粉状的
-
检查是否所有的图表都粉图表。
- 摩尔
-
检查是否所有的图表都摩尔图表。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
输入参数设置为经典状态机模型和图表使用其他类型。 |
对于每一个图表,在图表属性对话框中,指定状态机类型来经典。 |
输入参数设置为摩尔状态机模型和图表使用其他类型。 |
对于每一个图表,在图表属性对话框中,指定状态机类型来摩尔。 |
输入参数设置为粉状的状态机模型和图表使用其他类型。 |
对于每一个图表,在图表属性对话框中,指定状态机类型来粉状的。 |
功能和限制
运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查Stateflow图表排序的状态和转换
检查身份证:mathworks.hism.hisf_0002
识别Stateflow图表指定的国家/过渡执行顺序清除。
描述
识别Stateflow图表指定的国家/过渡执行顺序清除,因此不使用显式的顺序并行的状态和转换。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| Stateflow图表有指定的国家/过渡执行顺序清除。 | 为指定的图表,在图表属性对话框中,选择指定的国家/过渡执行顺序。 |
功能和限制
运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
行动的结果
点击修改选择指定的国家/过渡执行顺序为指定的图表。
另请参阅
检查使用递归
检查身份证:mathworks.hism.hisf_0004
描述
确定递归的使用行为。
请注意
的无向事件导致递归生成的代码。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 一个或多个实体参与了递归。 | 改造消除递归的实体。 |
功能和限制
这张支票只能从根级别的模型运行。
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查Stateflow调试选项
检查身份证:mathworks.hism.hisf_0011
检查Stateflow调试设置。
描述
验证以下调试设置。
包装上溢出
模拟范围检查
检测周期
不指定
Overspecification
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
功能和限制
允许排除块和图表。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。
行动的结果
点击修改选择指定的调试选项。
另请参阅
检查Stateflow图表过渡路径交叉并行状态边界
检查身份证:mathworks.hism.hisf_0013
跨并行状态边界的确定过渡路径在Stateflow图表。
描述
跨并行状态边界的确定过渡路径在Stateflow图表。这张支票识别过渡路径交叉并行状态边界Stateflow图表。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| Stateflow图表转换路径,跨边界平行状态。 | 修改Stateflow图表转换不交叉并行状态边界。看到的更多信息,操作模式之间的过渡(Stateflow)。 |
功能和限制
运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查转型路径的不当使用
检查身份证:mathworks.hism.hisf_0014
描述
这张支票检查连接状态和内部标识的使用连接,躺在一个路径,在一个国家。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型中的一个或多个过渡路径遍历状态没有结束亚态。 | 改造避免过渡的连接路径进入的状态没有结束亚态。 |
功能和限制
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。
另请参阅
检查Stateflow图表强劲数据类型
检查身份证:mathworks.hism.hisf_0015
识别与不同的数据类型变量和参数表达式Stateflow对象。
描述
为了方便强大的数据类型,这张支票识别不同数据类型的变量和参数表达式Stateflow状态和转换。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| Stateflow对象与不同的数据类型变量和参数的表达式。 | 显式变量和参数表达式相同的数据类型。看到的更多信息, |
功能和限制
不上运行库模型。
允许排除块和图表。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析内容块相关的库。默认情况下,输入参数链接被设置为
在。不分析文字在Stateflow表达式对象的类型。明确地将类型的文字转换为预期的数据类型。
没有国旗与真假关键字表达式。有关更多信息,请参见其他常见的保留关键字(嵌入式编码)。
外部函数写在C和嵌入Stateflow不会处理这张支票。
另请参阅
检查端口的命名Stateflow图表
检查身份证:mathworks.hism.hisf_0016
描述
这张支票识别之间的不匹配的名字Stateflow港口和相关信号。可重用Stateflow模块可以有不同的港口名称。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| Stateflow图表的输入和输出端口的名字不一样的信号连接的名字。 | 确保输入和输出端口的名称Stateflow图表的信号连接的名字一样。 |
功能和限制
这张支票不分析港口的名字Stateflow真值表或Stateflow状态转换表。
这张支票认为可重用Stateflow图表库链接的图表和没有标记。
这张支票没有国旗信号没有名字。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查Stateflow数据对象的范围
检查身份证:mathworks.hism.hisf_0017
描述
这张支票识别Stateflow数据对象与当地不作用域范围在表级别以下。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 一个或多个Stateflow数据对象与当地没有在表级别定义范围以下。 | 确保定义所有Stateflow数据对象与当地范围在表级别或以下。 |
功能和限制
不分析内容块相关的库。
不会在蒙面子系统分析的内容。
允许排除块和图表。
另请参阅
检查作业操作Stateflow图表
检查身份证:mathworks.hism.hisf_0065
确定在Stateflow对象赋值操作。
描述
这张支票在Stateflow标识分配业务对象隐式整数和定点算术计算比输入数据类型更广泛的数据类型。
这张支票只识别作业与算术运算。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| Stateflow对象包括赋值操作,整数和定点计算比输入数据类型更广泛的数据类型。 | 显式地取代赋值运算符(=):=操作符Stateflow对象。 |
功能和限制
不上运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。外部函数写在C和嵌入Stateflow不会处理这张支票。
另请参阅
一元操作符检查Stateflow图表
检查身份证:mathworks.hism.hisf_0211
确定一元运营商Stateflow图表。
描述
这张支票识别无符号数据类型的一元-运营商Stateflow图表。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| Stateflow图由一元-运营商无符号数据类型。 | 显式地修改一元运算符无符号数据类型。有关更多信息,请参见一元操作和行动(Stateflow)。 |
功能和限制
不上运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。除了转变和除法操作,这张支票没有国旗表达位和算术运算符。
另请参阅
检查使用Abs的街区
检查身份证:mathworks.hism.hisl_0001
确定使用数学操作可能影响安全的街区。
描述
这张支票检查Abs块的使用。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
包含一个模型或子系统绝对值块操作在以下之一:
|
如果确定了绝对值块操作在一个布尔或无符号数据类型,做以下之一:
如果确定了绝对值块操作签名数据类型,块参数>信号属性对话框中,选择浸透在整数溢出。 |
功能和限制
不上运行库模型。
分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。
另请参阅
检查使用的剩余部分和互操作
检查身份证:mathworks.sldv.hism.hisl_0002
描述
标识的使用剩余和互操作导致非谓语形式的结果。
可以使用金宝app仿真软件检查。这张支票需要金宝app仿真软件设计校验™(SLDV)许可证。
注意:这张支票将执行SLDV分析模型。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 剩余和互操作模型的输入,可以在模拟等于零。 | 确保其余的输入和互操作并不等于零。 |
功能和限制
不上运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查使用的日志和log10操作
检查身份证:mathworks.sldv.hism.hisl_0004
描述
模型中识别日志和log10操作会导致非限定的结果。
可以使用金宝app仿真软件检查。这张支票需要金宝app仿真软件设计验证器(SLDV)许可证。
注意:这张支票将执行SLDV分析模型。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
自然/以10为底的对数日志和Log10)操作模型的输入,可以在模拟小于或等于零。 |
确保输入的日志和日志10业务模型中的不小于或等于零。 |
功能和限制
不上运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查使用迭代器块
检查身份证:mathworks.hism.hisl_0006
描述
这张支票检查的使用而迭代器块。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 包含一个模型或子系统而迭代器块,有无限的迭代。这种情况可以在生成的代码导致无限循环。 | 为确定而迭代器块:
|
功能和限制
运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查使用,而迭代器子系统
检查身份证:mathworks.hism.hisl_0007
描述
这张支票检查时间块的使用对迭代器或而迭代器子系统。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
模型或子系统包含下列时间块之一对迭代器或而迭代器子系统:
|
在模型或子系统,可以考虑删除时间块。 |
功能和限制
运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查使用迭代器块
检查身份证:mathworks.hism.hisl_0008
描述
这张支票检查的使用对迭代器块。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 包含一个模型或子系统对迭代器块变量的迭代。这种情况可能导致不可预知的执行时间或无限循环的生成的代码。 | 为确定对迭代器块,做以下之一:
|
功能和限制
不上运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查如果块和行动子系统模块的使用
检查身份证:mathworks.hism.hisl_0010
描述
这张支票检查的使用如果块。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 包含一个模型或子系统如果块使用Elseif表达式没有其他条件。 | 在如果块块参数对话框中,选择显示其他条件。由此产生的其他输出端口连接到一个如果行动子系统块。 |
| 包含一个模型或子系统如果块不连接到输出端口如果行动子系统块。 | 验证的输出端口如果块连接到如果行动子系统块。 |
功能和限制
不上运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查开关模块和开关的使用情况下行动子系统模块
检查身份证:mathworks.hism.hisl_0011
描述
这张支票检查的使用开关情况块
检查标志开关情况块不使用整数数据类型或枚举值输入。遵守hisl_0011:阻塞和行动子系统开关的使用情况- C,使用一个整数数据类型或枚举值输入开关情况块。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 包含一个模型或子系统开关情况块没有违约的情况。 | 在开关情况块块参数对话框中,选择显示默认情况下。由此产生的默认输出端口连接切换实例操作子系统块。 |
| 包含一个模型或子系统开关情况块与一个不连接到一个输出端口切换实例操作子系统块。 | 验证的输出端口开关情况块连接到切换实例操作子系统块。 |
| 包含一个模型或子系统开关情况块与非整数或non-enum输入端口的数据类型。 | 确保切换实例模块的输入数据类型是整型或枚举。 |
功能和限制
不上运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
支票的使用有条件地执行子系统
检查身份证:mathworks.hism.hisl_0012
描述
这张支票与不正确的样品标识块次有条件地执行子系统和异步执行示例与时间有关的街区。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
样品时间块没有设置
|
改变的样品时间块1。 |
模型包含异步执行示例与时间有关的模块:
|
改造消除样本与时间有关的街区。 |
功能和限制
执行的异步采样时间依赖块标记只有触发和函数调用块。
不上运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。
另请参阅
检查安全诊断设置数据存储内存
检查身份证:mathworks.hism.hisl_0013
检查为诊断模型配置设置,适用于数据存储记忆,会影响安全。
描述
这张支票验证模型诊断相关的配置参数设置数据存储内存优化生成代码的安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
诊断检测模型是否试图读取数据从一个数据存储库中没有存储数据在当前时间步以外的一个值使所有的错误。读取数据之前写会导致使用陈旧的数据或数据没有初始化。 |
集检测读之前写在配置参数对话框中或设置参数ReadBeforeWriteMsg来使所有的错误。 |
诊断检测模型是否试图将数据存储在一个数据存储,此前从中读取数据在当前时间步,除了被设置为一个值使所有的错误。读取写入数据后,可以导致使用过期或不正确的数据。 |
集发现写后读在配置参数对话框中或设置参数WriteAfterReadMsg来使所有的错误。 |
诊断检测模型是否试图连续两次将数据存储在一个数据存储在当前时间步以外的一个值使所有的错误。写数据两次在一个时间步长会导致不可预测的数据。 |
集发现写后写在配置参数对话框中或设置参数WriteAfterWriteMsg来使所有的错误。 |
时检测的诊断一个任务读取的数据数据存储内存块设置为另一个任务写数据没有一个或警告。读或写数据在多任务模式下不同的任务可能导致损坏或不可预测的数据。 |
集多任务数据存储在配置参数对话框中或设置参数MultiTaskDSMMsg来错误。 |
诊断检测到参数重复的数据存储名称没有设置为错误。 |
集重复的数据存储名称在配置参数对话框中或设置参数UniqueDataStoreMsg来错误。 |
行动的结果
点击修改设置配置模型诊断适用于数据存储内存设置,会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查使用合并块
检查身份证:mathworks.hism.hisl_0015
描述
这个检查标识合并块不直接连接到一个条件子系统和执行允许不平等港口宽度参数设置。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 合并块不是直接连接到一个有条件地执行子系统。 | 改造,这样合并块直接连接到有条件地执行子系统。 |
| 合并块参数允许不平等港口宽度被设置为在。 | 设置合并块参数允许不平等港口宽度来从 |
| 多个子系统执行时间步中有条件地执行子系统。 | 指定执行的有条件地执行子系统,这样只有一个子系统执行在时间步。 |
| 的外港块参数输出时禁用没有设置为举行对于任何有条件地执行子系统的模型。 | 设置外港块参数输出时禁用来举行对于每一个有条件地执行子系统被合并。 |
功能和限制
这张支票将不会检查执行顺序的有条件地执行子系统。
不上运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。
另请参阅
检查关系比较浮点信号
检查身份证:mathworks.hism.hisl_0016
描述
标识执行平等或不平等的关系模块或操作比较浮点信号。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 一个或多个关系操作中使用的模型对浮点信号执行平等或不平等的比较。 | 确定块和表情,做其中的一个:
|
一个或多个如果块中使用的模型如果表达式或Elseif表达式可能会导致浮点平等或不平等的比较生成的代码。 |
修改表达式来避免浮点平等和不平等的比较在生成的代码。 |
功能和限制
不上运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
hisl_0016:平等和不平等的使用比较浮点数据类型
检查使用关系操作符块
检查身份证:mathworks.hism.hisl_0017
描述
这张支票检查块的使用计算关系运算符,包括关系操作符,比较恒定的,比较为零而且,检测变化块。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型或子系统包含一块计算一个关系运算符作用于不同的数据类型。条件可以在生成的代码会导致不可预知的结果。 | 确定块,使用常见的数据类型作为输入。您可以使用数据类型转换块来改变输入数据类型。 |
| 模型或子系统包含一块计算一个关系运算符,没有逻辑输出。条件可以在生成的代码会导致不可预知的结果。 | 为指定的块,块的参数>信号的属性窗格中,设置输出数据类型来布尔。 |
功能和限制
不上运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查使用逻辑操作符的街区
检查身份证:mathworks.hism.hisl_0018
确定使用逻辑运算符可能影响安全的街区。
描述
这张支票检查的使用逻辑运算符块。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 包含一个模型或子系统逻辑运算符块的输入或输出不Boolean输入或输出。可能导致块浮点平等或不平等的比较在生成的代码。 |
|
功能和限制
不上运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查使用位操作的块
检查身份证:mathworks.hism.hisl_0019
确定位操作模块与数据类型作为输入签名
描述
这张支票识别使用位操作的输入和输出数据类型。检查还看其他一些操作模块如下:
一些明确的
位设置
一些转变
按位运算符
提取部分
移位运算
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 按位操作是使用数据类型签名。 | 按位操作的使用无符号数据类型。 |
功能和限制
允许排除块和图表。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。
另请参阅
检查块不建议用于C / c++代码部署生产
检查身份证:mathworks.hism.hisl_0020
识别模块不支持的代码生成或不建议用于C 金宝app/ c++代码部署生产。
描述
这张支票部分确定模型结构,不建议生产C / c++代码生成。为金宝app仿真软件编码器™和嵌入式编码®,这些模型构造的身份出现在表中金宝app仿真软件块支持金宝app(金宝app仿真软件编码器)。。
在某些情况下,这张支票旗帜支持代码生成的块。金宝app对于这些块,您应该检查提供的脚注信息支持笔记和遵守顾问提供的建议行动模型。金宝app
可以用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型或子系统包含块不应该用于生产代码的部署。 | 考虑替换块中列出的结果。单击列表中的一个元素的可疑物品定位条件。 |
| 模型或子系统包含块支持但不建议用于生产代码生成。金宝app | 检查支持笔记和坚持顾问金宝app提供的建议行动模型。 |
功能和限制
运行库模型。
分析内容块相关的库。
在蒙面子系统分析的内容。
允许排除块和图表。
另请参阅
使用产品下载188bet金宝搏和块支持代码生成金宝app(金宝app仿真软件编码器)
使用产品下载188bet金宝搏和块支持代码生成金宝app(金宝app仿真软件编码器)
检查不一致的向量索引方法
检查身份证:mathworks.hism.hisl_0021
块认同不一致的索引方法。
描述
使用不一致的块索引方法可以导致建模错误。您应该使用一致的所有块向量索引方法。从零开始的索引方法,集中或指定的。
块,支持可配置的索引:金宝app
块,只支持从索引:金宝app
块,只支持从零开始的索引金宝app:
Stateflow图表与C语言行动
真值表函数与C语言
状态转换表(Stateflow)行动与C语言
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型或子系统包含块与不一致的索引方法。从零开始的索引方法,集中或指定的。 | 修改模型使用一个索引方法一致。 |
功能和限制
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查数据类型的块索引信号
检查身份证:mathworks.hism.hisl_0022
描述
这张支票标识块索引信号非整数数据类型或枚举和索引值的范围内。
这张支票适用于下列目标组件模型:金宝app
赋值
直接查找表(一天)
多端口切换
选择器
查找
插值(一天)
这张支票在Stateflow适用于以下目标组件:
状态和转换
你可以考虑多端口交换机的下列情形:
的数据端口默认情况下设置为“最后一个数据端口”和“数据端口顺序”设置为“从零开始的连续的”。的最大预期数量的数据端口检查“DATATYPE_MAX + 2”和索引的数据类型的信号。
的数据端口默认情况下设置为“最后一个数据端口”和“数据端口顺序”设置为“从连续的”。的最大预期数量的数据端口检查“DATATYPE_MAX + 1”和索引的数据类型的信号。
的数据端口默认情况下设置为“额外的数据端口”和“数据端口顺序”设置为“从零开始的连续的”。的最大预期数量的数据端口检查“DATATYPE_MAX + 1”和索引的数据类型的信号。
的数据端口默认情况下设置为“额外的数据端口”和“数据端口顺序”设置为“从连续的”。的最大预期数量的数据端口检查“DATATYPE_MAX”和索引的数据类型的信号。
可以使用金宝app仿真软件检查。
检查参数化
您可以使用模型顾问配置编辑器来配置这个检查包括文件。m扩展的分析。要启用这个特性,输入参数部分中,选择检查外部m文件中引用模型。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型中的一个或多个模型块金宝app索引信号除了整型或枚举数据类型。 | 改变数据类型的块索引信号一个整数或枚举数据类型覆盖索引值的范围。 |
| 一个或多个MATLAB函数块索引变量与不恰当的数据类型。 | 索引变量的数据类型更改为一个整数或枚举数据类型覆盖索引值的范围。 |
| 模型中的一个或多个Stateflow图表有索引变量的数据类型除了整型或枚举。 | 改变数据类型的索引块的信号一个整数或枚举数据类型覆盖索引值的范围。 |
功能和限制
这张支票不支持对话框设置指标。金宝app
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
图形化的。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查使用的变体
检查身份证:mathworks.hism.hisl_0023
检查变量参数设置可能导致代码块不跟踪需求。
描述
这张支票验证变体块参数代码生成将跟踪需求。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 选择生成预处理条件的选择在一个或多个变体模型中的块。 | 为了简化代码的跟踪要求,考虑清理选项生成的预处理条件变体。 |
功能和限制
不上运行库模型。
分析内容块相关的库。
在蒙面子系统分析的内容。
块不允许排除或图表。
另请参阅
检查根港口与缺失的属性
检查身份证:mathworks.hism.hisl_0024
描述
确定以下几点:
根级别轮廓尺寸块与缺失或继承的样本,数据类型或端口仿真软件模型的维度。金宝app
使用根模型轮廓尺寸没有定义样本的时间块,数据类型或端口尺寸可能会导致不理想的仿真结果。金宝app仿真软件back-propagates维度,样品时间,从下游模块和数据类型,除非您显式指定这些值。您可以指定轮廓尺寸块与块属性参数或模型信号信号线连接对象明确的决心。金宝app
根级别输入港口与缺失或继承的数据类型或端口维度结构模型。
当您运行检查,结果表提供了替代进口块和信号对象的链接不通过,随着条件触发警报。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
失踪的端口尺寸——模型包含尺寸块继承端口尺寸。 |
列出的尺寸块和仿真软件信号对象,指定端口尺寸。金宝app |
丢失的信号数据类型——模型包含尺寸块继承了数据类型。 |
列出的尺寸块和仿真软件信号对象,指定数据类型。金宝app |
失踪港样品时间——模型包含与继承的样品尺寸块。 |
列出的尺寸块和仿真软件信号对象,指定样品时间。金宝app样品时间根港口与总线类型必须匹配样本时报在公共汽车的叶子元素指定对象。 |
隐式解决仿真软件信号对象金宝app——模型包含尺寸块信号名称,隐式地解决模型信号对象的基本工作空间,工作空间模型,或仿真软件数据字典。金宝app |
上市仿真软件信号对象,在属性对金宝app话框中,选择信号属性信号仿真软件名称必须决心信号对象金宝app。以编程方式设置该选项,使用端口参数MustResolveToSignalObject。 |
| 一个或多个输入端口的建筑模型没有一个分配给它的数据接口。 | 列出输入端口分配数据接口。 |
功能和限制
如果配置参数(解决配置参数> >定期采样时间约束)被设置为
确保样品时间独立这张支票不报告警告,当输入端口使用继承采样时间。对于导出功能模型,继承采样时间不是标记。
不上运行库模型。
不支持排除在体系结金宝app构模型。
允许排除块和图表。
另请参阅
检查根港口与失踪的范围定义
检查身份证:mathworks.hism.hisl_0025
描述
确定以下几点:
根级别轮廓尺寸块与缺失或错误的最小值或最大值范围值仿真软件模型。金宝app
检查标识根水平轮廓尺寸块与缺失或错误的最小值或最大值范围值。您可以指定尺寸块最小和最大值与块参数或模型信号明确解决的对象连接信号。金宝app
根级别输入港口与缺失或错误的架构模型的最小值或最大值范围值。
结果表提供替代进口块和信号对象的链接没有通过检查,随着条件触发警告。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
失踪的范围——模型包含尺寸块有缺失的范围参数的数值数据类型(最小和/或最大值)。 |
列出的尺寸块和仿真软件信号对象,指定标量最小和最大参数。金宝app |
为总线对象缺失范围(年代)——总线对象定义尺寸块总线元素缺失的范围。 |
对于上市汽车元素,指定模型接口,提供标量最小和最大参数。 |
指定范围将被忽略——最大或最小值在港口或仿真软件信号对象不支持总线数据类型。金宝app金宝app在检查范围的值将被忽略。 |
使范围检查,指定最小值和最大值信号值在公共汽车上总线对象定义的数据类型的元素。 |
没有指定数据类型——模型包含尺寸块或仿真软件信号具有继承的对象的数据类型。金宝app |
指定一个支持的数据类型:金宝app |
隐式解决仿真软件信号对象金宝app——模型包含尺寸块信号名称,隐式地解决模型信号对象的基本工作空间,工作空间模型,或仿真软件数据字典。金宝app |
上市仿真软件信号对象,在属性对金宝app话框中,选择信号属性信号仿真软件名称必须决心信号对象金宝app。以编程方式设置该选项,使用端口参数MustResolveToSignalObject。 |
| 一个或多个输入港口体系结构模型的缺失或错误的范围定义 | 数据接口与上市输入端口分配失踪的范围。提供最大和最小值的数据接口。 |
功能和限制
不上运行库模型。
不支持排除在体系结金宝app构模型。
允许排除块和图表。
另请参阅
检查与失踪的范围定义根外港
检查身份证:mathworks.hism.hisl_0026
描述
确定以下几点:
根级别外港块与缺失或错误的最小值或最大值范围值仿真软件模型。金宝app
您可以指定外港块最小和最大值与块参数或模型信号信号线连接对象明确的决心。金宝app
根级别输出港口与缺失或错误的架构模型的最小值或最大值范围值。
结果表提供链接到外港块没有通过检查,随着条件触发警告。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
失踪的范围——模型包含外港块有缺失的范围参数的数值数据类型(最小和/或最大值)。 |
上市外港街区和仿真软件信号对象,指定标量最小和最大参数。金宝app |
为总线对象缺失范围(年代)——总线对象定义外港块叶子元素缺失的范围。 |
对于上市叶元素,指定模型接口,提供标量最小和最大参数。 |
在外港指定范围将被忽略——在外港最大或最小值或仿真软件信号总线数据类型的对象不支持。金宝app金宝app在检查范围的值将被忽略。 |
使范围检查,指定最小值和最大值信号总线上的叶子元素值对象定义的数据类型。 |
没有公共汽车数据类型指定——模型包含外港块或仿真软件与继承的总线信号对象的数据类型。金宝app |
外港的块和仿真软件信号对象,指定一个支持的数据类型:金宝app金宝app |
隐式解决仿真软件信号对象金宝app——模型包含外港块信号名称,隐式地解决模型信号对象的基本工作空间,工作空间模型,或仿真软件数据字典。金宝app |
上市仿真软件信号对象,在属性对金宝app话框中,选择信号属性信号仿真软件名称必须决心信号对象金宝app。以编程方式设置该选项,使用端口参数MustResolveToSignalObject。 |
| 一个或多个输出端口有缺失或错误的范围定义的架构模型。 | 数据接口与上市输出端口分配失踪的范围。提供最大和最小值的数据接口。 |
功能和限制
这张支票没有国旗港口与枚举数据类型或布尔敏马克斯没有设置值。
不上运行库模型。
不支持排除在体系结金宝app构模型。
允许排除块和图表。
另请参阅
检查使用分配的块
检查身份证:mathworks.hism.hisl_0029
识别赋值块的数组字段是没有初始化。
描述
这张支票检查分配块的使用。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型或子系统包含赋值块与不完整的数组初始化(不是迭代器子系统)和块参数行动如果没有分配任何输出元素没有设置为错误。 | 块参数设置行动如果没有分配任何输出元素来错误。 |
| 模型或子系统包含赋值块的迭代器子系统和块参数行动如果没有分配任何输出元素没有设置为错误。 | 的上市赋值块迭代器子系统、输出数组的大小大于迭代限制并不完全初始化。因此,块参数设置行动如果没有分配任何输出元素来错误。 |
功能和限制
不上运行库模型。
分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。
另请参阅
检查模型文件的名字
检查身份证:mathworks.hism.hisl_0031
描述
这张支票检查模型文件名称,确保名称符合建议的指导方针。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 文件名包含非法字符。 | 重命名文件。允许字符a - z、a - z 0 - 9、下划线(_)。 |
| 文件名始于一个数字。 | 确保文件名并不开始于一个数字。 |
| 文件名始于一个下划线(“_”)。 | 确保文件名并不开始于一个下划线(“_”)。 |
| 文件名结尾下划线(“_”)。 | 确保文件名不结束与一个下划线(“_”)。 |
| 文件扩展名包含一个或更多的强调。 | 改变文件扩展名。 |
| 文件名已经连续下划线。 | 将文件重命名为消除下划线。 |
| 文件名包含不止一个点(“。”)。 | 确保文件名没有超过一个点(“。”)。 |
| 文件名是一个C / c++或MATLAB关键字或函数建成的 | 重命名文件。 |
| 文件名没有超过2和小于64个字符。 | 确保文件名的最低2和最大的64年金宝app支持字符。 |
功能和限制
作曲家™模型库模型和系统上运行。
另请参阅
检查模型对象名称
检查身份证:mathworks.hism.hisl_0032
检查模型对象的名字。
描述
这张支票验证以下模型元素和系统作曲家架构模型对象名称符合自己的建模指南或高度集金宝app成建模的指导方针。检查也验证模型对象不使用保留的名称。
金宝app仿真软件模型元素:
块
信号
参数
公共汽车
Stateflow对象
系统作曲家架构模型对象:
组件
港口
连接器
接口
刻板印象
保留的名字:
MATLAB的关键词
保留关键字对于C、c++和代码生成。一个完整的列表,请参阅保留关键字(金宝app仿真软件编码器)
int8,uint8int16,uint16int32,uint32int64,uint64正,正南,南每股收益intmin,intmax最小正浮点数,最大浮点数π∞零
请注意
在某些情况下,该模型在多个subchecks顾问报告一个问题的检查。
可以使用金宝app仿真软件检查。
输入参数
指定的命名标准和模型对象名称检查标志,使用模型顾问配置编辑器。
打开模型配置编辑器和导航检查模型对象名称。在输入参数窗格中,选择复选框的模型元素的名字你想应用一个命名规则。例如,块命名标准复选框对应于模型块的名字。金宝app
请注意
的系统作曲家对象命名标准复选框适用于所有系统的作曲家架构模型对象。
如果你不想要检查来验证任何模型对象的名称,然后取消选择所有复选框。
使用默认的正则表达式或旁边的文本框中输入自定义正则表达式一个模型元素的名字。例如,创建自己的命名标准Stateflow对象,输入所需的正则表达式正则表达式为禁止Stateflow对象名称盒子。
默认的表达式
(^。{32岁}$)| ([^ a-zA-Z_0-9]) | (^ \ d) |(^) |(__) |(^ _) |(_)美元验证模型对象名称:使用这些字符:
无所不包的,无所不包的,0 - 9、下划线(_)。不要从一个数字。
不要使用下划线开头或结尾的字符串。
不使用连续超过一个下划线。
使用不到32个字符的字符串。
点击应用。
保存配置。当你使用此配置运行检查,检查使用您指定的输入参数。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型对象名称不符合命名标准中指定的输入参数。 | 更新模型对象名称符合高度集成自己的准则或指南。 |
功能和限制
不上运行库模型。
不分析内容块相关的库。默认情况下,输入参数链接被设置为
在。不会在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查使用查找表的块
检查身份证:mathworks.hism.hisl_0033
检查查找表块不生成超出范围检查代码。
描述
这张支票验证以下生成代码块来防止输入超出范围的有效断点值:
这张支票也验证插值使用Prelookup生成代码块来防止输入超出范围的有效的索引值。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
查找表的块不生成超出范围检查代码。 |
改变块的设置对话框,这样超出范围检查代码生成。
|
功能和限制
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
行动的结果
点击修改验证查找表块设置为生成超出范围检查代码。
另请参阅
检查使用的信号路由模块
检查身份证:mathworks.hism.hisl_0034
确定使用信号路由可能影响安全的街区。
描述
这张支票识别模型或子系统开关可能生成代码块与不平等操作(~ =)包含一个浮点变量或常量表达式。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 包含一个模型或子系统开关可能生成代码块与不平等操作(~ =)表达式中至少一方的表达式包含一个浮点变量或常数。的开关块可能会导致生成的代码浮点不平等的比较。 | 确定块,做以下之一:
|
功能和限制
不上运行库模型。
分析内容块相关的库。
在所有蒙面子系统分析内容。
允许排除块和图表。
另请参阅
检查安全诊断设置储蓄
检查身份证:mathworks.hism.hisl_0036
检查为诊断模型配置设置适用于储蓄模型文件
描述
这张支票验证模型配置参数设置为保存模型最优安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
的诊断检测模型包含禁用库链接之前的模型是否保存设置没有一个或警告。如果发现这种情况,可能产生不正确的代码。 |
集框图包含禁用库链接在配置参数对话框中或一组参数SaveWithDisabledLinkMsg来错误。 |
的诊断检测模型包含库链接,是否使用面具在模型中的参数不保存设置没有一个或警告。如果发现这种情况,可能产生不正确的代码。 |
集框图包含参数化库链接在配置参数对话框中或一组参数SaveWithParameterizedLinksMsg来错误。 |
行动的结果
点击修改设置配置模型诊断设置适用于储蓄模型文件。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全模型引用设置
检查身份证:mathworks.hism.hisl_0037
检查模型配置模型引用设置会影响安全。
描述
这张支票验证模型配置参数模型生成代码的引用设置最优安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 引用的模型配置,它的目标是重建无论何时更新,模拟,或为模型生成代码,或者模型软件检测到已知的依赖关系的变化。金宝app这些配置的设置会导致不必要的代码的再生,导致只改变文件的日期和使用模型引用时减慢构建过程。 | 集重建在模型参考面板配置参数对话框或设置参数UpdateModelReferenceTargets来从来没有或如果发现任何变化。 |
诊断检测目标是否需要设置为重建没有一个或警告如果目标需要重建。对于安全的应用程序,一个错误应该预警模型开发者的父母和引用的模型是不一致的。这个诊断参数只有可用重建被设置为从来没有。 |
设置配置参数从来没有重建诊断在模型参考面板配置参数对话框或设置参数CheckModelReferenceTargetMessage来错误。 |
能够通过根输入标量值。这个功能应该因为标量值可以改变在一个时间步和导致不可预测的数据。这个参数是只有当配置参数总数量的实例允许每一个顶级模特被设置为一个或多个(ModelReferenceNumInstancesAllowed是单或多)。 |
集通过根输入固定大小的标量值代码生成在模型参考面板配置参数对话框或设置参数ModelReferencePassRootInputsByReference来从。 |
| 模型配置为最小化代数循环出现。这种配置是不兼容的推荐设置单输出/更新功能对嵌入式系统的代码。 | 在配置参数对话框中,设置最小化代数循环出现或设置参数ModelReferenceMinAlgLoopOccurrences来从。 |
行动的结果
点击修改设置配置模型引用设置会影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全代码生成设置评论
检查身份证:mathworks.hism.hisl_0038
检查模型配置代码生成设置会影响安全。
描述
这张支票验证模型配置参数设置代码生成最优安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 选择包括评论在生成的代码中清除。评论提供良好的代码和模型之间的可跟踪性。 | 选择包括评论(金宝app仿真软件编码器)在代码生成>评论面板配置参数对话框或设置参数GenerateComments来在。 |
| 选择包括清除注释描述的代码块。评论提供良好的代码和模型之间的可跟踪性。 | 选择金宝app注释块模型(金宝app仿真软件编码器)在代码生成>评论面板配置参数对话框或设置参数金宝appSimulinkBlockComments来在。 |
| 选择包括注释描述的代码块模型是清理淘汰。评论提供良好的代码和模型之间的可跟踪性。 | 选择显示了块(金宝app仿真软件编码器)在代码生成>评论面板配置参数对话框或设置参数ShowEliminatedStatement来在。 |
选择包括参数变量的名称和源块作为评论模型中的参数结构声明 |
选择详细的评论模型默认存储类(金宝app仿真软件编码器)在代码生成>评论面板配置参数对话框或设置参数ForceParamTrailComments来在。 |
| 分配给模型的选择包括需求描述块评论了。金宝app评论提供良好的代码和模型之间的可跟踪性。 | 选择需求块评论中(嵌入式编码)在代码生成>自定义注释面板配置参数对话框或设置参数ReqsInCode来在。 |
行动的结果
点击修改设置配置模型的代码生成设置会影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
模型配置参数:评论(金宝app仿真软件编码器)
模型配置参数:代码生成标识符(金宝app仿真软件编码器)
模型配置参数:代码生成界面(金宝app仿真软件编码器)
模型配置参数:代码风格(嵌入式编码)
检查安全代码生成界面设置
检查身份证:mathworks.hism.hisl_0039
检查模型配置代码生成设置会影响安全。
描述
这张支票验证模型配置参数设置代码生成最优安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 选择的选项来生成非限定的数据和操作。金宝app支持非限定的数量不适合实时嵌入式系统。 | 清晰的金宝app支持:非谓语形式的数字(金宝app仿真软件编码器)在代码生成>接口面板配置参数对话框或设置参数金宝appSupportNonFinite来从。 |
| 选择生成和维护整数计数器对绝对和运行时间被选中。金宝app支持实时安全系统的绝对时间是不合适的。 | 清晰的金宝app支持:绝对时间(嵌入式编码)在代码生成>接口面板配置参数对话框或设置参数金宝appSupportAbsoluteTime来从。 |
| 选择生成的代码块使用连续时间被选中。金宝app支持实时安全系统的连续时间是不合适的。 | 清晰的金宝app支持:连续时间(嵌入式编码)在代码生成>接口面板配置参数对话框或设置参数金宝appSupportContinuousTime来从。 |
| 的选项来生成代码noninlined S-functions被选中。这个选项需要支持的非限定的数量,为实时安全金宝app系统是不合适的。 | 清晰的金宝app支持:非内联S-functions(嵌入式编码)在配置参数对话框中或设置参数金宝appSupportNonInlinedSFcns来从。 |
| 选择生成模型的函数调用兼容的主要程序模块GRT pre-R2012a目标被选中。这个选项不适合实时安全系统。 | 清晰的经典的调用接口(金宝app仿真软件编码器)在代码生成>接口面板配置参数对话框或设置参数GRTInterface来从。 |
生成的选项 |
选择单输出/更新功能(金宝app仿真软件编码器)在代码生成>接口面板配置参数对话框或设置参数CombineOutputUpdateFcns来在。 |
生成的选项 |
清晰的终止函数(嵌入式编码)在代码生成面板配置参数对话框或设置参数IncludeMdlTerminateFcn来从。 |
| 选择日志或监视错误状态被清除。如果你不选择这个选项,金宝app仿真软件编码器产品生成额外的代码可能不可以进行测试。 | 选择删除错误状态字段在实时模型的数据结构(嵌入式编码)在代码生成>接口面板配置参数对话框或设置参数SuppressErrorStatus来在。 |
| MAT-file日志记录被选中。这个选项添加额外的代码用于日志记录MAT-file测试点,这是不支持的嵌入式目标。金宝app使用这个选项只有在测试。 | 清晰的MAT-file日志(金宝app仿真软件编码器)在配置参数对话框中或设置参数MatFileLogging来从。 |
行动的结果
点击修改设置配置模型的代码生成设置会影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
模型配置参数:评论(金宝app仿真软件编码器)
模型配置参数:代码生成标识符(金宝app仿真软件编码器)
模型配置参数:代码生成界面(金宝app仿真软件编码器)
模型配置参数:代码风格(嵌入式编码)
检查安全解算器设置仿真时间
检查身份证:mathworks.hism.hisl_0040
检查模型解算器设置配置,适用于模拟时间和可能影响安全。
描述
这张支票验证模型解算器相关的配置参数设置仿真时间最优为安全应用程序生成代码。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
解算器设置为模拟或指定开始时间除了生成的代码将一个值 |
在配置参数对话框中,设置开始时间或设置参数 |
解算器设置指定的停止时间模拟生成的代码将一个负值或积极的价值大于的价值应用程序生命周期(天)。默认情况下,应用程序生命周期(天)是 |
在配置参数对话框中,设置停止时间或设置参数 |
行动的结果
点击修改设置配置模型诊断设置,适用于解决,会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
在蒙面子系统分析的内容。
另请参阅
检查安全解决解算器设置选项
检查身份证:mathworks.hism.hisl_0041
检查模型解算器设置配置,适用于解决和可能影响安全。
描述
这张支票验证模型解算器设置配置参数与动力学优化生成代码的安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
行动的结果
点击修改设置配置模型诊断设置,适用于解决,会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
在蒙面子系统分析的内容。
另请参阅
检查安全解算器设置任务和采样时间
检查身份证:mathworks.hism.hisl_0042
检查模型解算器设置配置适用于周期性的样品时间限制,可能会影响安全。
描述
这张支票验证模型配置参数设置优化,确保模型运行一组特定的优先周期乘以安全应用程序示例。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 配置参数自动处理数据传输速度过渡被选中。 | 清晰的自动处理数据传输速度过渡在配置参数对话框中或一组参数AutoInsertRateTranBlk来从。 |
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置解决者
检查身份证:mathworks.hism.hisl_0043
检查为诊断模型配置设置,适用于解决,会影响安全。
描述
这张支票验证模型诊断解决相关的配置参数设置优化生成代码的安全的应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
诊断检测自动破碎代数循环设置没有一个或警告。代数环的破坏会影响订单的可预测性块执行。对于安全的应用程序,一个模型开发者需要知道在发生此类优惠。 |
集代数循环在诊断>解算器面板配置参数对话框或设置参数AlgebraicLoopMsg来错误。明确考虑打破这种循环单位延迟块的执行顺序是可以预测的。至少,确认自动循环破坏的结果是可以接受的。 |
诊断检测自动的代数环破损模型块,原子子系统,子系统设置为启用没有一个或警告。代数环的破坏会影响订单的可预测性块执行。对于安全的应用程序,一个模型开发者需要知道在发生此类优惠。 |
集最小化代数循环在诊断>解算器面板配置参数对话框或设置参数ArtificialAlgebraicLoopMsg来错误。明确考虑打破这种循环单位延迟块的执行顺序是可以预测的。至少,确认自动循环破坏的结果是可以接受的。 |
诊断检测块执行顺序设置为潜在冲突没有一个或警告。对于安全的应用程序,执行顺序必须是可预测的。一个模型开发者需要知道当块优先级冲突存在。 |
集块优先违反在诊断>解算器面板配置参数对话框或设置参数BlockPriorityViolationMsg来错误。 |
诊断检测仿真软件软件是否自动修改解算器,设置步长或模拟停止时间金宝app没有一个或警告。这些变化会影响生成的代码的操作。对于安全的应用程序,最好是来检测这种变化所以模型开发人员可以显式地设置参数已知值。 |
集自动解算器参数选择在诊断>解算器面板配置参数对话框或设置参数SolverPrmCheckMsg来错误。 |
诊断检测时的名字是用于多个状态模型中设置没有一个。国家名称在一个模型应该是唯一的。对于安全的应用程序,最好是检测模型名称冲突,所以开发人员可以修复它们。 |
集国家名称冲突在诊断>解算器面板配置参数对话框或设置参数StateNameClashWarn来警告。 |
行动的结果
点击修改设置配置模型诊断设置,适用于解决,会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置样品时间
检查身份证:mathworks.hism.hisl_0044
检查为诊断模型配置设置,适用于样品的时间和影响安全。
描述
这张支票验证模型诊断相关的配置参数样本时间设定最优安全应用程序生成代码。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
诊断检测源数据块时,如正弦波块,继承了一个示例(指定为1)设置为时间没有一个或警告。使用继承源块样品时间可能导致不可预知的执行利率为源连接块和块。对于安全的应用程序,源块应该有明确的样品时间以防止不正确的执行顺序。 |
集源块指定1样品时间在诊断>样品时间面板配置参数对话框或设置参数InheritedTslnSrcMsg来错误。 |
两个街区之间的诊断检测无效的数据传输操作在多任务处理模式设置为没有一个或警告。这样不应该用于嵌入式实时数据传输代码。 |
集多任务数据转换在诊断>样品时间面板配置参数对话框或设置参数MultiTaskRateTransMsg来错误。 |
诊断检测子系统,可以将导致数据损坏或不确定的行为没有一个或警告。这个诊断检测是否有条件地执行多重速率的子系统(启用、触发或函数调用子系统)在多任务处理模式。这些子系统可以在实时的环境中腐败的数据和行为就允许抢占。 |
集多任务有条件地执行子系统在诊断>样品时间面板配置参数对话框或设置参数MultiTaskCondExecSysMsg来错误。 |
诊断检查样本时间之间的一致性信号规范块和连接块设置为目的地没有一个或警告。一个额外指定的样品时间会导致不可预知的执行速度。 |
集执行示例倍信号规范所指定的块在诊断>样品时间面板配置参数对话框或设置参数SigSpecEnsureSampleTimeMsg来错误。 |
诊断检测到参数单个任务数据传输没有设置为错误。 |
集单个任务数据传输在配置参数对话框中或设置参数SingleTaskRateTransMsg来错误。 |
诊断检测到参数相同优先级的任务没有设置为错误。 |
集相同优先级的任务在配置参数对话框中或设置参数TasksWithSamePriorityMsg来错误。 |
诊断检测模型是否包含一个功能,没有显式地指定继承采样时间设置没有一个或警告。这些设置会导致不可预测的行为。模型开发人员需要知道当这样一个功能存在于一个模型可以修改生产可预测的行为。 |
集未指明的继承性的样品时间在配置参数对话框中或一组参数UnknownTsInhSupMsg来错误。 |
行动的结果
点击修改设置配置模型诊断设置,适用于样品的时间和影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全优化设置逻辑信号
检查身份证:mathworks.hism.hisl_0045
检查模型配置为优化设置可以影响安全。
描述
这张支票验证模型优化配置参数设置优化生成代码的安全应用程序。虽然高度优化的代码是最理想的实时系统,一些优化有不良的副作用,影响安全。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 布尔数据清除的实现逻辑信号。强数据类型是推荐的安全代码。 | 选择配置参数实现逻辑信号布尔数据(与双)或设置参数BooleanDataType来在。 |
行动的结果
点击修改设置配置模型优化设置可以影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全块减少优化设置
检查身份证:mathworks.hism.hisl_0046
检查模型配置为优化设置可以影响安全。
描述
这张支票验证模型优化配置参数设置优化生成代码的安全应用程序。虽然高度优化的代码是最理想的实时系统,一些优化有不良的副作用,影响安全。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 块减少优化选择。这种优化可以除去生成的代码块,导致需求不违反相关的代码和可追溯性的要求。 | 明确的配置参数块减少或设置参数BlockReduction来从。 |
行动的结果
点击修改设置配置模型优化设置可以影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全代码生成设置代码风格
检查身份证:mathworks.hism.hisl_0047
检查模型配置代码生成设置会影响安全。
描述
这张支票验证模型配置参数设置代码生成最优安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
的选项,用来指定样式设置为括号用法最低(依赖于C / c++运算符优先级)或名义上的可读性(优化)。对于安全的应用程序,使用括号来显式地指定优先级。 |
设置参数ParenthesesLevel来标准遵从性标准(括号)或最大(与括号指定优先级)。 |
| 选项,用来指定保存操作数是否清除。这个选项会增加生成的代码的可追溯性。 | 设置参数PreserveExpressionOrder来在。 |
行动的结果
点击修改设置配置模型的代码生成设置会影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
模型配置参数:评论(金宝app仿真软件编码器)
模型配置参数:代码生成标识符(金宝app仿真软件编码器)
模型配置参数:代码生成界面(金宝app仿真软件编码器)
模型配置参数:代码风格(嵌入式编码)
检查安全优化设置应用寿命
检查身份证:mathworks.hism.hisl_0048
检查模型配置为优化设置可以影响安全。
描述
这张支票验证模型优化配置参数设置优化生成代码的安全应用程序。虽然高度优化的代码是最理想的实时系统,一些优化有不良的副作用,影响安全。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型包括块取决于运行或绝对时间和配置定时器的内存分配的数量最小化。这种配置的天数限制应用程序可以执行一个计时器溢出发生之前。许多航空航天产品的持续和计时器下载188bet金宝搏不应该承担有限的寿命。 | 设置配置参数应用程序生命周期(天)或设置参数寿命来正。 |
行动的结果
点击修改设置配置模型优化设置可以影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全设置代码生成标识符
检查身份证:mathworks.hism.hisl_0049
检查模型配置代码生成设置会影响安全。
描述
这张支票验证模型配置参数设置代码生成最优安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 生成指定的最小字符数小于四个名称改编字符串。你可以使用这个选项来最小化参数和信号的名称将会改变的可能性在代码生成模型的变化。使用这个选项协助减少代码文件版本之间的差异,减少努力执行代码评审。 | 集最小损坏长度(嵌入式编码)在代码生成>标识符面板配置参数对话框或参数MangleLength4或更高的价值。 |
行动的结果
点击修改设置配置模型的代码生成设置会影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
模型配置参数:评论(金宝app仿真软件编码器)
模型配置参数:代码生成标识符(金宝app仿真软件编码器)
模型配置参数:代码生成界面(金宝app仿真软件编码器)
模型配置参数:代码风格(嵌入式编码)
检查安全优化设置数据初始化
检查身份证:mathworks.hism.hisl_0052
检查模型配置为优化设置可以影响安全。
描述
这张支票验证模型优化配置参数设置优化生成代码的安全应用程序。虽然高度优化的代码是最理想的实时系统,一些优化有不良的副作用,影响安全。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 初始化代码的优化,抑制生成根级港口和外港选择设置为0。安全代码,你应该显式初始化所有的变量。 | 如果你有一个嵌入式编码器许可和使用一个ERT-based系统目标文件,明确的配置参数删除根水平I / O零初始化(嵌入式编码)或设置参数ZeroExternalMemoryAtStartup来在。另外,确认你的编译器是符合标准的,因为大多数现代C编译器初始化全局数据为零。或者,整合外部,手写代码显式初始化所有I / O变量为零。 |
| 初始化代码的优化,抑制生成内部工作结构,如块和块输出设置为0,被选中。安全代码,你应该显式初始化每一个变量。 | 如果你有一个嵌入式编码器许可和使用一个ERT-based系统目标文件,明确的配置参数删除内部数据零初始化(嵌入式编码)或设置参数ZeroInternalMemoryAtStartup来在。另外,确认你的编译器是符合标准的,因为大多数现代C编译器初始化全局数据为零。或者,整合外部,手写代码显式初始化每一个状态变量为零。 |
行动的结果
点击修改设置配置模型优化设置可以影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全优化设置数据类型转换
检查身份证:mathworks.hism.hisl_0053
检查模型配置为优化设置可以影响安全。
描述
这张支票验证模型优化配置参数设置优化生成代码的安全应用程序。虽然高度优化的代码是最理想的实时系统,一些优化有不良的副作用,影响安全。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 造成代码的优化,抑制生成浮点整数转换包装超出范围的值是清除。你必须避免溢出的安全代码。当这种优化和模型包括块禁用浸透在溢出参数,代码生成器将为那些块超出范围的值。这会导致遥不可及的,因此不可测试代码。 | 如果你有一个金宝app仿真软件编码器许可证,选择配置参数删除代码从浮点整数转换包装超出范围的值(金宝app仿真软件编码器)或设置参数EfficientFloat2IntCast来在。 |
行动的结果
点击修改设置配置模型优化设置可以影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全优化设置部门算术异常
检查身份证:mathworks.hism.hisl_0054
检查模型配置为优化设置可以影响安全。
描述
这张支票验证模型优化配置参数设置优化生成代码的安全应用程序。虽然高度优化的代码是最理想的实时系统,一些优化有不良的副作用,影响安全。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 优化,抑制生成的代码防范除零定点数据被选中。你必须避免除零异常安全代码。 | 如果你有一个嵌入式编码器许可和使用一个ERT-based系统目标文件,明确的配置参数删除代码,防止部门算术异常(嵌入式编码)或设置参数NoFixptDivByZeroProtection来从。 |
行动的结果
点击修改设置配置模型优化设置可以影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全优化设置指定最小值和最大值
检查身份证:mathworks.hism.hisl_0056
检查模型配置为优化设置可以影响安全。
描述
这张支票验证模型优化配置参数设置优化生成代码的安全应用程序。虽然高度优化的代码是最理想的实时系统,一些优化有不良的副作用,影响安全。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 优化使用指定的最大和最小值信号和参数优化选择生成的代码。这可能导致需求没有跟踪代码。(见做MB.6.3.4 - 331部分。e -源代码是可追踪的低级需求。) | 如果你有一个嵌入式编码器许可和使用一个ERT-based系统目标文件,明确的配置参数优化使用指定的最小和最大值(嵌入式编码),或参数UseSpecifiedMinMax来从。 |
行动的结果
点击修改设置配置模型优化设置可以影响安全。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
优化生成的代码使用最大和最小值(嵌入式编码)
航空无线电技术委员会(RTCA)信息做- 178 c软件考虑机载系统和设备认证和相关标准
检查Stateflow图表的独特定义数据对象
检查身份证:mathworks.hism.hisl_0061
识别Stateflow图表,包括数据对象的定义不是唯一的。
描述
这张支票搜索模型对当地Stateflow图表中的数据不是唯一地定义。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| Stateflow图包含两个或两个以上的范围中定义的数据对象标识符。 | 确认图,做以下之一:
|
功能和限制
这张支票不寻找使用仿真软件信号的惟一标识符。金宝app
运行库模型。
不分析内容块相关的库。
在所有蒙面子系统分析内容。
块不允许排除或图表。
另请参阅
检查全局变量的图形功能
检查身份证:mathworks.hism.hisl_0062
描述
这张支票识别表达式读取和写入Stateflow相同的全局数据。
这张支票需要金宝app仿真软件检查和Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 一个或多个表达式操作图形函数和全局变量中使用图形化功能。 | 改造表达式,这样使用的函数和全局变量不相同的表达式。 |
功能和限制
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查用户定义的对象名称的长度
检查身份证:mathworks.hism.hisl_0063
描述
这张支票检查这些用户定义的对象的名称的长度与最大标识符长度参数配置设置:
子系统与函数名选项设置为指定的。
指南中描述的数据对象。
信号和参数对象。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 函数名的长度大于设置的阈值在一个子系统。 | 改变子系统模块中的函数名长度小于设定的阈值。 |
| 数据对象名称长度大于阈值。 | 更改数据对象名称长度小于设定的阈值。 |
| 信号和参数名称长度大于阈值。 | 改变信号和参数名称长度小于设定的阈值。 |
功能和限制
这张支票没有标志信号,不解决对象。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。
另请参阅
检查使用的块
检查身份证:mathworks.hism.hisl_0066
描述
这个检查标识获得值,解决了1块,一个单位矩阵,或一个矩阵的。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 一个或多个获得块模型中解决1或一个单位矩阵。 | 改造增益模块,以便获得值不解决1,一个单位矩阵,或一个矩阵的。 |
功能和限制
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查除计算
检查身份证:mathworks.hism.hisl_0067
描述
标识块可以在除的计算结果。
可以使用金宝app仿真软件检查。
这张支票需要金宝app仿真软件设计验证器许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型中的一个或多个块可以在除的计算结果。 | 改造,以避免被零除计算。 |
功能和限制
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查不链接到需求的模型元素
检查身份证:mathworks.hism.hisl_0070
检查是否仿真软件或系统作曲家金宝app模型元素链接到一个需求文档。
描述
这张支票验证模型元素或模型元素组是否链接到一个文档,其中包含工程可追溯性的要求。
这张支票也验证每个组件是否坚持独特需求的最大数量的链接,每个连接组件,反过来,坚持子对象的最大数量。
组件——一个组件是一个模型元素。组件可以进一步定义如下:
在仿真金宝app软件中,组件是一个顶级框图,子系统,MATLAB函数,或区域注释。
Stateflow,组件是一个图表,超级大国,盒子,仿真软件功能,图形函数,仿真软件状态,MATLAB函数,或金宝app真值表。
在MATLAB中,一个组件是一个函数。
在系统的作曲家,一个组件是一个组件块或适配器。
子对象——子对象可以定义如下:
在仿真金宝app软件中,子对象都没有要求链接除了子系统模型元素。
Stateflow,子对象以下链接:没有要求,箱、图形功能,嵌入式MATLAB函数、真值表、子图表,原子子图表。例外是基于模型的状态和仿真软件的功能。金宝app
在MATLAB中,子对象的代码包含在每个MATLAB函数。
在系统的作曲家,子对象不要求以下链接:系统作曲家组件和适配器。
可以使用金宝app仿真软件检查。
这张支票需要需求的工具箱许可证。
检查参数化
可以通过设置以下配置模型顾问配置编辑器。
检查行为可以设置为期望要求链接组件级别或通过输入参数的非豁免模型元素水平检查行为。默认情况下,这个值设置为只检查要求链接组件(HISL_0070)。
要求链接每个元素允许的最大数量可以通过设置输入参数最大的需求链接数模型元素。默认情况下,这个值设置为5。
最大数量的子对象与组件可以通过设置在仿真软件允许输入参数金宝app最大数量的子对象与组件仿真软件/系统作曲家金宝app。默认情况下,这个值设置为One hundred.。
最大数量的子对象与组件在Stateflow允许通过输入参数可以设置最大数量的子对象Stateflow连接组件。默认情况下,这个值设置为One hundred.。
最大的代码行数与MATLAB函数允许通过输入参数可以设置最大的代码行数与MATLAB函数。默认情况下,这个值设置为200年。
模型元素,可以免除要求链接可以通过设置输入参数模型元素免除要求链接的列表凭违约,下面的列表都包含在参数的块。你也可以添加或删除块按您的需求。
地面
《终结者》
轮廓尺寸
外港
InportShadow
转到
从
Mux
多路分配器
CMBlock
DocBlock
系统需求
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型元素或模型元素组不链接到一个需求文档。 | 对于每一个模型元素模型,在模型编辑器中,右键单击模型元素,选择需求并指定一个要求。 |
| 模型元素链接要求,超过设置的阈值。 | 确保模型元素不超过设定阈值的最大需求的链接。 |
| 组件模型中与需求超过阈值的子对象。 | 确保组件与需求不超过阈值的子对象。 |
功能和限制
运行库模型。
分析了图书馆的内容块有关。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析内容没有工作区和对话框。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
不允许排除Stateflow元素。
这张支票验证的要求添加到MATLAB函数头文件或整个MATLAB函数体。
检查报告提供了一个链接的推荐行为选项卡打开跟踪矩阵。
提示
从顶级模特或子系统运行这个检查要检查。
另请参阅
需求跟踪(需求工具箱)
检查安全设置硬件实现
检查身份证:mathworks.hism.hisl_0071
描述
标识不一致或不指定的硬件属性,会导致最优结果。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 没有指定一个或多个参数。 | 指定的参数,以确保正确和高效的代码生成目标硬件。 |
| 一个或多个目标规格不匹配。 | 使参数测试硬件是一样的生产硬件或修改目标规格匹配。 |
功能和限制
运行库模型。
允许排除块和图表。
另请参阅
检查循环控制变量的数据类型
检查身份证:mathworks.hism.hisl_0102
描述
这张支票识别循环控制变量使用非整数数据类型如下:
迭代器块。
For循环在MATLAB函数块。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 一个或多个迭代器块使用非整数数据类型For循环计数器变量的控制。 | 循环控制计数器变量的数据类型设置为一个整数数据类型。 |
| 一个或多个循环使用非整数数据类型For循环控制计数器变量在MATLAB函数块。 | 循环控制计数器变量的数据类型设置为一个整数数据类型。 |
功能和限制
这张支票不看看Stateflow图表内循环控制变量。
不上运行库模型。
分析library-linked内容块。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。允许排除块和图表。
另请参阅
检查安全诊断设置兼容性
检查身份证:mathworks.hism.hisl_0301
检查模型配置为诊断设置影响兼容性和可能影响安全。
描述
这张支票验证模型诊断相关的配置参数生成代码的兼容性设置最优安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
时检测的诊断一块尚未升级到当前版本将使用的特性没有一个或警告。早期版本的s函数写的可能不兼容当前版本,生成的代码可能不正确操作。 |
集功能升级需要在诊断>兼容性面板配置参数对话框或设置参数SFcnCompatibilityMsg来错误。 |
行动的结果
点击修改设置配置模型诊断影响兼容性设置,可能会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置参数
检查身份证:mathworks.hism.hisl_0302
检查为诊断模型配置设置适用于参数和影响安全。
描述
这张支票验证模型诊断相关的配置参数参数设置优化生成代码的安全的应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
时检测的诊断参数沮丧将发生没有一个或警告。向下转换到一个较低的信号范围会导致数字溢出的参数,导致意想不到的行为。 |
集检测沮丧在诊断>数据的有效性面板配置参数对话框或设置参数ParameterDowncastMsg来错误。 |
时检测的诊断下溢发生被设置为一个参数没有一个或警告。当一个参数的数据类型没有足够的决议,指定的参数值是0,而不是价值。这可能会导致不正确的操作生成的代码。 |
集检测下溢在诊断>数据的有效性面板配置参数对话框或设置参数ParameterUnderflowMsg来错误。 |
时检测的诊断参数溢出将发生没有一个或警告。数字溢出可能导致异常的应用程序行为,应检测并固定在安全应用程序。 |
集检测溢出在诊断>数据的有效性面板配置参数对话框或设置参数ParameterOverflowMsg来错误。 |
时检测的诊断参数设置为失去精度没有一个或警告。没有检测这些错误可以导致一个参数被设置为不正确的值在生成的代码。 |
集检测精度损失在诊断>数据的有效性面板配置参数对话框或设置参数ParameterPrecisionLossMsg来错误。 |
时检测的诊断和可调变量表达式数值相当于将减少没有一个或警告。这可能导致一个可调参数竟然不是在生成的代码可调。 |
集检测的损失可调谐性在诊断>数据的有效性面板配置参数对话框或设置参数ParameterTunabilityLossMsg来错误。 |
行动的结果
点击修改设置配置模型诊断适用于参数设置,会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置合并块
检查身份证:mathworks.hism.hisl_0303
检查为诊断模型配置设置适用于合并块
描述
这张支票验证模型配置参数设置最优合并街区安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
诊断检测模型包含合并块是否与多个驱动块设置为同时执行步骤没有一个或警告。 |
在配置参数对话框中,设置同时检测多个驱动块执行步骤或设置参数 |
行动的结果
点击修改设置配置模型诊断设置,适用于解决,会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断模型初始化设置
检查身份证:mathworks.hism.hisl_0304
在模型中配置,检查诊断设置影响模型初始化,可能会影响安全。
描述
这张支票验证模型诊断配置参数初始化优化设置安全应用程序来生成代码。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
配置参数对话框中未指定初始化检测诊断设置为 |
做下列之一:
|
配置参数对话框中未指定初始化检测诊断设置为 |
做下列之一: |
行动的结果
配置诊断影响模型初始化和可能影响安全设置,点击修改设置。
Subchecks取决于Subchecks表示的结果D在结果表中模型中的顾问窗口。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置数据用于调试
检查身份证:mathworks.hism.hisl_0305
检查为诊断模型配置设置,适用于数据用于调试,会影响安全。
描述
这张支票验证模型诊断配置参数设置与调试优化生成代码的安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
诊断,使模型验证模块设置使用本地设置或让所有。这种阻塞应该禁用,因为他们是断言,这仅供验证。开发人员不应使用断言在嵌入式代码模型。 |
在配置参数对话框中,设置模型验证块使或设置参数AssertControl来禁用所有。 |
行动的结果
点击修改设置配置模型适用于数据用于调试和诊断设置可以影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置信号连接
检查身份证:mathworks.hism.hisl_0306
检查为诊断模型配置设置,适用于信号的连接,会影响安全。
描述
这张支票验证模型诊断属于信号连接的配置参数设置优化生成代码的安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
诊断检测虚拟信号有一个共同的源信号,但被设置为不同的标签没有一个或警告。这个诊断属于虚拟信号只在生成的代码并没有影响。然而,信号在模型检查标签不匹配会导致混乱。 |
集信号标签不匹配在诊断>连接面板配置参数对话框或设置参数SignalLabelMismatchMsg来错误。 |
时检测的诊断的模型包含一块设置为一个独立的输入信号没有一个或警告。这一定是发现因为无关的代码不是生成的块的输入。 |
集独立块输入端口在诊断>连接面板配置参数对话框或设置参数UnconnectedInputMsg来错误。 |
时检测的诊断的模型包含一块设置为一个无关的输出信号没有一个或警告。这一定是发现因为死代码可以从无关的结果块输出信号。 |
集无关联的块输出端口在诊断>连接面板配置参数对话框或设置参数UnconnectedOutputMsg来错误。 |
诊断检测无关的信号线路和无可匹敌的转到或从块设置为没有一个或警告。这个错误必须被检测到,因为生成的代码不是无关的行。 |
集未连接的线在诊断>连接面板配置参数对话框或设置参数UnconnectedLineMsg来错误。 |
行动的结果
点击修改设置配置模型诊断设置适用于信号连接和影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置总线连接
检查身份证:mathworks.hism.hisl_0307
检查为诊断模型配置设置,适用于总线连接,会影响安全。
描述
这张支票验证模型诊断属于总线连接的配置参数设置优化生成代码的安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
检测是否的诊断模型块的根外港块连接到总线但不指定一个总线对象设置为没有一个或警告。总线信号跨越边界,模型的信号必须被定义为一个总线对象兼容更高层次模型,用模型作为参考模型。 |
集未指明的巴士在根外港块对象在诊断>连接面板配置参数对话框或设置参数RootOutportRequireBusObject来错误。 |
的诊断检测到总线的名称元素是否匹配指定的名称设置为相应的总线对象没有一个或警告。这个诊断防止使用不兼容的公交车等bus-capable块输出名称不一致。 |
集元素名称不匹配在诊断>连接面板配置参数对话框或设置参数BusObjectLabelMismatch来错误。 |
时检测的诊断治疗一些块信号作为mux /向量,而其他模块将信号总线,将没有一个或警告。当仿真软件软件自动金宝app将mux信号转换为总线,它可能是一个意想不到的操作或不可预知的行为发生。 |
集总线信号视为向量在诊断>连接面板配置参数对话框中 |
诊断检测到参数Non-bus信号作为总线信号没有设置为错误。 |
集Non-bus信号作为总线信号在诊断>连接面板配置参数对话框,或参数 |
行动的结果
点击修改设置配置模型诊断设置,适用于总线连接,会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置适用于函数调用连接
检查身份证:mathworks.hism.hisl_0308
检查为诊断模型配置设置,适用于函数调用连接,会影响安全。
描述
这张支票验证模型诊断相关的配置参数设置函数调用连接优化生成代码的安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
指定的诊断模型软件计算输入的函数调用子系统直接或间接在执行子系统设置金宝app使用本地设置或禁用所有。这一诊断检测不可预测的数据之间的耦合函数调用子系统的输入子系统生成的代码。 |
集上下文相关的输入在诊断>连接面板配置参数对话框或设置参数FcnCallInpInsideContextMsg来错误。 |
行动的结果
点击修改设置适用于函数调用连接和配置模型诊断设置可以影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置类型转换
检查身份证:mathworks.hism.hisl_0309
检查为诊断模型配置设置,适用于类型转换,会影响安全。
描述
这张支票验证模型诊断相关的配置参数类型转换生成代码的设置最优安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
的诊断检测数据类型转换块设置类型转换的时候出现没有一个。仿真软件金宝app的软件可能会删除不必要的数据类型转换从生成的代码块,这可能导致需求没有相应代码。移除这些块需要识别模型的开发人员可以显式地删除不必要的街区。 |
设置不必要的类型转换配置参数或UnnecessaryDatatypeConvMsg参数警告。 |
的诊断检测vector-to-matrix或matrix-to-vector转换块输入设置没有一个或警告。当仿真软件软件之间金宝app自动转换向量和矩阵维度,意想不到的操作或可能发生不可预知的行为。 |
设置向量和矩阵块输入转换配置参数或VectorMatrixConversionMsg参数错误 |
时检测的诊断一个32位的整数值转换为浮点值设置为没有一个。这种类型的转换会导致精度的损失由于截断的最低有效位为大整数值。 |
设置32位单精度浮点数转换整数配置参数或Int32ToFloatConvMsg参数警告。 |
行动的结果
点击修改设置配置模型诊断设置适用于类型转换和影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置模型引用
检查身份证:mathworks.hism.hisl_0310
检查为诊断模型配置设置,适用于模型引用,会影响安全。
描述
这张支票验证模型诊断相关的配置参数模型生成代码的引用设置最优安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
期间检测到端口和参数不匹配的诊断模型加载和更新设置为没有一个或警告。如果未被发现,这样的不匹配会导致不正确的仿真结果,因为父母和引用的模型有不同的接口。 |
集港口和参数不匹配在诊断>模型参考面板配置参数对话框或设置参数ModelReferenceIOMismatchMessage来错误。 |
诊断检测到无效的内部连接到当前模型的根级轮廓尺寸和外港块设置为没有一个或警告。当检测到这种情况,仿真软件的软件可能会自动隐藏块插入模型修复条件。金宝app隐藏的块会导致生成的代码没有可追踪的需求。设置的诊断错误力模型开发人员手动修复被引用的模型。 |
集无效的根尺寸/外港块连接在诊断>模型参考面板配置参数对话框或设置参数ModelReferenceIOMessage来错误。 |
检测是否的诊断到工作空间或范围块在参考模型将日志数据没有一个或警告。不支持数据记录金宝app到工作空间和范围块在参考模型。 |
集不支金宝app持的数据记录在诊断>模型参考面板配置参数对话框或设置参数ModelReferenceDataLoggingMessage来错误。日志数据、删除模块和日志引用模型的信号。有关更多信息,请参见模型与模型引用:覆盖信号日志设置。 |
行动的结果
点击修改设置配置模型诊断设置适用于模型引用,会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全Stateflow诊断设置
检查身份证:mathworks.hism.hisl_0311
检查安全Stateflow诊断设置
描述
这张支票验证模型配置参数设置优化Stateflow安全应用程序。
可以使用金宝app仿真软件检查。
这张支票需要Stateflow许可证。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
诊断检测图是否配置在模拟将会导致不必要的回溯没有一个或警告。 |
在配置参数对话框中,设置意想不到的回溯或设置参数 |
的诊断检测图配置是否有块连接图输入端口不初始化输出在初始化设置没有一个或警告。 |
在配置参数对话框中,设置无效的输入数据访问表初始化或设置参数 |
的诊断检测图是否已无条件设置默认过渡到一个国家或一个结没有一个或警告。 |
在配置参数对话框中,设置没有无条件的默认转换或设置参数 |
的诊断检测表是否包含一个过渡,循环之外的父状态或结将没有一个或警告。 |
在配置参数对话框中,设置过渡自然外父或设置参数 |
的诊断检测图是否建在一个有效的执行路径设置为没有一个或警告。 |
在配置参数对话框中,设置遥不可及的执行路径或设置参数 |
诊断检测到参数无向事件广播被设置为没有一个或警告。 |
集无向事件广播在配置参数对话框中或设置参数SFUndirectedBroadcastEventsDiag来错误。 |
诊断检测到参数过渡动作之前指定条件动作被设置为没有一个或警告。 |
集过渡动作之前指定条件动作在配置参数对话框中或设置参数SFTransitionActionBeforeConditionDiag来错误。 |
检测到的诊断参数Read-before-write摩尔图输出被设置为没有一个或警告。 |
集Read-before-write摩尔图输出在配置参数对话框中或设置参数SFOutputUsedAsStateInMooreChartDiag来错误。 |
诊断检测到参数绝对时间时间价值比采样周期短被设置为没有一个或警告。 |
集绝对时间时间价值比采样周期短在配置参数对话框中或设置参数SFTemporalDelaySmallerThanSampleTimeDiag来错误。 |
诊断检测到参数自我在叶状态转换被设置为没有一个或警告。 |
集自我在叶状态转换在配置参数对话框中或设置参数SFSelfTransitionDiag来错误。 |
诊断检测到参数Execute-at-Initialization禁用输入事件的存在被设置为没有一个或警告。 |
集Execute-at-Initialization禁用输入事件的存在在配置参数对话框中或设置参数SFExecutionAtInitializationDiag来错误。 |
行动的结果
点击修改设置配置模型诊断设置,适用于解决,会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查安全诊断设置信号数据
检查身份证:mathworks.hism.hisl_0314
检查为诊断模型配置设置,适用于信号数据,会影响安全。
描述
这张支票验证模型诊断相关的配置参数设置信号数据生成代码的最佳安全应用程序。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
诊断,指定如何仿真软件与软件解决了信号金宝app金宝appSimulink.Signal对象设置为显式和隐式或明确并警告含蓄。对于安全的应用程序,模型开发人员应该被要求显式地定义信号的分辨率。(见- 331,部分MB.6.3.3。b -软件体系结构是一致的。) |
集信号的分辨率在诊断>数据的有效性面板配置参数对话框或设置参数 另外,禁用 |
的产品阻塞的诊断检测到一个奇异矩阵在矩阵乘法反相输入的模式设置为没有一个或警告。除奇异矩阵会导致数值异常时执行生成的代码。这是不可接受的安全系统。(见- 331,部分MB.6.3.1。g -算法是准确的,- 331,部分MB.6.3.2。g -算法准确,MISRA - C: 2012年,Dir 4.1)。 |
集除奇异矩阵在诊断>数据的有效性面板配置参数对话框或设置参数CheckMatrixSingularityMsg来错误。 |
时检测的诊断模型软件不能推断出一个信号的数据类型在数据类型设置为传播金宝app没有一个或警告。对于安全的应用程序,模型开发人员必须验证数据类型的信号。(见- 331,部分MB.6.3.1。e -高级需求符合标准,做- 331节MB.6.3.2。e -低级需求符合标准。) |
集未指定数据类型在诊断>数据的有效性面板配置参数对话框或设置参数UnderSpecifiedDataTypeMsg来错误。 |
诊断检测信号的价值是否太大是数据类型设置为代表的信号没有一个或警告。未被发现的数字溢出可能会导致异常的应用程序行为。(见- 331,部分MB.6.3.1。g -算法是准确的,- 331,部分MB.6.3.2。g -算法准确,MISRA - C: 2012年,Dir 4.1)。 |
集包装上溢出在诊断>数据的有效性面板配置参数对话框或设置参数IntegerOverflowMsg来错误。 |
诊断检测信号的价值是否太大信号所代表的数据类型,导致饱和,将没有一个或警告。未被发现的数字溢出可能会导致异常的应用程序行为。(见- 331,部分MB.6.3.1。g -算法是准确的,- 331,部分MB.6.3.2。g -算法准确,MISRA - C: 2012年,Dir 4.1)。 |
集浸透在溢出在诊断>数据的有效性面板配置参数对话框或设置参数IntegerSaturationMsg来错误。 |
时检测的诊断价值的一块输出信号正或南在当前时间步长设置为没有一个或警告。当这种类型的块输出信号条件发生时,数值异常可以结果,数值异常安全应用程序中是不能接受的。(见- 331,部分MB.6.3.1。g -算法是准确的,- 331,部分MB.6.3.2。g -算法准确,MISRA - C: 2012年,Dir 4.1)。 |
集正或南块输出在诊断>数据的有效性面板配置参数对话框或设置参数SignalInfNanChecking来错误。 |
诊断检测模型对象的名字金宝apprt被设置为没有一个或警告。这个诊断防止名称冲突的名字有一个生成的信号rt前缀。(见- 331,部分MB.6.3.1。e -高级需求符合标准,做- 331节MB.6.3.2。e -低级需求符合标准。) |
集“rt”前缀标识符在诊断>数据的有效性面板配置参数对话框或设置参数RTPrefix来错误。 |
的诊断检测模拟范围检查设置没有一个或警告。这个诊断检测在模拟信号超过指定范围时。金宝app模型比较块输出信号值与指定的范围和块数据类型。(见- 331,部分MB.6.3.1。g -算法是准确的,- 331,部分MB.6.3.2。g -算法准确,MISRA - C: 2012年,Dir 4.1)。 |
集模拟范围检查在诊断>数据的有效性面板配置参数对话框或设置参数SignalRangeChecking来错误。 |
行动的结果
点击修改设置配置模型诊断设置,适用于信号数据,会影响安全。
功能和限制
不上运行库模型。
块不允许排除或图表。
另请参阅
检查MATLAB函数不支持代码生成金宝app
检查身份证:mathworks.hism.himl_0012
描述
这张支票识别MATLAB函数不支持代码生成。金宝app
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| MATLAB函数不支持代码生成模型。金宝app | 避免使用MATLAB函数不支持代码生成。金宝app |
功能和限制
不上运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
指标为生成的代码的复杂性
检查身份证:mathworks.hism.himl_0013
描述
高代码标识的使用内置的MATLAB函数生成的代码的复杂性。
可以使用金宝app仿真软件检查。
输入参数
对于这张支票,您可以设置以下自定义使用模型顾问配置编辑器:
国旗MATLAB函数设置阈值高的代码生成的代码使用的复杂性复杂性阈值参数。默认情况下,这个值设置为40。
排除分析MATLAB函数使用的参数排除在分析功能。您可以添加多个函数来使用逗号分隔符。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 一些内置的MATLAB函数中使用的模型生成代码时可能会导致高的代码复杂性。 |
|
功能和限制
不上运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
可调谐性忽略检查参数为参考模型
检查身份证:mathworks.hism.hisl_0072
描述
这张支票识别模型参数可调谐性信息指定使用模型参数配置对话框。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型包含参数可调谐性信息模型忽略了如果使用定义的可调参数金宝app模型参数配置对话框。 | 使用金宝appSimulink.Parameter对象定义的可调参数。 |
功能和限制
当这张支票不分析模型默认参数的行为被设置为
可调。运行库模型。
允许排除块和图表。
另请参阅
检查使用的移位操作
检查身份证:mathworks.hism.hisl_0073
描述
标识块或表达式,大于执行移位操作的位宽的输入类型可能导致违反编码标准。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型中的一个或多个块或表达式执行移位操作大于输入类型的位宽。 | 改造,避免移位操作大于输入类型的位宽。 |
功能和限制
这张支票不验证表达式作为输入信号。这样的表达式必须手动验证。
运行库模型。
在蒙面子系统分析内容没有工作区和对话框。默认情况下,输入参数看下面具被设置为
所有。分析了图书馆的内容块有关。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查安全诊断设置变量
检查身份证:mathworks.hism.hisl_0074
描述
在模型中识别诊断设置配置适用于变异。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
配置参数变异条件不匹配在源和目标信号在模型中没有设置错误。 |
设置配置参数变异条件不匹配在源和目标信号来错误。 |
配置参数算术运算的变异情况在模型中没有设置错误。 |
设置配置参数算术运算的变异情况来错误。 |
功能和限制
运行库模型。
允许排除块和图表。
另请参阅
检查使用的平方根的操作
检查身份证:mathworks.hism.hisl_0003
描述
标识根操作的输入可以是负的。
可以使用金宝app仿真软件检查。这张支票需要金宝app仿真软件设计验证器(SLDV)许可证。
注意:这张支票将执行SLDV分析模型。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 平方根操作模型的输入,模拟期间会变得消极。 | 改造防止平方根操作的输入变得消极。 |
功能和限制
运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。
另请参阅
检查使用互惠√6块
检查身份证:mathworks.hism.hisl_0028
描述
标识互惠√6块的输入可以成为零或负数。
可以使用金宝app仿真软件检查。这张支票需要金宝app仿真软件设计验证器(SLDV)许可证。
注意:这张支票将执行SLDV分析模型。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 一个或多个互惠√6块模型的输入,可以成为零或负在模拟。 | 防止输入的改造互惠√6块成为零或负数。 |
功能和限制
运行库模型。
分析内容块相关的库。默认情况下,输入参数链接被设置为
在。在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。
另请参阅
检查禁用和参数化库链接
检查身份证:mathworks.hism.hisl_0075
描述
确定残疾人和模型中参数化库链接。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型参数化库中的一个或多个块链接。 | 使用以下选项之一来解决这个问题通过右键单击违反块和选择适当的选项库链接菜单:
|
| 模型中的一个或多个块被禁用库链接。 | 使用以下步骤解决链接:
|
功能和限制
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查访问和死代码
检查身份证:mathworks.hism.hisl_0101
描述
识别模块和操作结果在遥不可及的和死代码。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 模型中的一个或多个块/操作导致不可用或死代码。 | 改造来防止不可到达和死代码。 |
功能和限制
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
所有。分析library-linked内容块。默认情况下,输入参数链接被设置为
在。允许排除块和图表。
另请参阅
检查根外港和缺失的属性
检查身份证:mathworks.hism.hisl_0077
描述
确定以下几点:
根级别外港块与缺失或继承的样本,数据类型或端口仿真软件模型的维度。金宝app
使用根模型外港没有定义样本的时间块,数据类型或端口尺寸可能会导致不理想的仿真结果。金宝app仿真软件back-propagates维度,样品时间,从下游模块和数据类型,除非您显式指定这些值。您可以指定外港块与块属性参数或模型信号信号线连接对象明确的决心。金宝app
根级别输出港口与缺失或继承的数据类型或端口维度结构模型。
当您运行检查,结果表提供链接到外港块和信号对象不通过,随着条件触发警报。
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
失踪的端口尺寸——模型包含外港块继承端口尺寸。 |
上市外港街区和仿真软件信号对象,指定端口尺寸。金宝app |
丢失的信号数据类型——模型包含外港块继承了数据类型。 |
上市外港街区和仿真软件信号对象,指定数据类型。金宝app |
失踪港样品时间——模型包含外港块继承样品时间。 |
上市外港街区和仿真软件信号对象,指定样品时间。金宝app样品时间根外港总线类型必须匹配样本时报在公共汽车的叶子元素指定对象。 |
隐式解决仿真软件信号对象金宝app——模型包含外港块信号名称,隐式地解决模型信号对象的基本工作空间,工作空间模型,或仿真软件数据字典。金宝app |
上市仿真软件信号对象,在属性对金宝app话框中,选择信号属性信号仿真软件名称必须决心信号对象金宝app。以编程方式设置该选项,使用端口参数MustResolveToSignalObject。 |
| 一个或多个输出端口的建筑模型没有一个分配给它的数据接口。 | 为列出输出端口分配数据接口。 |
功能和限制
允许排除块和图表。
不支持排除在体系结金宝app构模型。
另请参阅
检查条件表达式的类型和大小
检查身份证:mathworks.hism.himl_0011
描述
这个检查评估模型来检查逻辑标量用于这些条件表达式:
如果表达式elseif表达式而表达式条件表达式的Stateflow转换
可以使用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
|
改变一个逻辑标量表达式。 |
|
改变一个逻辑标量表达式。 |
|
改变一个逻辑标量表达式。 |
条件表达式Stateflow过渡表达的不是一个逻辑标量。 |
改变一个逻辑标量表达式。 |
行动的结果
结果表标识每个表达式包含一个表达式,并不是一个逻辑标量。回顾这个问题,选择相应的功能链接的结果表。模型顾问打开对应的函数定义或亮点,Stateflow,打开图,突出了国家发生的问题。
手动更改条件表达式的逻辑标量。保存模型并重新运行检查。
功能和限制
Stateflow转移的条件和国家行为并不像Stateflow行动检查当使用C语言。
这张支票不上运行库模型。
在蒙面子系统分析的内容。
分析library-linked内容块。
遥不可及的不变的条件和代码片段可能不会分析。
另请参阅
通过使用状态代表操作模式(Stateflow)
操作模式之间的过渡(Stateflow)
MATLAB和C之间的差异作为动作语言的语法(Stateflow)
检查配置参数MISRA - C: 2012
检查身份证:mathworks.misra.CodeGenSettings
识别配置参数可以影响MISRA - C: 2012兼容的代码生成。
描述
下面这张支票的建议增加的可能性产生MISRA - C: 2012年为嵌入式应用程序兼容的代码。
嵌入式编码器和可用金宝app仿真软件检查。
结果和建议措施
| 条件 | 建议的行动 |
|---|---|
| 数学和数据类型 | |
配置参数使用部门定点净斜率计算没有设置为在或使用部门进行倒数的整数。 |
集使用部门定点净斜率计算来在或使用部门进行倒数的整数。 |
配置参数正或南块输出被设置为 配置参数正或南块输出被设置为 |
当金宝app支持非谓语形式的数字是:
|
配置参数模型验证块使被设置为使用本地设置或让所有。 |
集模型验证块使来禁用所有。 |
配置参数无向事件广播被设置为没有一个或警告。 |
集无向事件广播来错误。 |
配置参数包装上溢出被设置为没有一个 |
设置配置参数包装上溢出来警告或错误。 |
| 硬件实现 | |
配置参数生产硬件签署了整数的除法轮被设置为未定义的 |
集生产硬件签署了整数的除法轮来零或地板上。 |
| 配置参数转变对一个带符号整数算术的转变被选中。 | 清晰的转变对一个带符号整数算术的转变。 |
| 模拟目标 | |
配置参数编译时递归限制MATLAB函数将一个值以外0。 |
集编译时递归限制MATLAB函数来0。 |
| 配置参数动态内存分配在MATLAB函数被选中。 | 清晰的动态内存分配在MATLAB函数。 |
| 配置参数启用运行时为MATLAB函数递归被选中。 | 清晰的启用运行时为MATLAB函数递归。 |
| 代码生成 | |
配置参数设置说明符类型说明符被设置为
|
集设置说明符类型说明符来uint_T。 |
配置参数铸造模式没有设置为标准兼容。 |
集铸造模式来标准兼容。 |
配置参数代码替换库没有设置为没有一个或AUTOSAR 4.0。 |
集代码替换库来 |
| 配置参数外部模式被选中。 | 清晰的外部模式。 |
| 配置参数生成共享的常量被选中。 | 清晰的生成共享的常量。 |
配置参数包括评论清除。 |
选择包括评论。 |
| 配置参数MAT-file日志被选中。 | 清晰的MAT-file日志 |
| ERT-based目标系统,配置参数MATLAB用户评论清除。 | 选择MATLAB用户评论。 |
| 配置参数的值最大标识符长度没有提供。 | 将值设置为实现相关限制。默认值是31日。 |
配置参数括号水平没有设置为标准遵从性标准(括号)或最大(与括号指定优先级)。 |
集括号水平来标准遵从性标准(括号)或最大(与括号指定优先级)。 |
ERT-based目标系统,配置参数保存在函数声明静态关键字时清除文件的包装格式被设置为 |
选择保存在函数声明静态关键字。 |
| 配置参数代替乘法与签署两位变化的权力被选中。 | 清晰的代替乘法与签署两位变化的权力。 |
配置参数共享代码的位置被设置为汽车。 |
集共享代码的位置来 |
| ERT-based目标系统,配置参数金宝app支持连续时间被选中 | 清晰的金宝app支持连续时间。 |
| ERT-based目标系统,配置参数金宝app支持非内联S-functions被选中 | 清晰的金宝app支持非内联S-functions。 |
| 配置参数抑制代switch语句的默认情况下是否遥不可及的被选中。 | 清晰的抑制代switch语句的默认情况下是否遥不可及的。 |
配置参数系统生成的标识符被设置为经典。 |
集系统生成的标识符来缩短。 |
| 配置参数系统目标文件被设置为一个GRT-based目标。 | 集系统目标文件ERT-based目标。 |
配置参数使用动态内存分配模型初始化被选中时代码接口包装被设置为可重用的功能。 |
清晰的使用动态内存分配模型初始化。 请注意 选择只有当代码接口包装被设置为 |
行动的结果
点击修改所有改变参数值的推荐值。
请注意
当你点击修改所有对于GRT-based目标的模型,该模型顾问不更新系统目标文件配置参数ERT-based系统。
参数subchecks取决于参数的结果指出D在结果表中。当结果是D-Warning,当前值结果表中的列先决条件约束不满足subchecks。改变参数后,重新运行检查。
请注意
有些subchecks ERT-based系统的具体配置参数。当你点击这些参数都不更新修改所有除非你改变ERT-based系统模型。
功能和限制
检查以下参数设置信息:
BooleansAsBitfieldsCodeInterfacePackagingERTFilePackagingFormat金宝appSupportNonFinite
这张支票不审查参考模型。
另请参阅
检查块不建议用于MISRA - C: 2012
检查身份证:mathworks.misra.Blk金宝appSupport
确定块不支持或建议MISRA - C: 2012兼容的代码金宝app生成。
描述
下面这张支票的建议增加的可能性产生MISRA - C: 2012年为嵌入式应用程序兼容的代码。
嵌入式编码器和可用金宝app仿真软件检查。
结果和建议措施
功能和限制
您可以:
运行这个检查你的图书馆模式。
分析内容块相关的库。
在蒙面子系统分析的内容。
排除块和图表从这个检查如果你有一个金宝app仿真软件检查许可证。
编辑时间检查。这张支票是由编辑时间检查。金宝app
