Comparing industrial logic design methods used in the automotive industry

In this paper we present a method of comparing logic control design methodologies very early in their development, before integrated development environments are complete and extensive user testing can be performed. We base this comparison on a framework of the process that is needed to create and debug logic. This comparison method provides objective measures that can be used to compare existing industrial logic control design methodologies (such as ladder diagrams and flow charts) with more recently developed academic methods (such as Petri nets or state machines). We demonstrate this comparison by comparing ladder diagrams, Petri nets and modular finite state machines.

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

[2]  Gary M. Olson,et al.  The growth of cognitive modeling in human-computer interaction since GOMS , 1990 .

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

[4]  David E. Kieras,et al.  Towards a Practical GOMS Model Methodology for User Interface Design , 1988 .

[5]  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..

[6]  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..

[7]  H. E. Dunsmore,et al.  Software engineering metrics and models , 1986 .

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

[9]  Takashi Sekiguchi,et al.  Modeling of a sequential control system with cyclic scan by Petri net , 2002 .

[10]  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).

[11]  Dawn Tilbury,et al.  Logic control design and implementation for a machining line testbed using Petri nets , 2002 .

[12]  Allen Newell,et al.  The keystroke-level model for user performance time with interactive systems , 1980, CACM.

[13]  Dawn M. Tilbury,et al.  A study of current logic design practices in the automotive manufacturing industry , 2003, Int. J. Hum. Comput. Stud..

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

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

[16]  Jean-Jacques Lesage,et al.  Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

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

[18]  Dick Johnson.  Nano Devices Lead Assault on Traditional PLC Applications , 2002 .

[19]  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).

[20]  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).

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