要在项目和开发团队之间应用建模指导方针,您可以使用Model Advisor对您的模型进行检查。当您运行检查时,Model Advisor将检查您的模型中指定的条件和配置设置。
金宝app®检查™包括Model Advisor检查是否符合与高完整性系统建模和MathWorks相关的安全标准®咨询委员会(MAB)建模指南。开始通过使用模型顾问检查模型遵从性.
edittime.getAdvisorChecking |
确定是否打开编辑时检查 |
edittime.setAdvisorChecking |
根据建模标准交互式地检查您的模型 |
Advisor.getExclusion |
获取模型或文件的排除信息 |
Advisor.addExclusion |
向模型或文件添加排除 |
Advisor.removeExclusion |
删除模型或文件的排除 |
Advisor.saveExclusion |
将排除信息保存到模型或外部文件中 |
Advisor.loadExclusion |
将排除项加载到模型或文件 |
Advisor.clearExclusion |
清除模型或文件中的所有排除项 |
使用Model Advisor检查模型或子系统是否符合建模指导方针或标准。
使用编辑时检查来检查模型或子系统是否符合建模指导方针或标准。
使用Model Advisor配置编辑器自定义Model Advisor检查和文件夹的配置。
配置Model Advisor以生成其他格式的报告。
使用自定义模型顾问检查体系结构模型(System Composer)。
您可以限制Model Advisor模型或子系统分析的范围。
使用Model Advisor检查模型或子系统是否符合DO-178C安全标准的部分内容。
使用Model Advisor检查模型或子系统是否符合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检查模型或子系统是否符合高完整性系统模型安全标准的部分内容。
使用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检查模型中的每个需求链接在需求文档中都有一个有效的目标。