万博1manbetx^®检查™提供行业认可的检查和度量，以识别开发过程中违反标准和指导原则的情况。万博1manbetx支持的高完整性软件开发标准包括DO-178、ISO 26262、IEC 61508、IEC 62304和MathWorks咨询委员会(MAB)风格指南。当您编辑时，编辑时检查确定了遵从性问题。您可以创建符合您自己的标准或指导方针的自定义检查。

万博1manbetx仿真软件检查提供诸如大小和复杂性之类的度量，您可以使用这些度量来评估模型的体系结构和对标准的遵从性。统一的度量指标仪表板允许您评估设计状态和质量。自动模型重构允许您替换重复的设计元素，降低设计复杂性，并识别可重用的内容。模型切片器工具将有问题的行为隔离在模型中，并生成一个用于调试的简化模型。

万博1manbetx可以通过以下方式获得对行业标准的支持IEC认证包(适用于ISO 26262和IEC 61508)和DO资格认证套件(DO-178)。