检查型号符合

验证与安全标准和准则模型合规

要应用不同项目和开发团队的建模准则,你可以使用模型顾问运行检查你的模型。当您运行检查,模型顾问审查您通过检查特定的条件和配置设置模式。

万博1manbetx®检查™包括模型顾问检查是否符合与高完整性系统建模与MMathWorks相关的安全标准®顾问委员会(MAB)模型的指导方针。从...开始检查型号符合利用该模型顾问

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

功能

edittime.getAdvisorChecking 确定编辑时检查是否是
edittime.setAdvisorChecking 检查你的模型对交互建模标准

主题

型号顾问

检查型号符合利用该模型顾问

使用模型顾问和编辑时检查,以检查与建模指南或标准模型或子系统的要求。

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

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

生成模型顾问报告

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

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

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

模型顾问检查

型号检查是否有DO-178C / DO-331标准遵从性

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

型号检查是否有DO-254标准遵从性

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

型号检查是否有IEC 61508,IEC 62304,ISO 26262和EN 50128标准符合性

使用模型顾问检查与IEC 61508,IEC 62304,ISO 26262和EN 50128个安全标准的零件模型或子系统的要求。

型号检查是否有高完整性系统建模

使用模型顾问检查与高完整性系统模型安全标准的零件模型或子系统的要求。

型号检查是否有MAB和JMAAB合规

使用Model Advisor检查模型或子系统是否符合MathWorks咨询委员会(MAB)和Japan MATLAB®汽车咨询委员会(JMAAB)建模准则。

对于MISRA C型检查:2012合规

使用模型顾问检查你的模型是最有可能产生MISRA C:2012标准的代码。

模型支票安全编码(CERT C,CWE,和ISO / IEC TS 17961个标准)

使用模型顾问检查代码符合CERT C,CWE,ISO / IEC 17961个TS安全编码标准。

型号检查是否有要求链接

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