DMCA
Probing and Fault Injection of Dependable Distributed Protocols (1995)
| Venue: | The Computer Journal |
| Citations: | 7 - 0 self |
BibTeX
@ARTICLE{Dawson95probingand,
author = {Scott Dawson and Farnam Jahanian},
title = {Probing and Fault Injection of Dependable Distributed Protocols},
journal = {The Computer Journal},
year = {1995},
volume = {38},
pages = {286--300}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper presents a technique for probing and fault injection of fault-tolerant distributed protocols. The proposed technique, called script-driven probing and fault injection, can be used for studying the behavior of distributed systems and for detecting design and implementation errors of faulttolerant protocols. The focus of this work is on fault injection techniques that can be used to demonstrate three aspects of a target protocol: i) detection of design or implementation errors, ii) identification of violations of protocol specifications, and iii) insight into design decisions made by the implementors. The emphasis of our approach is on experimental techniques intended to identify specific "problems" in a protocol or its implementation rather than the evaluation of system dependability through statistical metrics such as fault coverage. To demonstrate the capabilities of this technique, the paper describes a probing and fault injection tool, called the PFI tool (Probe/Fault Injection Tool), and a summary of several extensive experiments that studied the behavior of two protocols: the Transmission Control Protocol (TCP) (Braden, 1989, Postel, 1981) and a group membership protocol (GMP) (Jahanian et al., 1993). 1. INTRODUCTION
Keyphrases
fault injection dependable distributed protocol implementation error fault injection tool jahanian et al probe fault injection tool group membership protocol target protocol transmission control protocol distributed system script-driven probing system dependability several extensive experiment faulttolerant protocol fault coverage protocol specification experimental technique fault injection technique design decision specific problem pfi tool fault-tolerant distributed protocol statistical metric
