主要内容

检查模型符合性

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

要跨项目和开发团队应用建模指导原则,可以使用ModelAdvisor对模型运行检查。运行检查时,模型顾问将检查您的模型是否存在检查指定的条件和配置设置。

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

班级

顾问申请 跨模型层次结构运行模型顾问
顾问、经理 管理应用程序

功能

edittime.getAdvisorChecking 确定是否启用编辑时间检查
edittime.setAdvisorChecking 根据建模标准以交互方式检查模型
顾问:获取排除 获取模型或文件的排除信息
Advisor.addExclusion 向模型或文件添加排除项
顾问removeExclusion 删除模型或文件的排除
顾问.保存排除 将排除信息保存到模型或外部文件中
顾问.负载排除 将排除加载到模型或文件
顾问:明确排除 清除模型或文件中的所有排除项

话题

模特顾问

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

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

使用编辑时间检查检查模型符合性

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

使用Model Advisor配置编辑器自定义Model Advisor

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

生成模型顾问报告

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

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

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

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

使用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检查模型中的每个需求链接在需求文档中都有一个有效的目标。