变体模块的参数配置
参数可用于通过变体模块（如 Variant Subsystem、Variant Source 和 Variant Sink）在模型中选择变体。
Simulink® Design Verifier™ 仅支持未将变体激活时间设置为 startup 的模块的活动变体。对于将变体激活时间设置为 startup 的模块，当您在“配置参数”对话框中选择 Design Verifier > 参数和变体 的分析所有启动变体窗格时，Simulink Design Verifier 将分析所有变体。
要分析包含变体约束的模型，请使用变体管理器为模型运行预定义的配置，然后在任何配置下分析模型。Simulink Design Verifier 分析报告包括变体模块的结果信息。
有关在将变体激活时间设置为 startup 的情况下对变体模块执行 Simulink Design Verifier 分析的详细信息，请参阅 Verify and Validate Variant Models with Startup Activation Time。
限制
Simulink Design Verifier 不支持：
将模型引用中的模块替换为变体激活时间设置为
startup变体的模块。将函数模型引用导出到变体子系统中。
