Frey, G.; Bani Younis M.:
Systematisches Re-Engineering bestehender Steuerungsprogramme auf der Basis formaler Beschreibungen.
Proceedings of the SPS/IPC/DRIVES, Nürnberg, Germany, pp. 301-309, Nov. 2005.

    Das Re-Engineering bestehender SPS-Steuerungsprogramme gewinnt aufgrund zweier Faktoren zunehmende Bedeutung für die Wirtschaft: (1) Steigende Anforderung an die Qualität der Steuerungen. (2) Transfer des Steuerungs-Know-Hows beim Umstieg auf modernere Hardware. In diesem Beitrag wird ein neues Verfahren zum Re-Engineering vorgestellt. Hierbei wird zunächst eine Formalisierung durchgeführt. Zur formalen Beschreibung werden Automaten (Dynamik) und UML-Klassendiagramme (Struktur) eingesetzt.

Systematic Re-Engineering of PLC Programs using Formal Methods

    This paper outlines a Re-Engineering approach based on the formalization of PLC programs. The transformation into a vendor independent format and the visualization of the structure of PLC programs is identified as an important intermediate step in this process. XML and corresponding technologies are used for the formalization and visualization of the existing code. An approach to formalize PLC programs implemented in the widely used STEP5 language is outlined. It consists of two main steps: first the modular structure of the program is transferred to an UML model and in a second step the algorithms contained in the modules are converted to finite automata. This conversion uses an abstraction method to avoid large automata.