%0 Conference Paper %1 Prahofer:2010:DHE %A Prähofer, Herbert %A Schatz, Roland %A Wirth, Christian %B Proceedings of the Eighth International Workshop on Dynamic Analysis %D 2010 %I ACM %K ControlSoftware Debugging Tracing %P 14--19 %R 10.1145/1868321.1868324 %T Detection of High-level Execution Patterns in Reactive Behavior of Control Programs %X This paper presents an approach to extract high-level patterns from traces of programmable logic control (PLC) programs recorded with a deterministic replay debugging tool. Our deterministic replay debugging works by recording an application run in real-time with minimal overhead so that it can be reproduced afterwards. In a subsequent phase, the application is replayed in offline mode to produce a more detailed trace log with additional information about the application run. A software developer can replay the program in a debugger and use debugger features to analyze the program run and locate errors. However, due to the vast amount of data and the complex behavior of reactive control programs, a normal debugger is usually only a poor support in comprehending the program behavior. In this paper we present an approach to analyze recorded program runs of PLC applications. We present a technology to visualize the reactive behavior of a program run and find recurring high-level execution patterns in long-running applications. We give an overview of possible application scenarios to support program comprehension, testing, and debugging. %@ 978-1-4503-0137-4

@inproceedings{Prahofer:2010:DHE, abstract = {This paper presents an approach to extract high-level patterns from traces of programmable logic control (PLC) programs recorded with a deterministic replay debugging tool. Our deterministic replay debugging works by recording an application run in real-time with minimal overhead so that it can be reproduced afterwards. In a subsequent phase, the application is replayed in offline mode to produce a more detailed trace log with additional information about the application run. A software developer can replay the program in a debugger and use debugger features to analyze the program run and locate errors. However, due to the vast amount of data and the complex behavior of reactive control programs, a normal debugger is usually only a poor support in comprehending the program behavior. In this paper we present an approach to analyze recorded program runs of PLC applications. We present a technology to visualize the reactive behavior of a program run and find recurring high-level execution patterns in long-running applications. We give an overview of possible application scenarios to support program comprehension, testing, and debugging.}, acmid = {1868324}, added-at = {2015-02-24T13:34:06.000+0100}, author = {Pr\"{a}hofer, Herbert and Schatz, Roland and Wirth, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2465b5d2523d40effd2379b6a1fecefdc/gron}, booktitle = {Proceedings of the Eighth International Workshop on Dynamic Analysis}, description = {Detection of high-level execution patterns in reactive behavior of control programs}, doi = {10.1145/1868321.1868324}, interhash = {ba7366fedf70d9a05b60c2a23a5ae696}, intrahash = {465b5d2523d40effd2379b6a1fecefdc}, isbn = {978-1-4503-0137-4}, keywords = {ControlSoftware Debugging Tracing}, location = {Trento, Italy}, numpages = {6}, pages = {14--19}, publisher = {ACM}, series = {WODA '10}, timestamp = {2015-02-24T13:34:06.000+0100}, title = {Detection of High-level Execution Patterns in Reactive Behavior of Control Programs}, year = 2010 }