A distributed programs monitor for Berkeley UNIX
Software—Practice & Experience
Monitoring distributed systems
ACM Transactions on Computer Systems (TOCS)
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
Handling Timing Errors in Distributed Programs
IEEE Transactions on Software Engineering
A mechanism for efficient debugging of parallel programs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Debugging concurrent processes: a case study
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
A software instruction counter
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
A real-time monitor for a distributed real-time operating system
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
IGOR: a system for program debugging via reversible execution
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Performance Measurement for Parallel and Distributed Programs: a Structured and Automatic Approach
IEEE Transactions on Software Engineering
A Hybrid Monitor for Behavior and Performance Analysis of Distributed Systems
IEEE Transactions on Software Engineering
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
DPM: A Measurement System for Distributed Programs
IEEE Transactions on Computers
Measuring simultaneous events in a multiprocessor system
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
A bibliography of parallel debuggers, 1993 edition
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Testing races in parallel programs with an OtOt strategy
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
IEEE Transactions on Software Engineering
Using interaction networks for visualisation of message passing
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Dynamic analysis for locating product features in Ada code
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Computer
On-Line Monitoring: A Tutorial
Computer
Debugging for Timing-Constraint Violations
IEEE Software
Task decomposition testing and metrics for concurrent programs
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Detection of Response Time Failures of Real-Time Software
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Automatic processor customization for zero-overhead online software verification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
FlashBox: a system for logging non-deterministic events in deployed embedded systems
Proceedings of the 2009 ACM symposium on Applied Computing
Tracing interrupts in embedded software
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Using deterministic replay for debugging of distributed real-time systems
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Past time LTL runtime verification for microcontroller binary code
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Automated test-trace inspection for microcontroller binary code
RV'11 Proceedings of the Second international conference on Runtime verification
Tracing and recording interrupts in embedded software
Journal of Systems Architecture: the EUROMICRO Journal
Runtime verification of microcontroller binary code
Science of Computer Programming
| Hi-index | 0.01 |
A noninterference monitoring and replay mechanism using the recorded execution history of a program to control the replay of the program behavior and guarantee the reproduction of its errors is presented. Based on this approach, a noninterference monitoring architecture has been developed to collect the program execution data of a target real-time software system without affecting its execution. A replay mechanism designed to control the reproduction of the program behavior as well as the examination of the states of the target system and its behavior is presented. The monitoring system has been implemented using a Motorola 68000 computer in a Unix system environment. An example is used to illustrate how the mechanism detects timing errors of real-time software systems.