检查 Switch Case 块和 Switch Case Action Subsystem 块的使用情况
mathworks.hism.hisl_0011
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks
说明
使用此检查来检查 Switch Case 块的使用情况。
检查参数
使用模型顾问配置编辑器,通过指定输入参数来定义分析范围。
| 参数 | 描述 |
|---|---|
| 跟随链接 | 指定是否将文库链接模块的内容纳入分析。 on(默认)| off |
| 查看封装内部 | 指定是否在分析中包含掩码模型元素。 全部(默认)| 无 | 图形 | 功能性
|
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后,保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| 模型或子系统包含一个没有默认情况的 Switch Case 模块。 | 在 Switch Case 模块的“模块参数”对话框中,选择显示默认 case。将生成的默认输出端口连接到 Switch Case Action Subsystem 模块。 |
| 该模型或子系统包含一个 Switch Case 模块,其输出端口不连接到 Switch Case Action Subsystem 模块。 | 验证 Switch Case 块的输出端口是否连接到 Switch Case Action Subsystem 块。 |
| 该模型或子系统包含一个 Switch Case 模块,其输入端口数据类型为非整数或非枚举类型。 | 确保 Switch Case 块的输入数据类型为整数或枚举类型。 |
功能和限制
标志块不使用整数数据类型或枚举值作为输入。为了符合 C 语言规范,请对 Switch Case 块的输入使用整数数据类型或枚举值。
无法在库模型上运行。
允许排除模块和图
仅分析活动的变体选择
执行模型编译
版本历史记录
在 R2017a 中推出