AUTOMATED DERIVATION OF A LOGIC-CONTROLLER-BEHAVIOR-MODEL FROM A MECHANICAL-MACHINE-OPERATION-MODEL

摘要

An electrical logic controller behavior model of logic controller behavior is automatically or semi-automatically derived from a model of mechanical machine operation. To create the electrical model, an electrical step is created corresponding to each mechanical step of the mechanical model. For each mechanical transition on the mechanical step, a corresponding electrical transition is created on the corresponding electrical step. For each identified signal associated with an end position of the mechanical step, a condition is created for the associated signal on the corresponding electrical transition. The electrical logic controller behavior model is then used to generate PLC-specific software to control a machine or plant.