Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Younis, M.B. ; Kaiserslautern Univ. ; Frey, G.

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

Published in:

Emerging Technologies and Factory Automation, 2006. ETFA '06. IEEE Conference on

Date of Conference:

20-22 Sept. 2006