Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers

Abstract

Programmable Logic Controller (PLC) programs are programs that control physical devices by continuously reading sensor inputs and writing actuator outputs. A main challenge in designing and comprehending PLC programs is the emergent behavior which arises from the complex interaction between the dynamic behavior of the program and the physical device. In… (More)
DOI: 10.1109/SEAA.2013.37

Topics

6 Figures and Tables

Cite this paper

@article{Schatz2013TraceGuidedSO, title={Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers}, author={Roland Schatz and Herbert Pr{\"a}hofer}, journal={2013 39th Euromicro Conference on Software Engineering and Advanced Applications}, year={2013}, pages={260-267} }