ACM SIGCOMM Computer Communication Review
The causal ordering abstraction and a simple way to implement it
Information Processing Letters
Automatic verification of requirements implementation
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
Management of CORBA objects monitoring for the Multiware platform
ICODP/ICDP '97 Proceedings of the IFIP/IEEE international conference on Open distributed processing and distributed platforms
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A scalable monitoring architecture for managing distributed multimedia systems
Proceedings of the IEEE/IFIP TC6/WG6.4/WG6.6 International Conference on Management of Multimedia Networks and Services
Testing Temporal Logic Properties in Distributed Systems
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Concurrent runtime monitoring of formally specified programs
Concurrent runtime monitoring of formally specified programs
Design and Implementation of a Framework for Monitoring Distributed Component Interactions
IDMS '00 Proceedings of the 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services
Applying the composition filter model for runtime verification of multiple-language software
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Hi-index | 0.00 |
In this paper we present a method to perform run-time monitoring of distributed applications built on top of a distributed object oriented processing environment. For this, we instrument the code at the compilation time in order to send notifications to an Observer when relevant events occur in the system; the instrumentation is done in an automated manner, requiring a minimum of programmer interactions. One advantage of our run-time monitoring approach is that it does not hinder the development process already adopted. In our proposal, the choice of the information to select for observation is made simple by the definition of events which are generic and useful for all distributed applications; the user does not need to specify them. We apply our run-time monitoring method to a telecommunication service implemented on top of the distributed processing environment CORBA Orbix™ from IONA.