Main Content

使用针对高完整性系统建模规范的模型顾问检查

高完整性系统建模检查可促进模型、子系统以及为应用程序生成的对应代码的设计和故障排除，使它们符合高完整性系统建模规范。

当您运行高完整性系统建模检查时，模型顾问将对 Simulink® Check™ 许可证执行签出。

高完整性系统建模检查分为以下几组：

Simulink

用于 Simulink 模块和组件的高完整性系统建模检查。

有关详细信息，请参阅针对高完整性系统建模规范的模型顾问检查。

MATLAB

用于 MATLAB 代码的高完整性系统建模检查。

有关详细信息，请参阅针对高完整性系统建模规范的模型顾问检查。

配置

用于配置设置的高完整性系统建模检查。

有关详细信息，请参阅针对高完整性系统建模规范的模型顾问检查。

命名

用于命名约定的高完整性系统建模检查。

有关详细信息，请参阅针对高完整性系统建模规范的模型顾问检查。

需求

用于 Requirements Toolbox™ 可追溯性的高完整性系统建模检查。

有关详细信息，请参阅针对高完整性系统建模规范的模型顾问检查。

代码

用于生成代码的高完整性系统建模检查。

有关详细信息，请参阅针对高完整性系统建模规范的模型顾问检查。

Stateflow

用于 Stateflow® 图和组件的高完整性系统建模检查。

有关详细信息，请参阅针对高完整性系统建模规范的模型顾问检查。