A study of current logic design practices in the automotive manufacturing industry

This paper presents the results of an observational study of industrial logic designers at Lamb Technion. The purpose of this study was to determine the current methods of logic design used in industry. These observations can be used to evaluate recent academic proposals of methods for generating controllers for machines, as well as suggesting new methods.By observing the logic designers it was determined that designing logic for machining systems is substantially different than writing computer code, both in the specification and in the people who will design and use the system. In addition, recent academic developments in Discrete Event Systems are difficult to apply to the problems of industrial logic control. Even methods which researchers design specifically for industrial logic design are difficult to apply, both due to the lack of support for the methods, and the unsuitability of the methods to solve problems in this domain.The primary observations of this study are the following. • The observed Logic designers need to at least: determine acceptable machine behavior, foresee potential error conditions, predict user behavior, and design the logic needed for a machine. This is a greater range of responsibilities than expected. • Logic for one machine is generally copied directly from a previous project. However, copying logic generally involves manually retyping everything due to incompatibilities in the development environments. • Customers continue to ask for more features, and it is unlikely that this trend will stop. Some of these features are extremely difficult to implement using existing methods. Such features include: detailed part tracking, more sophisticated user interfaces, and greater diagnostic ability.

[1]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[2]  MengChu Zhou,et al.  Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system , 1994, IEEE Trans. Ind. Electron..

[3]  Nancy Pennington,et al.  Comprehension strategies in programming , 1987 .

[4]  Dawn M. Tilbury,et al.  Quantitative and qualitative comparisons of PLC programs for a small testbed with a focus on human issues , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[5]  Kwang-Hyun Cho,et al.  Design of PLCs for automated industrial systems based on discrete event models , 2001, ISIE 2001. 2001 IEEE International Symposium on Industrial Electronics Proceedings (Cat. No.01TH8570).

[6]  Narain H. Gehani,et al.  Comparing and Assessing Programming Languages: ADA, C. and PASCAL , 1984 .

[7]  Lothar Litz,et al.  Transparency analysis of Petri net based logic controllers-a measure for software quality in automation , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[8]  David E. Kieras,et al.  Task Analysis and the Design of Functionality , 2014, The Computer Science and Engineering Handbook.

[9]  Murat Uzam,et al.  Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System , 2000 .

[10]  R. W. Lewis,et al.  Programming Industrial Control Systems Using IEC 1131-3 , 1995 .

[11]  David J. Gilmore,et al.  Comprehension and Recall of Miniature Programs , 1984, Int. J. Man Mach. Stud..

[12]  Pramod P. Khargonekar,et al.  Modular logic controllers for machining systems: formal representation and performance analysis using Petri nets , 1999, IEEE Trans. Robotics Autom..

[13]  Dawn M. Tilbury,et al.  Reconfigurable logic control using modular FSMs: Design, verification, implementation, and integrated error handling , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[14]  MengChu Zhou,et al.  Conversion between ladder diagrams and PNs in discrete-event control design-a survey , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[15]  Mark Minas,et al.  Visual PLC-programming using signal interpreted Petri nets , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[16]  Armando W. Colombo,et al.  Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design , 1999, IEEE Trans. Control. Syst. Technol..

[17]  Silvano Balemi Input/Output Discrete Event Processes and System Modeling , 1993 .

[18]  Jr. Allen B. Tucker,et al.  The Computer Science and Engineering Handbook , 1997 .

[19]  Elliot Soloway,et al.  Empirical Studies of Programmers: Second Workshop , 1991 .

[20]  Dawn M. Tilbury,et al.  SOFTWARE TOOLS FOR VERIFICATION OF MODULAR FSM BASED LOGIC CONTROL FOR USE IN RECONFIGURABLE MACHINING SYSTEMS É , 2000 .

[21]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[22]  Scott N. Woodfield,et al.  A study of several metrics for programming effort , 1981, J. Syst. Softw..

[23]  N. Pennington Stimulus structures and mental representations in expert comprehension of computer programs , 1987, Cognitive Psychology.

[24]  Judith Good VPLs and novice program comprehension: how do different languages compare? , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.

[25]  Dawn M. Tilbury,et al.  Coordinated logic control for reconfigurable machining systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[26]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[27]  Pau-Lo Hsu,et al.  A new approach to evaluate ladder logic diagrams and Petri nets via the IF-THEN transformation , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[28]  Lawrence E. Holloway,et al.  Automated synthesis and composition of taskblocks for control of manufacturing systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[29]  Pau-Lo Hsu,et al.  A PLC-based design for the sequence controller in discrete event systems , 2000, Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162).

[30]  Pramod P. Khargonekar,et al.  A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism , 2001, IEEE Trans. Syst. Man Cybern. Syst..

[31]  James C. Spohrer,et al.  Empirical Studies of Programmers: Fifth Workshop , 1993 .

[32]  Lothar Litz,et al.  A measure for transparency in net based control algorithms , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).