DocumentCode :
2177098
Title :
A compositional approach to monitoring distributed systems
Author :
Zulkernine, Mohammad ; Seviora, Rudolph E.
Author_Institution :
Bell Canada Software Reliability Lab., Waterloo Univ., Ont., Canada
fYear :
2002
fDate :
2002
Firstpage :
763
Lastpage :
772
Abstract :
This paper proposes a specification-based monitoring approach for automatic run-time detection of software errors and failures of distributed systems. The specification is assumed to be expressed in communicating finite state machines based formalism. The monitor observes the external I/O and partial state information of the target distributed system and uses them to interpret the specification. The approach is compositional as it achieves global monitoring by combining the component-level monitoring. The core of the paper describes the architecture and operations of the monitor The monitor includes several independent mechanisms, each tailored to detecting specific kinds of errors or failures. Their operations are described in detail using illustrative examples. Techniques for dealing with nondeterminism and concurrency issues in monitoring a distributed system are also discussed with respect to the considered model and specification. A case study describing the application of the prototype monitor to an embedded system is presented.
Keywords :
distributed processing; embedded systems; fault tolerant computing; finite state machines; performance evaluation; automatic run-time detection; component-level monitoring; compositional approach; concurrency issues; distributed systems monitoring; embedded system; finite state machines based formalism; nondeterminism; partial state information; prototype monitor; software errors; specification-based monitoring approach; Automata; Computer errors; Computerized monitoring; Concurrent computing; Condition monitoring; Laboratories; Runtime; Software reliability; Software systems; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on
Print_ISBN :
0-7695-1101-5
Type :
conf
DOI :
10.1109/DSN.2002.1029022
Filename :
1029022
Link To Document :
بازگشت