Method of logical modeling of operator interaction with programmable logic controller logical verification system

摘要

A method is provided of logical modeling operator interaction with a programmable logical controller logic verification system. The method includes the steps of constructing a flowchart of interaction of an operator in a workcell part and testing whether the logic of the flowchart is correct. The method also includes the step of using the flowchart to test PLC code to build the workcell if the logic of the flowchart is correct.