The design and implementation of the control and integration software of a flexible manufacturing system

The concepts of a methodology for designing and implementing the control and integration software of computer-integrated manufacturing systems are presented. The goal of this methodology is to build flexible and reusable software. Software flexibility is obtained by decoupling the process plan models from the factory floor model and by designing generic control algorithms. Reusability is achieved by building self-contained software/hardware components with general, possibility parametrized, interfaces. These reusable components can be used to populate manufacturing software libraries. Off-the-shelf components can then be assembled into manufacturing systems. Moreover, the interplay between simulated and actual hardware internals of software/hardware components is used as the basis of a testing strategy that performs offline simulation followed by incremental online testing. The application of the methodology to the design and implementation of the control and integration software of a prismatic machining cell is reported. A highly efficient implementation of this software has been carried out in the Ada programming language and is fully operational.<<ETX>>

[1]  Grady Booch,et al.  Book Reviews , 1936, Computer.

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

[3]  Richard A. Volz,et al.  An approach to distributed execution of Ada programs , 1987 .

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

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

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

[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]  Giorgio Bruno,et al.  Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5 , 1986, IFIP Congress.

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

[10]  Ramarathnam Ravichandran,et al.  Decision support in flexible manufacturing systems using timed Petri nets , 1986 .

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

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

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

[14]  L. J. Rolston.  Modeling flexible manufacturing systems with MAP/1 , 1985 .

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

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

[17]  Grady Booch,et al.  Software engineering with Ada , 1983 .