PERA DT ModelChecker是自主开发的一款产品数据质量检查工具软件，与主流CAD软件进行深度集成，用于对产品结构设计过程中产生的三维数模数据，进行建模质量的批量检查和规范化管理，形成基于可配置检查模板的自动审查机制和以工作卡为引导的手动审查机制；同时可以辅助用户对模型的质量信息进行快速地分析、评估及修正。

通过应用ModelChecker，在设计阶段并行检查数模质量，并自动修复部分数模缺陷，使得数模在冻结提交之前，保证企业内上下游部门&企业间的设计流程中的数模达到相同标准，从而实现对设计的规范化管理。

支持客户的业务需求，对其所在行业的设计规范与标准进行业务集成和扩展，用于设计专业数模的建模规范性和质量检查，以及模型常见质量问题的几何缺陷识别和修复，提高设计部门工作效率。

PERA DT ModelChecker软件在某航空所落地使用过程中，能够对所内设计专业部门的数模进行建模规范性和质量检查，确保问题在设计阶段就可以发现和解决，在提交冻结数模时达到所内的设计规范和标准，加快了型号研制的周期。检查效率提升了80%，模型修复效率提高70%，加快设计上下游数据传递和审批效率。