万博1manbetx^®CHECK™分析您的模型，要求和测试，以评估设计质量和遵守标准。它提供了在开发期间识别建模标准和指南违规的行业认可的检查和指标。万博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-178）。