Method of logical modeling of operator interaction with programmable logic controller logical verification system
OwnerJ. G. Walacavage, Jim D. Coburninventors
Life of this patent
Estimating the term…
Abstract
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.
Claims15
A method of logical modeling operator interaction with a programmable logic controller logical verification system, said method comprising the steps of:
- constructing a flowchart of interaction of an operator in a workcell;
- testing whether logic of the flowchart is correct;
- and
- using the flowchart to test PLC code to build the workcell if the logic of the flowchart is correct.
A method of logical modeling operator interaction with a programmable logic controller logic verification system, said method comprising the steps of:
- constructing a series of commands for an operator in a workcell using a flowchart;
- starting a timer and executing the commands to test whether logic of the flowchart is correct;
- and
- using the flowchart to test PLC code to build a workcell if the logic of the flowchart is correct.
A method of logical modeling operator interaction with a programmable logic controller logic verification system, said method comprising the steps of:
- constructing a series of commands having at least one resource with at least one capability for an operator in a workcell using a flowchart;
- initializing the operator interaction and idling the operator;
- starting a timer, executing the commands, and determining whether the commands are completed within a predetermined time to test whether logic of the flowchart is correct;
- and
- using the flowchart to test PLC code to build a workcell if the logic of the flowchart is correct.
Dependencies are inferred from the claim text.