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