要跨项目和开发团队应用建模指导原则,可以使用ModelAdvisor对模型运行检查。运行检查时,模型顾问将检查您的模型是否存在检查指定的条件和配置设置。
万博1manbetx®检查™包括Model Advisor检查是否符合与高完整性系统建模和MathWorks相关的安全标准®咨询委员会(MAB)建模指南。从通过使用模型顾问检查模型遵从性.
edittime.getAdvisorChecking |
确定是否启用编辑时间检查 |
edittime.setAdvisorChecking |
根据建模标准以交互方式检查模型 |
顾问:获取排除 |
获取模型或文件的排除信息 |
Advisor.addExclusion |
向模型或文件添加排除项 |
顾问removeExclusion |
删除模型或文件的排除 |
顾问.保存排除 |
将排除信息保存到模型或外部文件中 |
顾问.负载排除 |
将排除加载到模型或文件 |
顾问:明确排除 |
清除模型或文件中的所有排除项 |
使用模型顾问检查模型或子系统是否符合建模指南或标准。
使用编辑时间检查检查模型或子系统是否符合建模指南或标准。
使用Model Advisor配置编辑器自定义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标准符合性的型号检查
使用Model Advisor检查模型或子系统是否符合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检查模型中的每个需求链接在需求文档中都有一个有效的目标。