CONTROL LOGIC VERIFICATION DEVICE AND CONTROL LOGIC VERIFICATION METHOD

摘要

PROBLEM TO BE SOLVED: To provide a control logic verification device capable of easily verifying validity of a created control logic.SOLUTION: A control logic verification device comprises a control logic specification creation part, an analysis part, and a circuit diagram creation part. The control logic specification creation part creates a control logic specification for controlling facility equipment in a facility on the basis of input information. The analysis part acquires information for controlling the facility equipment by analyzing a control logic specification, and creates an intermediate code in a format that can be executed by the analysis part on the basis of the acquired information. The circuit diagram creation part creates a first logic circuit diagram on the basis of the intermediate code.