Download:
|
by Daniel Sabin, Mihaela Sabin, Robert D. Russell, Eugene C. Freuder
In Montanari and Rossi [95
ftp://ftp.cs.unh.edu/pub/csp/Papers/cp95-ds1.ps.gz
Add To MetaCart
Abstract:
Abstract. Distributed software problems can be particularly mystifying to diagnose, for both system users and system administrators. Modelbased diagnosis methods that have been more commonly applied to physical systems can be brought to bear on such software systems. A prototype system has been developed for diagnosing problems in software that controls computer networks. Our approach divides this software into its natural hierarchy of layers, subdividing each layer into three separately modeled components: the interface to the layer above on the same machine, the protocol to the same layer on a remote machine, and the configuration. For each component knowledge is naturally represented in the form of constraints. User interaction modeling is accomplished through the introduction of constraints representing user assumptions, the finitestate machine specification of a protocol is translated to a standard CSP representation and configuration tasks are modeled as dynamic CSPs. Diagnosis is viewed as a partial constraint satisfaction problem (PCSP). A PCSP algorithm has been adapted for use as a diagnostic engine. This paper presents a case study illustrating the diagnosis of some problems involving the widely used FTP and DNS network software. 1
Citations
|
669
|
A theory of diagnosis from first principles
– Reiter
- 1987
|
|
389
|
Partial Constraint Satisfaction
– Freuder, Wallace
- 1992
|
|
318
|
Internetworking with TCP/IP
– Comer
- 1988
|
|
169
|
Dynamic Constraint-Satisfaction Problems
– Mittal, Falkenhainer
- 1990
|
|
120
|
File transfer protocol
– Postel, Reynolds
- 1985
|
|
86
|
Towards a generic model of configuration tasks
– Mittal, Frayman
- 1989
|
|
46
|
OSI reference model – the ISO model of architecture for open systems interconnection
– Zimmermann
- 1980
|
|
41
|
Domain Names: Concepts and Facilities. Request for Comments 1034
– Mockapetris
- 1987
|
|
24
|
Diagnosing and Solving Over-determined Constraint Satisfaction Problems
– Bakker, Dikker, et al.
- 1993
|
|
13
|
TCP/IP network administration. O’Reilly & Associates
– Hunt
- 1992
|
|
12
|
File transfer protocol. Request for Comments (Standard
– Postel, Reynolds
- 1985
|
|
10
|
Model-Based Diagnosis of Communication Protocols
– Riese
- 1993
|
|
7
|
Empirical Evaluation of Diagnosis as Optimization in Constraint Networks
– Fattah, Dechter
- 1992
|
|
5
|
A test suite generation method for extended finite state machines using axiomatic semantics approach, Protocol Specification, Testing and Verification
– Wang, Liu
- 1992
|
|
5
|
Open Systems Interconnection - Basic Reference Model - Part 2: Security Architecture. International Standards Organisation
– ISO
- 1988
|
|
4
|
A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions
– Lin, Wuu
- 1991
|
|
3
|
Troubleshooting TCP/IP
– Miller
- 1993
|
|
3
|
TCP/IP Network Administration. O'Reilly
– Hunt
- 1992
|
|
3
|
Diagnosing Multiple Faults, in: Readings in Model-Based Diagnosis
– Kleer, Williams
- 1992
|
|
2
|
Modeling Fault Management in Communication Networks
– Bouloutas
- 1990
|
|
1
|
Model-based reasoning: Troubleshooting', Readings in Modelbased Diagnosis
– Davis, Hamscher
- 1992
|
|
1
|
Diagnosing multiple faults in finite state machines
– Ghedamsi, Bochmann, et al.
- 1993
|
|
1
|
Empirical Evaluation of Diagnosis as Optimization
– Fattah, Dechter
- 1992
|
|
1
|
Reasoning about Resource Constraints
– Mittal
- 1990
|
|
1
|
Reasoning about resource constraints in configuration tasks
– Mittal
- 1990
|
