By Topic

A method for specifying, implementing, and verifying media access control protocols

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Brooks, C.A. ; Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA ; Cieslak, R. ; Varaiya, P.

A successful approach to problems of protocol specification, implementation, and verification is presented. Protocols are specified in a language called LIFP (Language for Implementing Fast Protocols) which is based on a model of interacting state machines. A compiler translates LIFP specifications into code that can be executed on PNPS (programmable network prototyping system), an experimental network emulator developed at the University of California at Berkeley. Verification of a LIFP control is facilitated by a debugger that simulates both PNPS hardware and the network environment in which the protocol is supposed to operate. This approach is compared with others (SPANNER and ESTELLE). Some aspects of the problem of protocol design allow it to be usefully viewed as one of supervisory control of a discrete event system. However, other aspects of protocol design show that current theories of supervisory control are inadequate.<>

Published in:

Control Systems Magazine, IEEE  (Volume:10 ,  Issue: 4 )