Title :
Automated generation and evaluation of control programs for discrete manufacturing processes
Author :
Krogh, Bruce H. ; Willson, Reg ; Pathak, Dhiraj
Author_Institution :
Dept. of Electr. & Comput. Eng., Carnegie-Mellon Univ., Pittsburgh, PA, USA
Abstract :
A set of software tools is described for specifying the control and process dynamics for discrete manufacturing systems. Specifications are entered and modified in a relational database using a formalism that naturally reflects the functional components of a discrete control system. A Petri-net model of the control and process logic is extracted automatically from the database, and various analysis tools are provided to investigate the consistency and viability of the specifications. The control logic is then translated into source code for the online control computer. The specification formalism and generated control software are illustrated using a simple die-stamping example. A real-time process simulator for program verification is also described
Keywords :
directed graphs; manufacturing computer control; real-time systems; relational databases; specification languages; Petri-net model; analysis tools; consistency; control logic; control programs; die-stamping; discrete control system; discrete manufacturing processes; functional components; online control computer; process logic; program verification; real-time process simulator; relational database; software tools; source code; specifications; viability; Automatic control; Automatic generation control; Automatic logic units; Computational modeling; Control systems; Data analysis; Manufacturing systems; Process control; Relational databases; Software tools;
Conference_Titel :
Computer Integrated Manufacturing, 1988., International Conference on
Conference_Location :
Troy, NY
Print_ISBN :
0-8186-0888-9
DOI :
10.1109/CIM.1988.5396
