Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults
IEEE Transactions on Computers
A high speed transport protocol for datagram/virtual circuit networks
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Abstractions of Finite-State Machines and Immediately-Detectable Output Faults
IEEE Transactions on Computers
Fault detection with multiple observers
IEEE/ACM Transactions on Networking (TON)
Model-based diagnosis of communication protocols
Model-based diagnosis of communication protocols
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
Robust communication protocols for run-time fault detection
ICCC '95 Proceedings of the 12th international conference on computer communication on Information highways : for a smaller world and better living: for a smaller world and better living
Fast Algorithms for Digital Signal Processing
Fast Algorithms for Digital Signal Processing
Concurrent Process Monitoring with No Reference Signatures
IEEE Transactions on Computers
Algebraic techniques for the optimization of control flow checking
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
A robust transport protocol for run-time fault detection
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
An Approach to Concurrent Control Flow Checking
IEEE Transactions on Software Engineering
Model-Based Fault Detection in Powerline Networking
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Network protocol system monitoring: a formal approach with passive testing
IEEE/ACM Transactions on Networking (TON)
CHECKER: on-site checking in RFID-based supply chains
Proceedings of the fifth ACM conference on Security and Privacy in Wireless and Mobile Networks
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
Hi-index | 0.24 |
Run-time fault detection of communication protocols is essential because of faults that occur in the form of coding defects, memory problems and external disturbances. 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 reliable, fast, and efficient compared to the 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 run-time comparisons required to verify the correct execution of the protocol. Fault-detection based on signatures is also much simpler than observer-based methods. We propose extensions to communication protocols that facilitate the application of signature-based techniques to detect run-time faults in communication protocols. In this paper, we present eXTP4, an extended transport layer protocol that facilitates run-time fault detection.