Title :
Behavioral model synthesis of PLC programs from execution traces
Author :
Prahofer, Herbert ; Schatz, Roland ; Grimmer, Andreas
Author_Institution :
Inst. for Syst. Software, Johannes Kepler Univ. Linz, Linz, Austria
Abstract :
Dynamic program analysis is a technique which records a program execution for the purpose of analyzing its behavior and building high-level models and views. This paper presents an approach to build a high-level model of the behavior of a PLC program component as observed in a program execution. Based on a deterministic record and replay technique, a model is synthesized which represents the transition behavior, timing information, and input output behavior of the component. Then this model can be used to check other executions of the same or similar programs for compliance with the model. We present the synthesis techniques and two variants of trace analysis algorithms.
Keywords :
program diagnostics; programmable controllers; PLC programs; behavioral model synthesis; dynamic program analysis; execution traces; input output behavior; program execution; synthesis techniques; timing information; trace analysis algorithms; transition behavior; Algorithm design and analysis; Analytical models; Buildings; Filling; Performance analysis; Timing; Trajectory; dynamic analysis; model synthesis; programmable logic controllers; reverse engineering; trace analysis;
Conference_Titel :
Emerging Technology and Factory Automation (ETFA), 2014 IEEE
Conference_Location :
Barcelona
DOI :
10.1109/ETFA.2014.7005259
