We present SMURPH---a software package for modeling communication protocols at the medium access control (MAC) level. SMURPH can be viewed as a combination of a protocol specification language and an event-driven, discrete-time simulator that provides a virtual (but realistic) and controlled environment for protocol execution. This combination yields a protocol prototyping system which can be used for designing low-level communication protocols and investigating their quantitative (performance) and qualitative (correctness) properties. The essential features of SMURPH are illustrated with an example of the well-known alternating-bit protocol. 1 INTRODUCTION SMURPH 1 is an object-oriented programming environment based on C++ for specifying communication protocols and modeling communication networks. By a communication network we understand a configuration of stations interconnected via channels, running a collection of concurrent communicating processes. The distributed algorithm rea..
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.