要在项目和开发团队中应用建模指南,您可以使用Model Advisor在模型上进行检查。运行支票时,Model顾问审查您的模型和检查指定的条件和配置设置。
金宝app®CHECK™包括模型顾问检查是否符合与高完整性系统建模和MATHWORKS相关的安全标准®咨询委员会(MAB)建模指南。从...开始使用模型顾问检查模型合规性。
顾问。应用 |
跨模型层次结构运行模型顾问 |
顾问.Manager.Manager. |
管理应用程序 |
edittime.getAdvisorchecking. |
确定是否打开编辑时间检查 |
edittime.setawisorchecking. |
以交互式检查您的模型反对建模标准 |
advisor.getExclusion. |
获取模型或文件的排除信息 |
顾问.Addexclusion. |
将排除添加到模型或文件 |
advisor.removeexclusion |
删除模型或文件的排除 |
顾问 |
将排除保存到模型或外部文件 |
顾问.Loadexusion |
将排除输出到模型或文件 |
顾问ClearExclusion. |
清除模型或文件中的所有排除 |
使用模型顾问检查模型或子系统是否符合建模指南或标准。
使用编辑时间检查检查型号或子系统是否符合建模指南或标准。
使用Model Advisor配置编辑器自定义模型顾问检查和文件夹的配置。
配置模型顾问以以其他格式生成报告。
您可以限制模型顾问模型或子系统分析的范围。
使用模型顾问检查模型或子系统是否符合DO-178C安全标准的部分。
使用模型顾问检查模型或子系统是否符合DO-254安全标准的部分。
IEC 61508,IEC 62304,ISO 26262,ISO 25119和EN 50128 / EN 50657标准合规性的模型检查
使用模型顾问检查模型或子系统是否符合IEC 61508,IEC 62304,ISO 26262和EN 50128 / EN 50657安全标准的部件。
使用模型顾问检查型号或子系统是否符合高完整性系统模型安全标准的部分。
使用模型顾问检查模型或子系统是否符合MathWorks顾问委员会(MAB)和日本Matlab®汽车咨询委员会(JMAAB)建模指南。
使用Model Advisor检查您的型号最有可能生产MISRA C:2012兼容代码。
模型检查安全编码(CERT C,CWE和ISO / IEC TS 17961标准)
使用Model Advisor检查该代码是否符合CERT C,CWE,ISO / IEC TS 17961安全编码标准。
使用模型顾问检查模型中的每个需求链接在要求文档中具有有效目标。