主要内容

检查 Data Store Memory 模块的使用

检查 IDmathworks.jmaab.jc_0161

规范:jc_0161:Data Store Memory 模块的定义

描述

检查 Data Store Memory 模块是否符合以下规范标准。

  • 仅在用到需要执行或代码生成的模块数据时,再使用 Data Store Memory 模块。

  • 必须在最小作用域级别定义 Data Store Memory 模块。

    例如,考虑一个包含子系统 A 的模型,该子系统包含两个子系统 BC。如果将 Data Store Read 模块添加到子系统 B,并将 Data Store Write 模块添加到子系统 C,则必须将 Data Store Memory block 添加到子系统 A,这是两个模块的最小共同作用域,而不是模型级别。

注意

要访问 Data Store Memory 模块,您可以将 Data Store Read 和 Data Store Write 模块放置在模型层次结构中的同一子系统或下级中。违反此规则的模型不在此检查范围内。

此检查需要 Simulink® Check™ 许可证。

检查参数化

此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID(一个或多个)。

作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:

  • NA-MAAB - 无建议

  • JMAAB - a、b

结果和建议的操作

规范子 ID条件建议的操作
jc_0161_a:检查 Data Store Memory 模块的定义模型中的一个或多个 Data Store Memory 模块未在最小作用域级别定义。将 Data Store Memory 模块移到最小作用域级别。
jc_0161_b:检查 Data Store Memory 模块中数据的使用模型中某些 Data Store Memory 模块中的数据未用于执行和代码生成。仅在用到需要执行或代码生成的数据时,再使用 Data Store Memory 模块。

功能和限制

  • 对库模型运行。

  • 可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on

  • 可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical

  • 允许排除。

另请参阅