Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing systems this typically implies modifications of the control programs. In previous work a framework for automatic generation of cell controllers has been developed. In this paper an implementation of the framework is presented. Important properties of the presented implementation are: the information from earlier design phases is reused; automatic code generation for faster development and reduced implementation errors; the supervisory control theory is used to generate control functions that are correct by construction; object oriented principles are used in order to allow the reuse of existing library functions. The implementation is generic in the sense that it may generate control programs for a number of target platforms, but in this paper the focus is on generating a control program for the Java platform. An industrial example of a reconfigurable manufacturing cell has been used in the implementation process and shows that the framework is feasible for large manufacturing systems.

Insufficient indication of errors is a problem in many manufacturing systems. Lack of support for resynchronization of the cell and its control system is another, less obvious problem. A third problem connected to errors in manufacturing cells is lack of support for manual control. In order to resolve an error situation manual control of the cell is often required. The problem is that some of the manual operations may be blocked due to machine protection. When an operator is to execute a blocked operation the only response is that nothing happens. This paper proposes a method where control programs with integrated functions for error detection, resynchronization, and support for manual control are generated out of information that already exists in the development process of a manufacturing system.

Shortened product life-cycles decrease the output rate of manufacturing systems. Offline verification of the control systems promises to increase the output. However, to make offline verification possible some major improvements of the current development process of manufacturing systems are needed. Information handling and development of control programs based on information reuse are the two most important improvement areas. This paper deals with one problem up the many connected to enabling offline verification. A general control program structure, adapted to information reuse and formal mathematical verification methods, is needed. This paper proposes a program structure that makes it possible to generate the PLC-program out of information that already exists in the development process of a manufacturing system. In order to further increase the ability of offline verification the proposed program structure is adapted to import information processed by formal mathematical methods.

Shortened product life-cycles decreases the output rate of manufacturing systems as the introduction of new products into the manufacturing system becomes more frequent. Improvements of the development process of manufacturing systems are needed to increase the output. Information handling and development of control programs based on information reuse are two of the most important improvement areas. These areas, among other things, can be a support for offline verification, which promises to directly increase the output rate due to shortening product introduction times. This paper deals with two problems of the many connected to enabling offline verification. First, a general control program structure, adapted to information reuse, is needed and secondly, the information necessary to generate the control programs needs to be defined. A method is proposed where information from the mechanical design of a cell, from the product, and from manual simulation are reused and automatically converted into control programs that schedule the work in a collision-free, deadlock-free and time-optimized way. The correctness of the generated programs is guaranteed by use of formal methods, simulation and an uncorrupted conversion of specifications into control programs.