A probe effect in concurrent programs
Software—Practice & Experience
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
Clock synchronization in distributed real-time systems
IEEE Transactions on Computers - Special Issue on Real-Time Systems
A software instruction counter
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
ACM Computing Surveys (CSUR)
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging
IEEE Transactions on Software Engineering
HARTS: A Distributed Real-Time Architecture
Computer - Special issue on real-time systems
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
Monitoring and debugging distributed real-time programs
Software—Practice & Experience
Fundamental issues in testing distributed real-time systems
Real-Time Systems - Special issue: dependability of real-time software
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Replaying Distributed Programs Without Message Logging
HPDC '97 Proceedings of the 6th IEEE International Symposium on High Performance Distributed Computing
Handling Interrupts in Testing of Distributed Real-Time Systems
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Towards Systematic Testing of Distributed Real-Time Systems
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Replay debugging for distributed applications
ATEC '06 Proceedings of the annual conference on USENIX '06 Annual Technical Conference
Transparent, lightweight application execution replay on commodity multiprocessor operating systems
Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Trace recording for embedded systems: lessons learned from five industrial projects
RV'10 Proceedings of the First international conference on Runtime verification
Ji.Fi: visual test and debug queries for hard real-time
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Hi-index | 0.00 |
Cyclic debugging is one of the most important and most commonly used activities in program development. During cyclic debugging, the program is repeatedly reexecuted to track down errors when a failure has been observed. This process necessitates reproducible program executions. Applying classical debugging techniques such using breakpoints or single stepping in real-time systems change the temporal behavior and make reproduction of the observed failure during debugging less likely, if not impossible. Consequently, these techniques are not directly applicable for cyclic debugging of real-time systems. In this paper we present a novel software-based approach for cyclic debugging of distributed real-time systems. By on-line recording significant system events, and off-line deterministically replaying them, we can inspect the real-time system in great detail while still preserving its real-time behavior.