A formal protocol conversion method
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
An exercise in deriving a protocol conversion
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Computer Network Architectures and Protocols
Computer Network Architectures and Protocols
IEEE Transactions on Software Engineering
Reachability analysis of protocols with FIFO channels
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Design principles for communication gateways
IEEE Journal on Selected Areas in Communications
Formal methods for protocol conversion
IEEE Journal on Selected Areas in Communications
TACT: a protocol conversion toolkit
IEEE Journal on Selected Areas in Communications
IEEE Journal on Selected Areas in Communications
Review paper: Synthesis of communications protocol converters: survey and assessment
Computer Communications
Hi-index | 0.24 |
The rapid proliferation of computer networks has resulted in numerous homogeneous and heterogeneous networks co-existing today. To achieve interoperability between them, internetworking through the use of gateways has become a priority. The basic problem in designing a heterogeneous internetwork is the mismatch between the internal architectures of the component networks, known as protocol mismatch. An immediate solution is the incorporation of a protocol conversion mechanism into the gateway, giving rise to a heterogeneous protocol system consisting of two incompatible peer processes communicating via a converter sited between them. Verification of this system is necessary to ensure the proper design of the converter and the progress properties of the heterogeneous protocol. Using a communicating finite state machine (CFSM) model, we have studied the dynamics of a general heterogeneous protocol system, and we present a formal procedure to perform a fast reachability analysis of the system for the purposes of its verification. Performing a reachability analysis of a heterogeneous protocol system is a new dimension in protocol converter design, and the verification algorithm presented in this paper - a remarkable improvement upon the conventional technique - employs the reduction approach of a state transition graph representation of the CFSMs involved, hence the name reduced reachability analysis.