Main Content

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

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

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

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

Simulink

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

有关详细信息,请参阅适用于高完整性系统建模规范的模型顾问检查

MATLAB

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

有关详细信息,请参阅适用于高完整性系统建模规范的模型顾问检查

配置

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

有关详细信息,请参阅适用于高完整性系统建模规范的模型顾问检查

命名

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

有关详细信息,请参阅适用于高完整性系统建模规范的模型顾问检查

需求

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

有关详细信息,请参阅适用于高完整性系统建模规范的模型顾问检查

代码

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

有关详细信息,请参阅适用于高完整性系统建模规范的模型顾问检查

Stateflow

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

有关详细信息,请参阅适用于高完整性系统建模规范的模型顾问检查