检查模型合规性
验证模型是否符合安全标准和规范
要跨工程和开发团队来应用建模规范,您可以使用模型顾问对模型进行检查。运行检查时,模型顾问会根据检查所指定的条件和配置设置来审核您的模型。
Simulink® Check™ 包括用于验证是否符合与高完整性系统建模和 MathWorks® 咨询委员会 (MAB) 建模规范相关联的安全标准的模型顾问检查。从使用模型顾问检查模型合规性开始。
类
函数
主题
模型顾问
- 使用模型顾问检查模型合规性
使用模型顾问检查模型或子系统是否符合建模规范或标准。 - Check Model Compliance Using Edit-Time Checking
Use edit-time checking to check that a model or subsystem complies with modeling guidelines or standards. - 使用模型顾问配置编辑器来自定义模型顾问
使用模型顾问配置编辑器来自定义模型顾问检查和文件夹的配置。 - 生成模型顾问报告
配置模型顾问以生成其他格式的报告。 - 对架构模型运行自定义模型顾问检查
使用模型顾问对 System Composer™ 架构模型运行检查。 - Exclude Blocks from Model Advisor Check Analysis
You can limit the scope of a Model Advisor model or subsystem analysis. - Programmatically Exclude Blocks from Model Advisor Check Analysis
Use MATLAB® functions to create, modify, and save Model Advisor exclusions. - Justify Model Advisor Violations from Check Analysis
Provide a rationale for why you are allowing a violation to exist in your design. - Model Advisor Considerations and Limitations
Describes limitations and considerations of Model Advisor.
模型顾问检查
- 针对高完整性系统建模规范的模型顾问检查
使用模型顾问检查模型或子系统是否符合高完整性系统模型建模规范。 - 针对 MAB 建模规范的模型顾问检查
使用模型顾问检查模型或子系统是否符合 MathWorks 咨询委员会 (MAB) 的建模规范。 - Model Advisor Checks for JMAAB Modeling Guidelines
Use the Model Advisor to check that a model or subsystem complies with the Japan MathWorks Automotive Advisory Board (JMAAB) modeling guidelines. - Model Advisor Checks for ISO 26262, ISO 25119, IEC 61508, IEC 62304, and EN 50128/EN 50657 Industry Standards
Use Model Advisor checks to verify compliance with IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128 industry standards. - 针对 DO-178C/DO-331 行业标准的模型顾问检查
使用模型顾问检查模型或子系统是否符合遵循 DO-178C/DO-331 行业安全标准的代码。 - 针对 DO-254 标准合规性的模型顾问检查
使用模型顾问检查模型或子系统是否符合 DO-254 安全标准的部分内容。 - 针对 MISRA C:2012 编码标准的模型顾问检查
使用模型顾问可提高生成符合 MISRA C:2012 编码标准的代码的可能性。 - Model Advisor Checks for CERT C, SWE, and ISO/IEC TS 17961 Coding Standards
Use the Model Advisor to check that a model or subsystem complies code that complies with secure coding standards. - 针对需求链接的模型顾问检查
使用模型顾问检查模型中的每个需求链接在需求文档中都有一个有效目标。