万博1manbetx^®检查™分析您的模型、需求和测试，以评估设计质量和符合标准。它提供了业界认可的检查和量度，这些检查和量度在开发过程中识别建模标准和准则的违反。万博1manbetx支持的高完整性软件开发标准包括ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304和MathWorks Advisory Board (MAB)风格的指南。万博1manbetx仿真软件检查还支持安全万博1manbetx编码标准，如CERT C、CWE和ISO/IEC TS 17961。您可以根据自己的标准或指导方针创建自定义检查。编辑时检查在编辑时识别遵从性问题。

万博1manbetx仿真软件检查为评估设计的状态和质量提供度量标准，例如大小和复杂性。模型测试仪表板整合来自基于需求的测试活动的数据，以跟踪测试状态。自动模型重构允许您替换建模克隆，降低设计复杂性，并识别可重用内容。 模型切片器工具隔离模型中有问题的行为，并生成用于调试的简化模型。

万博1manbetx对行业标准的支持可以通过IEC认证套件(适用于ISO 26262和IEC 61508)和DO认证套件(适用于DO-178)．