Developing manufacturing control software: A survey and critique

The complexity and diversity of manufacturing software and the need to adapt this software to the frequent changes in the production requirements necessitate the use of a systematic approach to developing this software. The software life-cycle model (Royce, 1970) that consists of specifying the requirements of a software system, designing, implementing, testing, and evolving this software can be followed when developing large portions of manufacturing software. However, the presence of hardware devices in these systems and the high costs of acquiring and operating hardware devices further complicate the manufacturing software development process and require that the functionality of this software be extended to incorporate simulation and prototyping.This paper reviews recent methods for planning, scheduling, simulating, and monitoring the operation of manufacturing systems. A synopsis of the approaches to designing and implementing the real-time control software of these systems is presented. It is concluded that current methodologies support, in a very restricted sense, these planning, scheduling, and monitoring activities, and that enhanced performance can be achieved via an integrated approach.

[1]  Giorgio Bruno,et al.  Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri Nets , 1985, PNPM.

[2]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[3]  Shaw Jen Chang,et al.  The generation of diagnostic heuristics for automated error recovery in manufacturing workstations , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[4]  Stephen F. Smith,et al.  Reactive Plan Revision , 1988, AAAI.

[5]  Albert D. Baker.  Complete manufacturing control using a contract net: a simulation study , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[6]  Teofilo F. Gonzalez,et al.  Open Shop Scheduling to Minimize Finish Time , 1976, JACM.

[7]  Manjunath Kamath,et al.  Applications of petri net based models in the modelling and analysis of flexible manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[8]  B. O. Nnaji,et al.  An integrated data model for CIM planning and control , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[9]  Y. Narahari,et al.  Coloured Petri net models for automated manufacturing systems , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[10]  Claudio Arbib,et al.  Workload balance and part-transfer minimization in flexible manufacturing systems , 1991 .

[11]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[12]  Mark S. Fox,et al.  Autonomous Manufacturing: Automating the Job-Shop , 1984, Computer.

[13]  Jean J. O'Reilly,et al.  Introduction to SLAM II and SLAMSYSTEM , 1992, WSC '92.

[14]  N. Shires,et al.  Factory control integrated with operational planning , 1988 .

[15]  Michael J. Shaw,et al.  Task Bidding and Distributed Planning in Flexible Manufacturing , 1985, CAIA.

[16]  Michael J. Shaw,et al.  Automatic planning and flexible scheduling: A knowledge-based approach , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[17]  Kang G. Shin,et al.  Scheduling job operations in an automatic assembly line , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[18]  Bruce H. Krogh,et al.  Automated generation and evaluation of control programs for discrete manufacturing processes , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[19]  Neil A. Duffie,et al.  Nonhierarchical control of manufacturing systems , 1986 .

[20]  Jacob P. Poorte,et al.  Computer Animation With Cinema , 1989, 1989 Winter Simulation Conference Proceedings.

[21]  Kathryn E. Stecke,et al.  Proceedings of the Second ORSA/TIMS Conference on Flexible Manufacturing Systems: Operations Research Models and Applications, held at the University of Michigan, Ann Arbor, MI, U.S.A., August 12-15, 1986 , 1986 .

[22]  Manuel Silva Suárez,et al.  Modeling, validation and software implementation of production systems using high level Petri nets , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[23]  Mohsen A. Jafari.  Petri net based shop floor controller and recovery analysis , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[24]  N. Viswanadham,et al.  Fault Detection and Diagnosis of Automated Manufacturing Systems , 1988 .

[25]  Giorgio Bruno,et al.  Petri Net-Based Object-Oriented Modeling of Distributed Systems , 1986, OOPSLA.

[26]  M. Weck.  Machine diagnostics in automated production , 1983 .

[27]  Frank DiCesare,et al.  Real time control of multilevel manufacturing systems using colored Petri nets , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[28]  Michael J. Shaw.  Knowledge-based scheduling in flexible manufacturing systems , 1987 .

[29]  Lowell B. Hawkinson,et al.  A Real-Time Expert System for Process Control , 1986 .

[30]  Kathryn E. Stecke,et al.  Using mathematical programming and simulation to study FMS machine utilizations , 1987, WSC '87.

[31]  M. Zhou,et al.  A top-down approach to systematic synthesis of Petri net models for manufacturing systems , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[32]  Bruce H. Krogh,et al.  Prototype software for automatic generation of on-line control programs for discrete manufacturing processes , 1987 .

[33]  Mark C. Maletz,et al.  The Manufacturing Game: A Formal Approach to Manufacturing Software , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[34]  W. L. Maxwell,et al.  Scheduling Cyclic Production on Several Identical Machines , 1986, Oper. Res..

[35]  Jean-Claude Gentina,et al.  Coloured adaptive structured Petri-net: A tool for the automatic synthesis of hierarchical control of Flexible Manufacturing Systems (F.M.S.) , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[36]  C. Vercauter,et al.  Application of an extension of petri nets to modelization of control and production processes , 1985 .

[37]  Charles R. McLean,et al.  Control of an automated machining workstation , 1988 .

[38]  Marc Courvoisier,et al.  Joining Petri nets and knowledge based systems for monitoring purposes , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[39]  Neil Iscoe,et al.  Domain modeling for software engineering , 1991, [1991 Proceedings] 13th International Conference on Software Engineering.

[40]  B. Krogh,et al.  Models for simulation and discrete control of manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[41]  David Ben-Arieh,et al.  Control methodology for FMS , 1988, IEEE J. Robotics Autom..

[42]  Toshio Sata,et al.  Model referenced monitoring and diagnosis - application to the manufacturing system , 1986 .

[43]  S. Wadhwa,et al.  Modeling FMS with decision Petri nets , 1989 .

[44]  Kathryn E. Stecke,et al.  Dynamic analysis of repetitive decision-free discreteevent processes: The algebra of timed marked graphs and algorithmic issues , 1990 .

[45]  Peter A. Pinto,et al.  Assembly Line Balancing with Processing Alternatives: An Application , 1983 .

[46]  Masaki Hasegawa,et al.  Modelling of exception handling in manufacturing cell control and its application to PLC programming , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[47]  J. Labetoulle,et al.  A heuristic method for loading and scheduling flexible manufacturing systems , 1988 .

[48]  Ravi Sethi,et al.  The Complexity of Flowshop and Jobshop Scheduling , 1976, Math. Oper. Res..

[49]  Antonio Camurri,et al.  An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level Petri nets , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[50]  Maurizio Morisio,et al.  Petri-net based simulation of manufacturing cells , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[51]  Grady Booch,et al.  Object-oriented development , 1986, IEEE Transactions on Software Engineering.

[52]  Kathryn E. Stecke,et al.  Design, planning, scheduling, and control problems of flexible manufacturing systems , 1985 .

[53]  Amiya K. Chakravarty,et al.  An object-oriented knowledge representation for hierarchical real-time control of flexible manufacturing , 1988 .

[54]  W. W. Royce,et al.  Managing the development of large software systems , 1970 .

[55]  David W. Russell.  Integration of PLCs and databases for factory information systems , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[56]  Michael J. Shaw,et al.  A distributed knowledge-based approach to flexible automation: The contract net framework , 1988 .

[57]  Alessandro Agnetis,et al.  Optimal two-machine scheduling in a flexible flow system , 1990, [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing.

[58]  A. G. Mamalis,et al.  On simulation modeling for FMS , 1987, Simul..

[59]  M. Gourgand,et al.  GAME: an object-oriented approach to computer animation in flexible manufacturing system modelling , 1991, [1991] Proceedings of the 24th Annual Simulation Symposium.

[60]  Jean J. O'Reilly,et al.  Introduction To Slam II And Slamsystem , 1989, 1989 Winter Simulation Conference Proceedings.

[61]  W. W. Royce,et al.  Managing the development of large software systems: concepts and techniques , 1987, ICSE '87.

[62]  Earl D. Sacerdott.  Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.

[63]  Stephen F. Smith,et al.  Management of Temporal Constraints for Factory Scheduling , 1987, Temporal Aspects in Information Systems.

[64]  K. Lee,et al.  Mare Island flexible manufacturing workstation , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[65]  Frank DiCesare,et al.  Implementation of a Petri net controller for a machining workstation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[66]  Neil A. Duffie,et al.  Computer Control of Machines and Processes , 1988 .

[67]  Jean-Claude Latombe,et al.  Making Compromises Among Antagonist Constraints in a Planner , 1985, Artif. Intell..

[68]  Giorgio Bruno.  Using Ada for discrete event simulation , 1984, Softw. Pract. Exp..

[69]  Joseph J. Talavage,et al.  A hybrid paradigm for modeling of complex systems , 1987, Simul..

[70]  Kathryn E. Stecke,et al.  Dynamic analysis of repetitive decision-free discrete-event processes: applications to production systems , 1991 .

[71]  Drew V. McDermott,et al.  Logic, Problem Solving, and Deduction , 1987 .

[72]  Maurizio Morisio,et al.  The role of rule based programming for production scheduling , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[73]  Bruce L. Kleine.  Factory planning and production analysis using SIMFACTORY , 1988, WSC '88.

[74]  Richard A. Volz,et al.  A methodology for developing real-time control software for efficient and dependable manufacturing systems , 1990 .

[75]  Uday S. Karmarkar,et al.  The Deterministic Dynamic Product Cycling Problem , 1985, Oper. Res..

[76]  MengChu Zhou,et al.  A Petri net design method for automated manufacturing systems with shared resources , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[77]  Christos H. Papadimitriou,et al.  Flowshop scheduling with limited temporary storage , 1980, JACM.

[78]  Claude Dennis Pegden.  Introduction to SIMAN , 1988, WSC '88.

[79]  K. P. Valavanis,et al.  A hierarchical modeling methodology for flexible manufacturing systems using extended Petri nets , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[80]  Kevin J. Healy.  CINEMA tutorial , 1986, WSC '86.

[81]  Berthold Reinwald,et al.  Flexible and reactive integration of manufacturing systems through dynamic resource allocation , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[82]  Daniel L. Larner.  Factories, objects, and blackboards , 1990 .

[83]  E. A. Warman.  Computer Applications in Production and Engineering , 1985 .

[84]  Kathryn E. Stecke,et al.  Machine utilizations achieved using balanced FMS production ratios in a simulated setting , 1988 .

[85]  Christer Carlsson,et al.  Achieving fault tolerance in factory automation systems by dynamic configuration , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[86]  James C. Bean,et al.  Matchup Scheduling with Multiple Resources, Release Dates and Disruptions , 1991, Oper. Res..

[87]  Jim Browne,et al.  ESPNET: expert-system-based simulator of Petri nets , 1988 .

[88]  Richard Fikes,et al.  Monitored Execution of Robot Plans Producted by STRIPS , 1971, IFIP Congress.

[89]  Van B. Norman,et al.  Integrated software for manufacturing simulation , 1986, WSC '86.

[90]  R. A. Volz,et al.  Design of integrated manufacturing system control software , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[91]  Toby J. Teorey,et al.  Time sequence ordering extensions to the Entity-Relationship model and their application to the automated manufacturing process , 1991, Data Knowl. Eng..

[92]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[93]  K. Preiss,et al.  Process planning by logic programming , 1989 .

[94]  Alessandro Agnetis,et al.  Part routing in flexible assembly systems , 1990, IEEE Trans. Robotics Autom..

[95]  Shaw Jen Chang,et al.  Evaluation of diagnosability of failure knowledge in manufacturing systems , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[96]  Vladan Devedžić,et al.  A knowledge-based system for the strategic control level of robots in flexible manufacturing cells , 1990 .

[97]  Robert P. Judd,et al.  Manufacturing system design methodology: execute the specification , 1990, [1990 Proceedings] The First International Workshop on Rapid System Prototying.

[98]  T. M. Hancock.  Integration of design, planning, and manufacturing subsystems in sheet metal processing , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[99]  Jan Karel Lenstra,et al.  Complexity of machine scheduling problems , 1975 .

[100]  Nejib Ben Hadj-Alouane,et al.  The design and implementation of the control and integration software of a flexible manufacturing system , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[101]  Bruce H. Krogh,et al.  Petri Net Tools for the Specification and Analysis of Discrete Controllers , 1990, IEEE Trans. Software Eng..

[102]  Giorgio Bruno,et al.  Rapid prototyping of control systems using high level Petri nets , 1985, ICSE '85.

[103]  Stephen C. Graves,et al.  Scheduling of re-entrant flow shops , 1983 .

[104]  J. T. Black,et al.  An expert system for manufacturing cell control , 1989 .

[105]  Hendrik Van Brussel,et al.  SESFAC: a scheduling expert system for flexible assembly cells , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[106]  G. Harhalakis,et al.  A facility-level CIM system , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[107]  Colin L. Moodie,et al.  A knowledge-based system for information management in an automated and integrated manufacturing system , 1988 .

[108]  Sartaj Sahni,et al.  Complexity of Scheduling Shops with No Wait in Process , 1979, Math. Oper. Res..

[109]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[110]  Bruce L. Kleine.  A SIMFACTORY tutorial , 1986, WSC '86.

[111]  Robin Roundy.  Cyclic Schedules for Job Shops with Identical Jobs , 1992, Math. Oper. Res..

[112]  Richard A. Wysk,et al.  A knowledge-based approach for automated process planning , 1988 .

[113]  W. S. Faught,et al.  “ A Real Time Expert System for Process Control " , 2022 .

[114]  Carlos F. Bispo,et al.  An extended horizon scheduling algorithm for the job-shop problem , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[115]  Paul Valckenaers,et al.  SESFAC: A Scheduling Expert System for Flexible Assembly Cell , 1990 .

[116]  Bruce H. Thomas,et al.  Using Grafcet to design generic controllers , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[117]  Kathryn E. Stecke,et al.  A flexible approach to part type selection in flexible flow systems using part mix ratios , 1991 .

[118]  Jan D. Wolter.  On the automatic generation of assembly plans , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[119]  Edward S. Davidson,et al.  Cyclic job shop scheduling using reservation tables , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[120]  Kathryn E. Stecke,et al.  Loading and control policies for a flexible manufacturing system , 1981 .

[121]  Michael Pinedo,et al.  Sequencing in an Assembly Line with Blocking to Minimize Cycle Time , 1989, Oper. Res..

[122]  Andrew R. Gilman,et al.  A Tutorial On See Why And Witness , 1989, 1989 Winter Simulation Conference Proceedings.

[123]  P. Jalote,et al.  On fault tolerance in manufacturing systems , 1988, IEEE Network.

[124]  James Moyne,et al.  An application of entity-relationship data modeling techniques to the automated manufacturing process , 1989, Proceedings. Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering.

[125]  Giorgio Bruno,et al.  Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5 , 1986, IFIP Congress.

[126]  Anthony Levas,et al.  WADE: an object-oriented environment for modeling and simulation of workcell applications , 1989, IEEE Trans. Robotics Autom..

[127]  T. Savolainen,et al.  Software technologies in computer integrated manufacturing , 1988 .