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

仿真软件检查提供了评估指标,如大小和复杂性的地位和质量您的设计。模型试验仪表板合并数据从您的基于需求的测试活动跟踪测试状态。自动模式重构可以取代建模克隆,降低设计的复杂性,并确定可重用的内容。 模型切片机工具隔离有问题的行为模型和生成简化模型进行调试。

支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)和做资格工具包(- 178)。