主要内容

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

检查变体模块的使用

mathworks.hism.hisl_0023

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0023: Verification of variant blocks

说明

此检查验证代码生成的变模块参数是否设置为跟踪需求。

建议的行动和结果

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

建模条件建议的操作
模型中的一个或多个变体块中选择了生成预处理器条件的选项。为了简化代码与需求的追溯,请考虑取消在变体块中生成预处理器条件语句的选项。

功能和限制

  • 无法在库模型上运行。

  • 无需模型编译

  • 不分析库链接块的内容

  • 不分析掩码子系统中的内容

  • 不允许排除模块或图。

版本历史记录

在 R2018b 中推出