主要内容

检查型号合规性

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

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

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

课堂

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

职能

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

话题

模型顾问

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

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

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

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

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

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

生成模型顾问报告

配置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合规的模型检查

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