A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application

Programmable logic controllers (PLCs) are still the workhorse of industrial automation. The programming and adaptation of the software for PLCs - i.e. the implementation of the control algorithms - are expensive and cumbersome tasks. Today the re-implementation of an existing PLC program on a new platform, as it is supported by industrial tools on a low level, requires considerable manual re-working by a specialist. Known re-implementation processes do not allow a fully automatic transfer to a new platform. Furthermore they lack re-documentation of the code which makes it hard to understand and to follow the implemented algorithms. To avoid these problems, this paper proposes a re-implementation concept for existing PLC programs based on formal methods. An application of this concept to a lab system is presented to assess its applicability

[1]  S. Lamperiere-Couffin,et al.  Formal validation of PLC programs: A survey , 1999, 1999 European Control Conference (ECC).

[2]  Georg Frey,et al.  A re-engineering approach for PLC programs using finite automata and UML , 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..

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

[4]  Lothar Litz,et al.  Formal methods in PLC programming , 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]  Tanvir Hussain,et al.  Migration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[6]  M.B. Younis,et al.  Visualization of PLC programs using XML , 2004, Proceedings of the 2004 American Control Conference.

[7]  M.B. Younis,et al.  Formalization and Visualization of Non-binary PLC Programs , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[8]  Georg Frey,et al.  Formalization of PLC programs to sustain reliability , 2004, IEEE Conference on Robotics, Automation and Mechatronics, 2004..

[9]  James H. Cross,et al.  Reverse engineering and design recovery: a taxonomy , 1990, IEEE Software.

[10]  Dipl.-Inform. Karl-Heinz John,et al.  IEC 61131-3: Programming Industrial Automation Systems , 2001, Springer Berlin Heidelberg.

[11]  Hanno Wupper,et al.  What is the method in applying formal methods to PLC applications , 2000 .