要在项目和开发团队应用建模指南,您可以使用模型顾问在模型上运行检查。运行支票时,Model顾问审查您的模型和检查指定的条件和配置设置。
金宝app®CHECK™包括模型顾问检查是否符合与高完整性系统建模和MathWorks相关的安全标准®咨询委员会(MAB)建模指南。从...开始通过使用模型顾问检查模型遵从性。
顾问 |
跨模型层次结构运行模型顾问 |
顾问.Manager.Manager.Manager. |
管理应用程序 |
edittime.getAdvisorchecking |
确定是否打开编辑时间检查 |
edittime.setawisorchecking. |
以交互方式检查您的模型反对建模标准 |
advisor.getExclusion. |
获取模型或文件的排除信息 |
顾问.Addexclusion. |
将排除添加到模型或文件 |
advisor.removeexclusion |
删除模型或文件的排除 |
顾问 |
将排除信息保存到模型或外部文件中 |
顾问.Loadexclusion. |
将排除额为模型或文件 |
顾问.ClearExclusion. |
清除模型或文件中的所有排除项 |
使用模型顾问检查模型或子系统是否符合建模指南或标准。
使用编辑时间检查检查型号或子系统是否符合建模指南或标准。
使用Model Advisor Configuration Editor自定义模型顾问检查和文件夹的配置。
配置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安全标准的部分。
使用模型顾问检查型号或子系统是否符合高完整性系统模型安全标准的部分。
使用Model Advisor检查模型或子系统是否符合MathWorks Advisory Board (MAB)和Japan MATLAB®汽车咨询委员会(JMAAB)建模指南。
使用Model Advisor检查您的型号最有可能生产MISRA C:2012兼容代码。
安全编码的模型检查(CERT C, CWE和ISO/IEC TS 17961标准)
使用Model Advisor检查代码是否符合CERT C、CWE、ISO/IEC TS 17961安全编码标准。
使用Model Advisor检查模型中的每个需求链接在需求文档中都有一个有效的目标。