检查模型遵从性

验证模型是否符合安全标准和指南

要跨项目和开发团队应用建模指南，您可以使用Model Advisor对您的模型运行检查。当您运行检查时，Model Advisor将检查您的模型，以获得检查所指定的条件和配置设置。

金宝app^®检查™包括Model Advisor检查是否符合与高完整性系统建模和MathWorks相关的安全标准^®咨询委员会(MAB)建模指南。开始使用模型顾问检查模型遵从性．

类

`顾问。应用程序`	跨模型层次运行Model Advisor
`顾问。经理`	管理应用程序

`editime.enableCheck`	启用已禁用的自定义编辑时检查
`edittime.getAdvisorChecking`	确定编辑时检查是否开启
`edittime.setAdvisorChecking`	根据建模标准交互式地检查您的模型
`Advisor.getExclusion`	获取模型或文件的排除信息
`Advisor.addExclusion`	向模型或文件添加排除项
`Advisor.removeExclusion`	删除模型或文件的排除项
`Advisor.saveExclusion`	将排除项保存到模型或外部文件中
`Advisor.loadExclusion`	将排除项加载到模型或文件
`Advisor.clearExclusion`	清除模型或文件中的所有排除项

使用模型顾问检查模型遵从性
使用Model Advisor检查模型或子系统是否符合建模指南或标准。
使用编辑时检查检查模型遵从性
使用编辑时检查来检查模型或子系统是否符合建模指南或标准。
使用模型顾问配置编辑器来定制模型顾问
使用Model Advisor Configuration Editor定制Model Advisor检查和文件夹的配置。
生成模型顾问报告
配置Model Advisor以生成其他格式的报告。
在架构模型上运行自定义模型顾问检查
使用自定义模型顾问检查体系结构模型(系统编写器)。
从Model Advisor检查分析中排除块
您可以限制Model Advisor模型或子系统分析的范围。
从Model Advisor检查分析中证明违反的块
从Model Advisor模型或子系统分析中证明被违反的块的错误和警告。

DO-178C/DO-331符合标准的模型检查
使用Model Advisor检查模型或子系统是否符合DO-178C安全标准的某些部分。
遵从DO-254标准的模型检查
使用Model Advisor检查模型或子系统是否符合DO-254安全标准的部分内容。
型号检查IEC 61508, IEC 62304, ISO 26262, ISO 25119和EN 50128/EN 50657标准符合性
使用Model Advisor检查模型或子系统是否符合IEC 61508、IEC 62304、ISO 26262和EN 50128/EN 50657安全标准的部分要求。
高完整性系统建模的模型检查
使用Model Advisor检查模型或子系统是否符合高完整性系统模型安全标准的某些部分。
MAB和JMAAB遵从性的模型检查
使用模型顾问检查模型或子系统是否符合MathWorks顾问委员会(MAB)和日本MATLAB^®汽车咨询委员会(JMAAB)建模指南。
MISRA C:2012合规性模型检查
使用Model Advisor检查您的模型是否最有可能生成MISRA C:2012兼容的代码。
安全编码模型检查(CERT C, CWE和ISO/IEC TS 17961标准)
使用Model Advisor检查代码是否符合CERT C、CWE、ISO/IEC TS 17961安全编码标准。
模型检查需求链接
使用Model Advisor检查模型中的每个需求链接在需求文档中都有一个有效的目标。