金宝app^®检查™分析您的模型、需求和测试，以评估设计质量和与标准的符合性。它提供了业界认可的检查和度量，用于识别开发过程中违反建模标准和准则的情况。支持的高完整性软件开发标准包括ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304和MathWorks咨询委员会（MAB）风格的指南。金宝app金宝app模拟链路检查还支持安全金宝app编码标准，如CERT C、CWE和ISO/IEC TS 17961。您可以创建自定义检查以符合自己的标准或准则。编辑时间检查可在编辑时识别法规遵从性问题。

金宝app模拟链路检查提供大小和复杂性等指标，用于评估设计的状态和质量。模型测试仪表板整合来自基于需求的测试活动的数据，以跟踪测试状态。自动模型重构允许您替换建模克隆，降低设计复杂性，并识别可重用内容。 模型切片器工具隔离模型中有问题的行为，并生成简化模型进行调试。

金宝app可通过以下途径获得对行业标准的支持：IEC认证套件（适用于ISO 26262和IEC 61508）和DO鉴定套件（适用于DO-178）.