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

fYear

2014

fDate

16-19 Sept. 2014

Firstpage

1

Lastpage

5

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technology and Factory Automation (ETFA), 2014 IEEE

Conference_Location

Barcelona

Type

conf

DOI

10.1109/ETFA.2014.7005259

Filename

7005259