Thumbnail
Access Restriction
Subscribed

Author Prahofer, H. ♦ Wirth, C. ♦ Berger, R.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2013
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations ♦ Applied physics
Subject Keyword Visualization ♦ Analytical models ♦ visualization ♦ Reverse engineering ♦ Debugging ♦ reverse engineering ♦ Filling ♦ dynamic analysis ♦ Level control ♦ reactive programs ♦ PLC applications
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.
Description Author affiliation: Christian Doppler Lab. for Automated Software Eng., Johannes Kepler Univ., Linz, Austria (Prahofer, H.; Wirth, C.; Berger, R.)
ISBN 9781479907526
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2013-07-29
Publisher Place Germany
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 969.32 kB
Page Count 8
Starting Page 564
Ending Page 571


Source: IEEE Xplore Digital Library