Herbert Prähofer, Roland Schatz, Andreas Grimmer,
"Behavioral Model Synthesis of PLC Programs from Execution Traces"
: 2014 IEEE Emerging Technology and Factory Automation (ETFA), IEEE, 2014, ISBN: 978-1-4799-4845-1
Original Titel:
Behavioral Model Synthesis of PLC Programs from Execution Traces
Sprache des Titels:
Englisch
Original Buchtitel:
2014 IEEE Emerging Technology and Factory Automation (ETFA)
Original Kurzfassung:
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.