万博1manbetx^®检查™分析你的模型，要求和测试，以评估设计质量和符合标准。它提供了在开发期间识别建模标准和指南违规的行业认可的检查和指标。万博1manbetx支持的高完整性软件开发标准包括ISO 26262，DO-178C，DO-254，IEC 61508，ISO 25119，IEC 62304和MathWorks咨询委员会（MAB）风格指南。万博1manbetxSimulink检查还支持安全万博1manbetx的编码标准，例如CERT C，CWE和ISO / IEC TS 17961.您可以创建自定义的检查，以符合自己的标准或准则。编辑时间检查在编辑时识别合规性问题。

万博1manbetxSimulink检查提供指标，如规模和复杂性来评估你的设计的状态和质量。从基于需求的测试活动的模型测试仪表板合并数据来跟踪测试状态。自动模式重构，您可以更换造型克隆，降低设计复杂性，并确定可重复使用的内容。 The Model Slicer tool isolates problematic behavior in models and generates simplified models for debugging.

万博1manbetx对行业标准的支持可通过IEC认证套件（对于ISO 26262和IEC 61508）和DO资格的试剂盒（DO-178）。