检查模型合规性
验证模型是否符合安全标准和规范
要跨工程和开发团队来应用建模规范，您可以使用模型顾问对模型进行检查。运行检查时，模型顾问会根据检查所指定的条件和配置设置来审核您的模型。
Simulink® Check™ 包括用于验证是否符合与高完整性系统建模和 MathWorks® 咨询委员会 (MAB) 建模规范相关联的安全标准的模型顾问检查。从使用模型顾问检查模型合规性开始。
类
函数
App
| 模型指导仪表板 | 检测、可视化和解决建模问题 (自 R2026a 起) |
主题
模型顾问
- 使用模型顾问检查模型合规性
使用模型顾问检查模型或子系统是否符合建模规范或标准。 - 使用编辑时检查来检查模型合规性
使用编辑时检查来检查模型或子系统是否符合建模规范或标准。 - 使用模型顾问配置编辑器来自定义模型顾问
使用模型顾问配置编辑器来自定义模型顾问检查和文件夹的配置。 - 生成模型顾问报告
配置模型顾问以生成其他格式的报告。 - 对架构模型运行自定义模型顾问检查
使用模型顾问对 System Composer™ 架构模型运行检查。 - 从模型顾问检查分析中排除模块
您可以限制模型顾问模型或子系统分析的范围。 - 通过编程方式从模型顾问检查分析中排除模块
使用 MATLAB® 函数创建、修改和保存模型顾问排除项。 - 通过排除增益和 Outport 块来限制模型检查
此示例展示了如何在模型顾问分析期间，从模型顾问检查中排除 Gain 模块和所有 Outport 块。 - 通过检查分析申述模型顾问违规的合理性
请说明您为何允许设计中存在违规行为。 - 模型顾问注意事项和限制
描述模型顾问的限制和注意事项。
模型顾问检查
- 针对高完整性系统建模规范的模型顾问检查
使用模型顾问检查模型或子系统是否符合高完整性系统模型建模规范。 - 针对 MAB 建模规范的模型顾问检查
使用模型顾问检查模型或子系统是否符合 MathWorks 咨询委员会 (MAB) 的建模规范。 - JMAAB 建模规范的模型顾问检查
使用模型顾问检查模型或子系统是否符合日本 MathWorks 汽车咨询委员会 (JMAAB) 建模规范。 - 模型顾问检查是否符合 ISO 26262、ISO 25119、IEC 61508、IEC 62304 和 EN 50128/EN 50657/EN 50716 行业标准
使用模型顾问检查来验证是否符合 IEC 61508、IEC 62304、ISO 26262、ISO 25119、EN 50128、EN 50657 和 EN 50716 行业标准。 - 针对 DO-178C/DO-331 行业标准的模型顾问检查
使用模型顾问检查模型或子系统是否符合遵循 DO-178C/DO-331 行业安全标准的代码。 - 针对 DO-254 标准合规性的模型顾问检查
使用模型顾问检查模型或子系统是否符合 DO-254 安全标准的部分内容。 - 模型顾问检查是否符合 MISRA C 编码标准
使用模型顾问可以提高生成符合 MISRA C:2012 和 MISRA C:2023 编码标准的代码的可能性。 - 针对 CERT C、CWE 和 ISO/IEC TS 17961 编码标准的模型顾问检查
使用模型顾问检查模型或子系统是否符合遵循安全编码标准的代码。 - 针对需求链接的模型顾问检查
使用模型顾问检查模型中的每个需求链接在需求文档中都有一个有效目标。 - 针对 AUTOSAR 建模的模型顾问检查
使用模型顾问检查模型或子系统是否符合 AUTOSAR 建模标准。 - 模型顾问检查早期检测
使用模型顾问在开发过程的早期阶段检查模型，并识别潜在问题。
