Object-Oriented Ladder Logic Development Framework Based on the Unified Modeling Language

In order to improve current PLC programming practices, this paper proposes an object-oriented (O-O) ladder logic development framework in which ladder code is generated automatically based on the O-O design results and can be verified by port-level simulation. Proposed ladder logic development framework consists of two phases: First is the design phase. Second is the generation and verification phase. During the first phase, O-O design model is built, which consists of three models: functional model, structure model and interaction model. Two steps are conducted during the second phase. Firstly, ladder code is generated automatically using the interaction model of design phase. Secondly, generated ladder code is verified by input/output port simulation. In order to show the applicability of proposed framework, a software tool for the design and generation of ladder code is also developed.

[1]  Marga Marcos,et al.  Using object oriented technologies in factory automation , 2002, IEEE 2002 28th Annual Conference of the Industrial Electronics Society. IECON 02.

[2]  Kwan Hee Han,et al.  Development of Object-Oriented Modeling Tool for the Design of Industrial Control Logic , 2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).

[3]  Ken Young,et al.  An Object-Oriented Approach to an Agile Manufacturing Control System Design , 2001 .

[4]  Luciano Baresi,et al.  PLCTOOLS: design, formal validation, and code generation for programmable controllers , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[5]  MengChu Zhou,et al.  Ladder diagram and Petri-net-based discrete-event control design methods , 2004, IEEE Trans. Syst. Man Cybern. Part C.

[6]  Georg Frey,et al.  Internet-based development of logic controllers using Signal Interpreted Petri Nets and IEC 61131 , 2001 .

[7]  D. Spath,et al.  Virtual reality - An approach to improve the generation of fault free software for programmable logic controllers (PLC) , 1996, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW).

[8]  Manfredi Bruccoleri,et al.  An Object-Oriented Approach for Flexible Manufacturing Control Systems Analysis and Design Using the Unified Modeling Language , 2003 .

[9]  Jing Liu,et al.  Ladder logic implementation of Ramadge-Wonham supervisory controller , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[10]  W.M.M. Hales,et al.  PN PLC: A methodology for designing, simulating and coding PLC based control systems using Petri nets , 1997 .

[11]  S. Manesis,et al.  Automated synthesis of Ladder automation circuits based on state-diagrams , 2005, Adv. Eng. Softw..

[12]  Emanuele Carpanzano,et al.  Object-Oriented Models for Advanced Automation Engineering , 1998 .

[13]  David Clark,et al.  Safety and Security Analysis of Object-Oriented Models , 2002, SAFECOMP.

[14]  V. Hajarnavis,et al.  A comparison of sequential function chart and object-modelling PLC programming , 2005, Proceedings of the 2005, American Control Conference, 2005..

[15]  Jin S. Lee,et al.  Automatic generation of ladder diagram with control Petri Net , 2004, J. Intell. Manuf..

[16]  Krzysztof Sacha,et al.  Automatic Code Generation for PLC Controllers , 2005, SAFECOMP.