Check Model Compliance

Verify model compliance with safety standards and guidelines

To apply modeling guidelines across projects and development teams, you can use the Model Advisor to run checks on your model. When you run the checks, the Model Advisor reviews your model for conditions and configuration settings specified by the check.

万博1manbetx^®Check™includes Model Advisor checks for compliance with safety standards associated with High-Integrity System Modeling and MathWorks^®Advisory Board (MAB) modeling guidelines. Start with使用模型顾问检查模型合规性.

Classes

`Advisor.Application`	Run Model Advisor across model hierarchy
`Advisor.Manager`	Manage applications

Functions

`editime.enableCheck`	Enable disabled custom edit-time check
`edittime.getAdvisorChecking`	Determine whether edit-time checking is on
`edittime.setAdvisorChecking`	Check your model interactively against modeling standards
`Advisor.getExclusion`	Get exclusion information for a model or a file
`Advisor.addExclusion`	Add exclusions to a model or a file
`Advisor.removeExclusion`	删除模型或文件的排除
`Advisor.saveExclusion`	将排除在模型或外部文件中保存
`Advisor.loadExclusion`	Load exclusions to a model or a file
`Advisor.clearExclusion`	清除模型或文件中的所有排除

Topics

Model Advisor

使用模型顾问检查模型合规性
使用模型顾问检查模型or subsystem complies with modeling guidelines or standards.
Check Model Compliance Using Edit-Time Checking
Use edit-time checking to check that a model or subsystem complies with modeling guidelines or standards.
Use the Model Advisor Configuration Editor to Customize the Model Advisor
Use the Model Advisor Configuration Editor to customize the configuration of the Model Advisor checks and folders.
Generate Model Advisor Reports
配置模型顾问以以其他格式生成报告。
Run Custom Model Advisor Checks on Architecture Models
Use Custom Model Advisor checks on Architecture models (System Composer).
从模型顾问检查分析中排除块
You can limit the scope of a Model Advisor model or subsystem analysis.
Justify Violated Blocks from the Model Advisor Check Analysis
证明对模型顾问模型或子系统分析中违反块的错误和警告。

Model Advisor Checks

Model Checks for DO-178C/DO-331 Standard Compliance
使用模型顾问检查模型or subsystem complies with parts of the DO-178C safety standard.
Model Checks for DO-254 Standard Compliance
使用模型顾问检查模型or subsystem complies with parts of the DO-254 safety standard.
Model Checks for IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128/EN 50657 Standard Compliance
使用模型顾问检查模型or subsystem complies with parts of the IEC 61508, IEC 62304, ISO 26262, and EN 50128/EN 50657 safety standards.
Model Checks for High Integrity Systems Modeling
使用模型顾问检查模型or subsystem complies with parts of the High Integrity System Model safety standard.
Model Checks for MAB and JMAAB Compliance
使用模型顾问检查模型或子系统是否符合Mathworks顾问委员会（MAB）和Japan Matlab^®汽车咨询委员会（JMAAB）建模指南。
Model Checks for MISRA C:2012 Compliance
Use the Model Advisor to check that your model is most likely to produce MISRA C:2012 compliant code.
Model Checks for Secure Coding (CERT C, CWE, and ISO/IEC TS 17961 Standards)
Use Model Advisor to check that code complies with CERT C, CWE, ISO/IEC TS 17961 secure coding standards.
Model Checks for Requirements Links
使用模型顾问检查模型中的每个需求链接是否在需求文档中具有有效的目标。