Behavioral Model Synthesis of PLC Programs from Execution Traces
Sprache des Titels:
2014 IEEE Emerging Technology and Factory Automation (ETFA)
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.