Simulink Check 检查
Simulink Check 模型顾问检查
Simulink® Check™ 检查可促进模型的设计和故障排除,以便为必须满足安全性或任务关键要求和建模规范的应用程序生成代码。
有关建模标准检查的描述,请参见 建模规范、行业标准和编码标准的模型顾问检查。
另请参阅
Requirements Toolbox 检查
Requirements Toolbox™ 检查有助于将要求文档与您的模型关联起来。
有关要求一致性检查的描述,请参见 检查直接链接的有效性 (Requirements Toolbox)。
另请参阅
建模规范、行业标准和编码标准的模型顾问检查
您可以使用模型顾问检查促进模型的设计和故障排除,以便为必须满足安全性或任务关键要求的应用程序生成代码。执行这些检查需持有 Simulink Check 许可证。在适用的情况下,其他许可证需求在特定于检查的文档中进行说明。
有关验证是否符合建模规范、行业标准和编码标准的模型顾问检查的描述,请参见: