万博1manbetx^®检查™提供业界公认的检查，并在开发过程中确定的标准和指南的侵犯指标。万博1manbetx支持高完整性的软件开发标准包括DO-178，ISO 26262，IEC 61508，IEC 62304，和MathWorks公司顾问委员会（MAB）风格指南。编辑时检查识别合规性问题，你的编辑。您可以创建自定义的检查，以符合自己的标准或准则。

万博1manbetxSimulink的检查提供指标，如规模和复杂性，你可以用它来评估模型的架构，并符合标准。一个统一的度量仪表板，让您评估设计状态和质量。自动模式重构，您可以替换重复的设计元素，降低设计复杂性，并确定可重复使用的内容。示范切片机工具在一个模型中隔离有问题的行为，并产生一个简化的模型用于调试。

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