By Topic

An approach for rapid protocol development: experiences with the proposed Fibre Channel Standard

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)
Leff, A. ; IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA ; Ocheltree, K.B. ; Tsai, T.

This paper describes a rapid protocol development approach that enables protocol verification through the design and development stages. Feedback from verification analysis can be very useful to protocol designers, but it is often difficult to stay current with the protocol's development. Our approach facilitates quick turnaround in the development and verification process-even before the protocol is stable. American National Standards Committee X3T9.3 has chartered the development of Fibre Channel (FC), a proposed standard for serial I/O channel capable of supporting a wide range of zipper layer protocols. Despite the complexity of FC, we have used our approach to both verify it and to produce a software and hardware implementation of the protocol. We describe features that enable rapid turnaround in response to revisions of the standard and maintenance of a stable suite of test cases for the standard. The approach has also been applied to other protocols

Published in:

Local Computer Networks, 1994. Proceedings., 19th Conference on

Date of Conference: