Efficient Automated Protocol Implementation Using RTAG

Diane Hernek and David P. Anderson

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-89-526
August 1989

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/CSD-89-526.pdf

RTAG is a system for automated implementation of communication protocols from formal specifications. The RTAG specification language is based on attribute grammars, and allows complex protocols to be specified concisely and with minimal need for additional program code. This paper describes a set of techniques for efficient automated implementation of protocols from RTAG specifications, and compares the performance to that of hand-coded protocol implementations. We conclude that in many cases the performance of RTAG-based protocol implementation is acceptable for experimental or production uses.

BibTeX citation:

@techreport{Hernek:CSD-89-526,
    Author = {Hernek, Diane and Anderson, David P.},
    Title = {Efficient Automated Protocol Implementation Using RTAG},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1989},
    Month = {Aug},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/5268.html},
    Number = {UCB/CSD-89-526},
    Abstract = {RTAG is a system for automated implementation of communication protocols from formal specifications. The RTAG specification language is based on attribute grammars, and allows complex protocols to be specified concisely and with minimal need for additional program code.  This paper describes a set of techniques for efficient automated implementation of protocols from RTAG specifications, and compares the performance to that of hand-coded protocol implementations.  We conclude that in many cases the performance of RTAG-based protocol implementation is acceptable for experimental or production uses.}
}

EndNote citation:

%0 Report
%A Hernek, Diane
%A Anderson, David P.
%T Efficient Automated Protocol Implementation Using RTAG
%I EECS Department, University of California, Berkeley
%D 1989
%@ UCB/CSD-89-526
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/5268.html
%F Hernek:CSD-89-526