使用模型中指定的信号和参数的最小值和最大值优化生成的代码。
类别:优化
默认值:从
使用从模型中信号和参数的最小和最大指定值得到的范围信息,优化生成的代码。
在生成代码时忽略指定的最小值和最大值。
为了检测由于使用此参数而产生的模型和生成的代码模拟之间的不匹配,在运行正常的加速器之前,软件在环(SIL)或处理器在环(PIL)(嵌入式编码器)模拟,设置诊断>数据的有效性>模拟范围检查来警告
或错误
.
为模型中的信号和参数指定最小值和最大值:
轮廓尺寸和外港块。
块输出。
块输入,例如MATLAB函数和Stateflow图表块。
金宝app仿真软件。信号
对象。
该优化不考虑指定的最小值和最大值:
合并块的输入。为了解决这个问题,使用a金宝app仿真软件。信号
对象的合并块输出并指定该对象上的范围
总线的元素。
有条件执行的子系统(如触发的子系统)块输出直接连接到外港块。
外港有条件执行的子系统中的块可以有一个指定的初始值,仅在系统未触发时使用。在这种情况下,优化不能使用块输出的范围,因为该范围可能不会覆盖块的初始值。
如果你使用Polyspace®代码验证™软件来验证使用此优化生成的代码,它可能会将以前的绿色代码标记为橙色。例如,如果您的模型包含分母范围不包括零的除法,则生成的代码不包括防止被零除法的保护。Polyspace代码验证可能会将此代码标记为橙色,因为它没有关于为除法输入指定的最小值和最大值的信息。
的Polyspace代码验证软件会自动捕获MATLAB中指定的最小值和最大值®例如,工作空间金宝app仿真软件。信号
和金宝app仿真软件。参数
对象。在本例中,要向Polyspace代码验证软件,使用金宝app仿真软件。信号
对象,并指定不包含零的范围。
的Polyspace代码验证软件将这些值存储在数据范围规范(DRS)文件中。但是,它们不会捕获在Simulink中指定的最小值和最大值金宝app®模型。提供附加的最小/最大信息Polyspace代码验证,可以手动定义DRS文件。有关更多信息,请参见Polyspace代码验证文档。
如果您使用双精度数据类型和代码生成>接口>金宝app支持非谓语形式的数字选择配置参数,则不会发生此优化。
如果您的模型包含可重用子系统的多个实例,并且每个实例使用具有不同指定的最小值和最大值的输入信号,则此优化可能会为每个子系统生成不同的代码,因此不会发生代码重用。如果没有这种优化,金宝app仿真软件编码器™软件只为子系统生成一次代码,并在子系统的多个实例之间共享此代码。
Model Advisor检查检查与安全相关的优化设置如果选择此选项,则生成警告。对于许多安全关键型应用程序来说,自动删除死代码是不可接受的,因为这样做可能会使代码无法跟踪。
启用此优化可以提高Fixed-Point Designer™软件的能力,从而从生成的代码中消除不必要的实用函数和饱和代码。
只有基于ert的目标才会出现此参数。
此参数需要嵌入式编码器®在生成代码时使用许可。
参数:UseSpecifiedMinMax |
值:“上” |“关闭” |
默认值:“关闭” |
应用程序 | 设置 |
---|---|
调试 | 从 |
可追溯性 | 从 |
效率 | 在 |
安全预防措施 | 没有影响 |