A compositional approach to monitoring distributed systems

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2002, Pages 763-772

  Zulkernine, Mohammad ^a   Seviora, Rudolph E ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC RUN TIME DETECTION; COMPONENT LEVEL MONITORING; FINITE STATE MACHINES; SOFTWARE ERRORS;

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; EMBEDDED SYSTEMS; ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS; FINITE AUTOMATA; MATHEMATICAL MODELS; MONITORING; RESPONSE TIME (COMPUTER SYSTEMS);

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0036922301     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2002.1029022     Document Type: Conference Paper

References (21)

1. Z. Yang and T. Marsland, eds., Global States and Time in Distributed Systems, IEEE Computer Society Press, 1994.
2. D. Kuhn, "Sources of Failure in the Public Switched Telephone Network," IEEE Computer, vol.30, no. 4, pp. 31-36, April 1997.
3. W.P. de Roever, "The Need for Compositional Proof Systems: A Survey," Lecture Notes in Computer Science, vol. 1536, pp. 1-22, Springer-Verlag, 1997.
4. IEEE, Software Engineering: Customer and Terminology Standards, vol. 1, IEEE, 1999.
5. J. Laprie, Dependability: Basic Concepts and Terminology - In English, French, German, and Japanese, Vienna, Springer-Verlag, 1992.
6. P. Jalote, Fault Tolerance in Distributed Systems, Prentice Hall, New Jersy, 1994.
7. L. Moser, P. Melliar-Smith, and P. Narasimhan, "Consistent Object Replication in the Eternal System," Theory and Practice of Object Systems, vol. 4, no. 2, pp. 81-92, 1998.
8. B. Raman, H. Wang, J. Shih, A. Joseph, and R. Katz, "The Iceberg Project: Defining the IP and Telecom Intersection," IEEE IT Professional, pp. 38-45, vol. 1, no. 6, Nov./Dec. 1999.
9. K. Murakami, R. Buskens, R. Ramjee, Y.-J. Lin, and T. La-Porta; "Design, Implementation, and Analysis of a Highly Available Distributed Call Processing System," Proc. of the IEEE FTCS, Germany, June 1998.
10. S. Bagchi, B. Srinivasan, K. Whisnant, Z. Kalbarczyk, and R. Iyer, "Hierarchical Error Detection in a Software Implemented Fault Tolerance (SIFT) Environment," IEEE Transactions on Knowledge and Data Engineering, vol. 12, no. 2, pp. 203-224, March/April 2000.
11. Z. Kalbarczyk, R. Iyer, S. Bagchi, and K. Whisnant, "Chameleon: A Software Infrastructure for Adaptive Fault Tolerance," IEEE Trans. on Parallel and Distributed Systems, vol. 10, no.6, pp. 560-579, June 1999.
12. M. Diaz, G. Juanole, and J. Courtiat, "Observer - a concept for formal on-line validation of distributed systems," IEEE Transactions on Software Engineering, vol. 20, no. 12, pp. 900-913, December 1994.
13. C. Wang and M. Schwartz, "Fault Detection with multiple observers," IEEE/ACM Transactions on Networking, vol. 1, no.1 pp. 48-55, February 1993.
14. M. Barnett and W. Schulte, "Spying on Components: A Runtime Verification Technique in Specification and Verification of Component-Based Systems," Proc. of the Workshop on Specification and Verification of Component Based Systems - OOPSLA '2001, Tampa, Florida, USA, October 2001.
15. M. Barnett, L. Nachmanson, and W. Schulte, "Conformance Checking of Components Against Their Non-deterministic Specifications," Technical Report MSR-TR-2001-56, Microsoft Research, June 2001.
16. J. Li and R. Seviora, "Automatic Failure Detection with Conditional Belief Supervisors," Proc. of the 7th International Symposium on Software Reliability Engineering, IEEE CS Press pp. 4-13, October 1996.
17. T. Savor and R. Seviora, "Toward Automatic Detection of Software Failures," IEEE Computer, vol. 21, no. 8, pp. 68-74, August 1998.
18. L. Jagadeesan, A. Porter, C. Puchol, J. Ramming, and L. Votta, "Specification-Based Testing of Reactive Software: A Case Study in Technology Transfer," Journal of Software and Systems, 40:249-262, March 1998.
19. ITU-T, Recommendation Z.100, Specification and Description Language - SDL, ITU-Telecommunication Standardization Sector, Geneva, Switzerland, 2000.
20. D. Bear, Principles of Telecommunication-Traffic Engineering, IEE Telecommunication Series 2, Peter Peregrinus Ltd., pp. 192-200, London, England, 1988.
21. D. Sidhu and T. Leung, "Formal Methods for Protocol Testing: A Detailed Study," IEEE Transactions on Software Engineering, 15(4):413-426, April 1989.