DocumentCode
1816903
Title
A tool for trace visualization and offline debugging of PLC applications
Author
Berger, Rudolf ; Prahofer, Herbert ; Wirth, Christian ; Schatz, Roland
Author_Institution
Christian Doppler Lab. for Automated Software Eng., Johannes Kepler Univ., Linz, Austria
fYear
2012
fDate
17-21 Sept. 2012
Firstpage
1
Lastpage
8
Abstract
This paper describes a tool for offline debugging and trace visualization of PLC applications. Based on trace data obtained by a deterministic replay technology for multi-threaded Soft PLC applications, the tool allows visualizing an application run in its various aspects and on various levels of abstraction. Each view shows a different level of detail, allowing the user to dive into the program from high-level views showing abstract program behavior to low-level views showing each executed statement or variable value in detail. With a set of views the tool supports the user to get an overview of the program execution, to identify abnormal program behavior, to discover the causes for program failures, and finally to locate defects in the source code. The paper presents the conceptional background of the approach, shows how program runs can be visualized, and how they can be analysed in detail. Then it demonstrates how the the tool supports a debugging process by an illustrative example.
Keywords
multi-threading; program debugging; program visualisation; programmable controllers; system recovery; abnormal program behavior identification; abstract program behavior; application run visualization; defect location; deterministic replay technology; multithreaded soft PLC applications; offline debugging process; program execution; program failures; source code; trace visualization; PLC applications; control systems; debugging; dynamic analysis; reactive behavior; software tracing;
fLanguage
English
Publisher
ieee
Conference_Titel
Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference on
Conference_Location
Krakow
ISSN
1946-0740
Print_ISBN
978-1-4673-4735-8
Electronic_ISBN
1946-0740
Type
conf
DOI
10.1109/ETFA.2012.6489785
Filename
6489785
Link To Document