主要内容

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

检查 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 中推出