检查 Stateflow 图中是否存在唯一定义的数据对象

mathworks.hism.hisl_0061

依赖关系: Simulink^® Check™ 和 Stateflow^®

用法: 高完整性系统建模

规范: hisl_0061:为了清晰起见，使用唯一标识符

说明

此检查会在您的模型中搜索 Stateflow 图中未唯一定义的本地数据。

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

参数

描述

跟随链接

指定是否将文库链接模块的内容纳入分析。

on（默认）| off

查看封装内部

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

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

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

如果您认为标记的违规行为与您的设计无关或不可行，请使用申述按钮提供理由，说明为什么该违规行为与您的设计无关或不可行。

您可以使用修复按钮，让模型顾问修复所有标记的违规行为。本次检查中，模型顾问会配置可能影响安全性的模型代码生成设置。

建模条件	建议的操作
Stateflow 图包含一个在两个或多个作用域中定义的数据对象标识符。	对于已识别的图，执行以下操作之一：在每个作用域内创建唯一的数据对象标识符。在图的父级级别创建一个唯一的数据对象标识符。