检查 Signal Routing 模块的使用
mathworks.hism.hisl_0034
依赖关系: Simulink® Check™
用法: 高完整性系统建模
说明
此检查会识别 Switch 模块,代码生成器可能会生成包含涉及浮点变量或常量的不等式运算 (~=) 的代码。
检查参数
使用模型顾问配置编辑器,通过指定输入参数来定义分析范围。
| 参数 | 描述 |
|---|---|
跟随链接 | 指定 Simulink 是否分析库链接块的内容。 on(默认)| off |
查看封装内部 | 指定 Simulink 是否分析掩码子系统中的内容。 全部(默认)| 无|图形|功能性 |
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后,保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| Switch 模块可能会导致生成的代码中出现浮点数不等式比较。 | 要防止生成的代码中进行浮点数比较,请执行以下操作之一:
|
功能和限制
无法在库模型上运行。
允许排除模块和图
仅分析活动的变体选择
执行模型编译