Reverse Engineering and Visualization of the Reactive Behavior of PLC Applications

Beschreibung

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.

Zeitraum	31 Juli 2013
Ereignistitel	Industrial Informatics (INDIN), 2013 11th IEEE International Conference on
Veranstaltungstyp	Konferenz
Ort	DeutschlandAuf Karte anzeigen