文档

检查模型的合规

验证模型符合安全标准和指导方针

要在项目和开发团队之间应用建模指导方针,您可以使用Model Advisor对您的模型进行检查。当您运行检查时,Model Advisor将检查您的模型中指定的条件和配置设置。

金宝app®检查™包括Model Advisor检查是否符合与高完整性系统建模和MAAB控制算法建模指南相关的安全标准。开始使用模型顾问和编辑时间检查检查遵从性

顾问。应用程序 跨模型层次结构运行模型Advisor
顾问。经理 管理应用程序

主题

模型的顾问

使用模型顾问和编辑时间检查检查遵从性

使用Model Advisor和编辑时检查来检查模型或子系统是否符合建模指导方针或标准。

限制模型检查

您可以限制Model Advisor模型或子系统分析的范围。

通过排除增益和输出块来限制模型检查

这个例子展示了如何排除获得块和所有外港在Model Advisor分析期间阻止Model Advisor检查。

以Adobe PDF和Microsoft Word格式生成模型顾问报告

配置Model Advisor以生成其他格式的报告。

将MAAB指南检查设置为在遮罩下检查或遵循链接

控制检查是否在屏蔽下查看或遵循链接

模型顾问检查

DO-178C/DO-331标准符合性的模型检查

使用Model Advisor检查模型或子系统是否符合DO-178C安全标准的部分内容。

IEC 61508, IEC 62304, ISO 26262和EN 50128标准符合性的模型检查

使用模型顾问检查模型或子系统是否符合IEC 61508、IEC 62304、ISO 26262和EN 50128的部分安全标准。

MathWorks汽车咨询委员会(MAAB)指南符合性的模型检查

使用Model Advisor检查模型或子系统是否符合MathWorks的某些部分®汽车咨询委员会(MAAB)指南。

MISRA C:2012符合性模型检查

使用Model Advisor检查您的模型最有可能生成符合MISRA C:2012的代码。

安全编码的模型检查(CERT C, CWE和ISO/IEC TS 17961标准)

使用Model Advisor检查代码是否符合CERT C、CWE、ISO/IEC TS 17961安全编码标准。

需求链接的模型检查

使用Model Advisor检查模型中的每个需求链接在需求文档中都有一个有效的目标。

这个话题有用吗?