%0 Conference Paper %1 5549586 %A Prähofer, Herbert %A Schatz, Roland %A Wirth, Christian %A Mössenböck, Hanspeter %B Industrial Informatics (INDIN), 2010 8th IEEE International Conference on %D 2010 %K Concurrency ControlSoftware Debugging Determinism Deterministic %P 1110--1117 %R 10.1109/INDIN.2010.5549586 %T Deterministic Replay Debugging of IEC 61131-3 SoftPLC programs %X Determimstic Replay Debugging is an approach to finding field failures in application runs. It records an application run so that it can be replayed deterministically in a development system for debugging purposes without connection to a physical environment. In this paper, we present a solution for deterministic replay debugging of hard real-time SoftPLC applications written in the IEC 61131-3 languages. By taking advantage of the special properties of these programs and by careful engineering, our technique allows recording a SoftPLC application run with minimal overhead and obeying real-time constraints. In later phases, which are off-line, the original program run is reconstructed to be replayed for debugging. We present the conceptual basis of our approach, a tool chain including a time-traveling debugger, and an evaluation as well as an industrial case study for validating the approach.

@inproceedings{5549586, abstract = {Determimstic Replay Debugging is an approach to finding field failures in application runs. It records an application run so that it can be replayed deterministically in a development system for debugging purposes without connection to a physical environment. In this paper, we present a solution for deterministic replay debugging of hard real-time SoftPLC applications written in the IEC 61131-3 languages. By taking advantage of the special properties of these programs and by careful engineering, our technique allows recording a SoftPLC application run with minimal overhead and obeying real-time constraints. In later phases, which are off-line, the original program run is reconstructed to be replayed for debugging. We present the conceptual basis of our approach, a tool chain including a time-traveling debugger, and an evaluation as well as an industrial case study for validating the approach.}, added-at = {2015-02-24T13:45:15.000+0100}, author = {Pr\"ahofer, Herbert and Schatz, Roland and Wirth, Christian and M\"ossenb\"ock, Hanspeter}, biburl = {https://www.bibsonomy.org/bibtex/2fe66703976abd1cfa5a4b696134c3982/gron}, booktitle = {Industrial Informatics (INDIN), 2010 8th IEEE International Conference on}, description = {IEEE Xplore Abstract - Deterministic Replay Debugging of IEC 61131-3 SoftPLC programs}, doi = {10.1109/INDIN.2010.5549586}, interhash = {69c560077531261f3252b9d5e33f1c1c}, intrahash = {fe66703976abd1cfa5a4b696134c3982}, keywords = {Concurrency ControlSoftware Debugging Determinism Deterministic}, month = {July}, pages = {1110--1117}, timestamp = {2015-02-24T13:45:15.000+0100}, title = {Deterministic Replay Debugging of IEC 61131-3 SoftPLC programs}, year = 2010 }