主要内容

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

检查是否使用了相同的建模模式

mathworks.hism.hisl_0078

自 R2024a 起

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0078:使用相同的建模模式

说明

此检查可识别模型中相同或相似的建模模式(克隆),这些模式会增加模型的复杂性、生成的代码的复杂性以及测试工作量。

  • 建模模式 – 模块组和信号线连接。

  • 相同的建模模式 – 具有相同模块、信号连接和参数值的建模模式。

  • 相似建模模式 – 具有相同模块类型和连接的建模模式,但可以具有不同的模块参数值或信号名称。

  • 您可以使用克隆检测器应用程序来管理克隆检测分析期间评估的参数。

该检查可识别两种建模模式:

  • 相似或相同的建模模式或子系统,它们已经组件化,并且在模型中没有映射的重复项。

    • 该检查会在与其链接的库模型中查找类似的建模模式、子系统或图。

    • 在模型顾问报告中,检查结果会列出未链接的模块组、信号线、子系统或图,并建议链接到现有的库子系统。

  • 模型中相似或相同的子系统可以进行组件化和重用。

    • 在模型顾问报告中,该检查提供了一个子系统或图组的列表,可以为其创建库,并且这些组可以用新的库链接替换。

建议的行动和结果

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

建模条件建议的操作
该模型由子系统、图或一组模型元素组成,这些子系统、图或模型元素与现有库相似或相同。将模型元素替换为现有库块中的链接。
该模型由一组相同或相似的子系统或图组成,这些子系统或图在库中没有现成的模式。为一组子系统或图创建库块,并用指向这些库块的链接替换它们。
相似建模模式的结果不会被标记出来。使用克隆检测器应用程序来管理克隆检测分析期间评估的条件。

除了模型顾问排除项之外,该检查还会考虑克隆检测排除项并在报告中显示。有关克隆检测排除项的更多信息,请参阅 从克隆检测中排除组件

检查运行时,库克隆和子系统克隆都会出现在同一份报告中。但是,克隆检测器应用程序支持一次报告库克隆或子系统克隆。

功能和限制

  • 允许排除模块和图

  • 模型中不支持超出库克隆和子系统克隆范围的克隆。

  • 无法检测图内部的建模模式。

  • 无法在库模型上运行。

  • 分析活动和非活动变体的选择

  • 无需模型编译

版本历史记录

在 R2024a 中推出