Title :
Reverse engineering and visualization of the reactive behavior of PLC applications
Author :
Prahofer, Herbert ; Wirth, Christian ; Berger, Rudolf
Author_Institution :
Christian Doppler Lab. for Automated Software Eng., Johannes Kepler Univ., Linz, Austria
Abstract :
This paper presents an approach to reverse engineering and dynamic analysis of the reactive behavior of PLC programs. Based on execution traces, it is shown how to derive a state model representation of the reactive program behavior and how this model supports dynamic program analysis. In particular, the state model is used for mining execution patterns which occur repeatedly in a program execution. We discuss the key ideas of the approach, the various analysis and visualization methods available, and results from a case study.
Keywords :
control engineering computing; data mining; data visualisation; program diagnostics; programmable controllers; reverse engineering; PLC applications; dynamic program analysis; execution pattern mining; execution traces; reactive PLC program behavior; reverse engineering; state model representation; visualization; Analytical models; Debugging; Filling; Level control; Reverse engineering; Visualization; PLC applications; dynamic analysis; reactive programs; reverse engineering; visualization;
Conference_Titel :
Industrial Informatics (INDIN), 2013 11th IEEE International Conference on
Conference_Location :
Bochum
DOI :
10.1109/INDIN.2013.6622946
