主要内容

检查模型合规性

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

要在项目和开发团队中应用建模指南,您可以使用Model Advisor在模型上进行检查。运行支票时,Model顾问审查您的模型和检查指定的条件和配置设置。

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

班级

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

职能

edittime.getAdvisorchecking. 确定是否打开编辑时间检查
edittime.setawisorchecking. 以交互式检查您的模型反对建模标准
advisor.getExclusion. 获取模型或文件的排除信息
顾问.Addexclusion. 将排除添加到模型或文件
advisor.removeexclusion 删除模型或文件的排除
顾问 将排除保存到模型或外部文件
顾问.Loadexusion 将排除输出到模型或文件
顾问ClearExclusion. 清除模型或文件中的所有排除

话题

模型顾问

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

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

使用编辑时间检查检查型号合规性

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

使用Model Advisor配置编辑器自定义模型顾问

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

生成模型顾问报告

配置模型顾问以以其他格式生成报告。

从模型顾问检查分析中排除块

您可以限制模型顾问模型或子系统分析的范围。

模型顾问检查

DO-178C / DO-331标准合规性模型检查

使用模型顾问检查模型或子系统是否符合DO-178C安全标准的部分。

DO-254标准合规性模型检查

使用模型顾问检查模型或子系统是否符合DO-254安全标准的部分。

IEC 61508,IEC 62304,ISO 26262,ISO 25119和EN 50128 / EN 50657标准合规性的模型检查

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

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

使用模型顾问检查型号或子系统是否符合高完整性系统模型安全标准的部分。

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安全编码标准。

用于需求链接的模型检查

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