要应用不同项目和开发团队的建模准则,你可以使用模型顾问运行检查你的模型。当您运行检查,模型顾问审查您通过检查特定的条件和配置设置模式。
万博1manbetx®检查™包括模型顾问检查是否符合与高完整性系统建模与MMathWorks相关的安全标准®顾问委员会(MAB)模型的指导方针。从...开始检查型号符合利用该模型顾问。
Advisor.Application |
运行模型顾问跨模型层次 |
Advisor.Manager |
管理应用程序 |
edittime.getAdvisorChecking |
确定编辑时检查是否是 |
edittime.setAdvisorChecking |
检查你的模型对交互建模标准 |
使用模型顾问和编辑时检查,以检查与建模指南或标准模型或子系统的要求。
使用模型顾问配置编辑器定制模型顾问检查和文件夹的配置。
配置Model Advisor以生成其他格式的报告。
您可以限制模型顾问模型或子系统的分析范围。
使用模型顾问检查的模型或子系统符合的DO-178C安全标准的组成部分。
使用模型顾问检查的模型或子系统符合的DO-254安全标准的组成部分。
型号检查是否有IEC 61508,IEC 62304,ISO 26262和EN 50128标准符合性
使用模型顾问检查与IEC 61508,IEC 62304,ISO 26262和EN 50128个安全标准的零件模型或子系统的要求。
使用模型顾问检查与高完整性系统模型安全标准的零件模型或子系统的要求。
使用Model Advisor检查模型或子系统是否符合MathWorks咨询委员会(MAB)和Japan MATLAB®汽车咨询委员会(JMAAB)建模准则。
使用模型顾问检查你的模型是最有可能产生MISRA C:2012标准的代码。
模型支票安全编码(CERT C,CWE,和ISO / IEC TS 17961个标准)
使用模型顾问检查代码符合CERT C,CWE,ISO / IEC 17961个TS安全编码标准。
使用模型顾问检查每一个需求模型中的链接在需求文档有效的目标。