Paper Info
Title
Detection of high-level execution patterns in reactive behavior of control programs
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.
Year
DOI
Venue
2010
10.1145/1868321.1868324
WODA
Keywords
Field
DocType
long-running application,program comprehension,program behavior,high-level execution pattern,possible application scenario,program run,reactive control program,deterministic replay,plc application,reactive behavior,application run,complex behavior,programmable logic,software development,real time systems,real time
Programming language,Computer science,Program behavior,Debugger,Real-time computing,Software,Programmable logic controller,Program comprehension,Reactive control,Debugging,Algorithmic program debugging
Conference
Citations 
PageRank 
References 
3
0.52
11
Authors
3
Name
Order
Citations
PageRank
Herbert Prähofer118917.00
Roland Schatz2858.95
Christian Wirth3766.67