一种DCS控制逻辑的核验方法、系统、设备及存储介质

本申请公开了一种DCS控制逻辑的核验方法、系统、设备及存储介质，涉及系统功能验证领域，包括：将具有待核验控制逻辑图的图纸标识的功能图确定为待核验功能图，对待核验控制逻辑图执行控制逻辑核验操作：将待核验功能图中查找与该图形元素对应的图形符号的逻辑信息，与该图形元素的逻辑信息进行一致性比对，在不一致的情况下，对该图形元素和图形符号添加标记信息，并记录核验日志。本申请基于在待核验功能图中查找与该图形元素对应的图形符号，对该图形元素的逻辑信息和图形符号的逻辑信息进行一致性比对，实现在大量图形符号中对具有对应关系的图形元素和图形符号的逻辑信息的自动化核验，提高了对DCS控制逻辑的核验精度和效率。