检查死逻辑

mathworks.hism.hisl_0101

自 R2022a 起

依赖关系: Simulink^® Check™ 和 Simulink Design Verifier™

用法: 高完整性系统建模

规范: hisl_0101:防止执行导致死逻辑的操作，以提高代码合规性

说明

此检查可识别导致死逻辑的块和操作。

此检查对模型执行Simulink Design Verifier分析。

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

参数	描述
跟随链接	验证并追踪 Simulink 模型中的链接。 on（默认）\| off
查看封装内部	指定是否在分析中包含掩码模型元素。全部（默认）\| 无\| 图形\| 功能性全部 - 检查分析是否包含所有掩码模型元素。无 - 检查分析排除了已屏蔽的模型元素。图形 - 检查分析仅包括图形掩码模型元素。功能性 - 检查分析仅包括功能掩码模型元素。

参数

描述

跟随链接

验证并追踪 Simulink 模型中的链接。

on（默认）| off

查看封装内部

指定是否在分析中包含掩码模型元素。

全部（默认）| 无| 图形| 功能性

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

建模条件	建议的操作
模型中的模块或操作会导致死逻辑。	修改模型以防止死逻辑。