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

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

对行业标准的支持可通过IEC认证套件(适用于iso26262及iec61508)而且DO检定套件(适用于DO-178)．