Name
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. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/INDIN.2013.6622946 | 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) |
Keywords | Field | DocType |
PLC applications, reverse engineering, reactive programs, visualization, dynamic analysis | Data visualization,Systems engineering,Visualization,Computer science,Program behavior,Reverse engineering,Real-time computing,State model,Programmable logic controller,Dynamic program analysis | Conference |
ISSN | Citations | PageRank |
1935-4576 | 2 | 0.46 |
References | Authors | |
15 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Herbert Prähofer | 1 | 189 | 17.00 |
| Christian Wirth | 2 | 76 | 6.67 |
| Richard Berger | 3 | 2 | 0.46 |