主要内容

本页采用了机器翻译。点击此处可查看英文原文。

检查 Signal Routing 模块的使用

mathworks.hism.hisl_0034

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0034:信号路由块的使用

说明

此检查会识别 Switch 模块,代码生成器可能会生成包含涉及浮点变量或常量的不等式运算 (~=) 的代码。

检查参数

使用模型顾问配置编辑器,通过指定输入参数来定义分析范围。

参数描述

跟随链接

指定 Simulink 是否分析库链接块的内容。

on(默认)| off

查看封装内部

指定 Simulink 是否分析掩码子系统中的内容。

全部(默认)| |图形|功能性

建议的行动和结果

查看检查中标记出的违规行为以及建议的修复措施。应用更改后,保存模型并重新运行检查分析。

建模条件建议的操作
Switch 模块可能会导致生成的代码中出现浮点数不等式比较。

要防止生成的代码中进行浮点数比较,请执行以下操作之一:

  • 对于控制输入,将数据类型参数设置更改为 singledouble 以外的数据类型,或指定浮点数据类型的存储类。

  • 对于 Switch 模块,将首个输入传递条件参数设置更改为 u2 >= 阈值u2 > 阈值

功能和限制

  • 无法在库模型上运行。

  • 允许排除模块和图

  • 仅分析活动的变体选择

  • 执行模型编译

版本历史记录

在 R2011a 中推出

全部展开