Software Engineering for Manufacturing Systems

Software engineering for control technology - definitions and requirements. Life cycle support for PLC controlled manufacturing systems. State diagrams: a new programming method for programmable logic controllers. Applying simulation modeling techniques for the design and assessment of control software. A CP-net approach to control engineering. Modeling and simulation of combined discrete event-continuous systems using DEVS formalism and object-oriented paradigm. Principles of CASE tool design for automation control. VPLC - a CASE tool for the virtual programming, simulation and diagnosis of PLC-software. ASPECT - a CASE tool for control functions originating from mechanical layout. Case tools for flexible manufacturing systems. An environment and algorithm for FMS controller testing. Reusability of function-oriented and object-oriented master control software. A reusable software artifact library system as the core of a reuse-oriented software enterprise. Software design practice using two SCADA software packages. GENIUS: a generator for graphical user interfaces.