loading...
A robust transport protocol for run-time fault detection
Tokyo, Japan November 07-November 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524831Third International Conference on Net ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
G. Noubir, Dept. of Comput. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
K. Vijayananda, Dept. of Comput. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
H.J. Nussbaumer, Dept. of Comput. Eng., Swiss Federal Inst. of Technol., Lausanne, Switzerland
Run-time fault detection in communication protocols is essential to detect faults that cannot be detected during the testing phase. We propose a signature-based method to detect run-time faults. A polynomial using the state and event information as coefficients is used to transform a sequence of states and events into a number (signature). The static signature corresponding to the correct execution of the protocol is compared with the run-time signature. This technique is more reliable, faster, and efficient compared to existing techniques. The states and events are assigned values such that multiple paths leading to the same state result in a unique signature. This reduces the number of comparisons required to verify the correct execution of the protocol. In this paper, we present eXTP4, an extended transport layer protocol that facilitate run-time fault detection
Index Terms:
transport protocols; fault tolerant computing; robust transport protocol; run-time fault detection; communication protocols; signature-based method; run-time faults; eXTP4; extended transport layer protocol; static signature; states and events
Citation:
G. Noubir, K. Vijayananda, H.J. Nussbaumer, "A robust transport protocol for run-time fault detection," icnp, pp.164, Third International Conference on Network Protocols (ICNP'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.