主要内容

检查模型的合规

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

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

金宝app®检查™包括Model Advisor检查是否符合与High-Integrity System Modeling和MathWorks相关的安全标准®顾问委员会(MAB)建模指南。开始使用模型顾问检查模型合规性

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

功能

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

主题

模型的顾问

使用模型顾问检查模型合规性

使用模型顾问检查模型或子系统是否符合建模指南或标准。

使用编辑时检查检查模型一致性

使用编辑时检查来检查模型或子系统是否符合建模指南或标准。

使用模型Advisor配置编辑器定制模型Advisor

使用Model Advisor Configuration Editor来定制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检查模型或子系统是否符合High Integrity System Model的部分安全标准。

模型检查单抗和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安全编码标准。

模型检查需求链接

使用模型顾问检查模型中的每个需求链接在要求文档中具有有效目标。