主要内容

检查模型的合规

验证模型符合安全标准和指导方针

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

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

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

功能

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

主题

模型的顾问

通过使用模型顾问检查模型遵从性

使用Model Advisor检查模型或子系统是否符合建模指导方针或标准。

使用编辑时间检查检查模型遵从性

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

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

使用Model Advisor配置编辑器自定义Model Advisor检查和文件夹的配置。

生成模型顾问报告

配置Model Advisor以生成其他格式的报告。

在体系结构模型上运行自定义模型顾问检查

使用自定义模型顾问检查体系结构模型(System Composer)。

从模型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标准符合性的模型检查

使用模型顾问检查模型或子系统是否符合IEC 61508、IEC 62304、ISO 26262和EN 50128/EN 50657安全标准的部分内容。

高完整性系统建模的模型检查

使用Model Advisor检查模型或子系统是否符合高完整性系统模型安全标准的部分内容。

MAB和JMAAB遵从性的模型检查

使用Model Advisor检查模型或子系统是否符合MathWorks Advisory Board (MAB)和Japan 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检查模型中的每个需求链接在需求文档中都有一个有效的目标。