Behavioral Model Synthesis of PLC Programs from Execution Traces

Herbert Prähofer; Roland Schatz; Andreas Grimmer

Behavioral Model Synthesis of PLC Programs from Execution Traces

Herbert Prähofer
, Roland Schatz
, Andreas Grimmer

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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.

Original language	English
Title of host publication	2014 IEEE Emerging Technology and Factory Automation (ETFA)
Publisher	IEEE
Number of pages	5
ISBN (Print)	978-1-4799-4845-1
Publication status	Published - 2014

Fields of science

102 Computer Sciences
102009 Computer simulation
102011 Formal languages
102013 Human-computer interaction
102022 Software development
102024 Usability research
102029 Practical computer science

JKU Focus areas

Computation in Informatics and Mathematics
Engineering and Natural Sciences (in general)

Cite this

@inproceedings{5d26a41207154a239896c5a0fd8882dd,

title = "Behavioral Model Synthesis of PLC Programs from Execution Traces",

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.",

author = "Herbert Pr{\"a}hofer and Roland Schatz and Andreas Grimmer",

year = "2014",

language = "English",

isbn = "978-1-4799-4845-1",

booktitle = "2014 IEEE Emerging Technology and Factory Automation (ETFA)",

publisher = "IEEE",

}

TY - GEN

T1 - Behavioral Model Synthesis of PLC Programs from Execution Traces

AU - Prähofer, Herbert

AU - Schatz, Roland

AU - Grimmer, Andreas

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - http://www.ssw.jku.at/Research/Papers/

M3 - Conference proceedings

SN - 978-1-4799-4845-1

BT - 2014 IEEE Emerging Technology and Factory Automation (ETFA)

PB - IEEE

ER -

Behavioral Model Synthesis of PLC Programs from Execution Traces

Abstract

Fields of science

JKU Focus areas

Other files and links

Christian Doppler Labor für Monitoring and Evolution of Very-Large-Scale Software Systems

Cite this

Behavioral Model Synthesis of PLC Programs from Execution Traces

Abstract

Fields of science

JKU Focus areas

Other files and links

Projects

Christian Doppler Labor für Monitoring and Evolution of Very-Large-Scale Software Systems

Cite this