By Topic

Hierarchical performance evaluation based on formally specified communication 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
$33 $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)
E. Heck ; Fachbereich Inf., Dortmund Univ., Germany ; D. Hogrefe ; B. Muller-Clostermann

Combining formal description techniques (FDTs) with performance evaluation (PE) is a requirement known from the `single-specification/multiple-techniques' approach associated with the protocol engineering vision. The approach presented here assumes that a formally defined open systems interconnection (OSI) communication protocol can be syntactically transformed to a form suitable to a performance evaluation tool, and afterwards enhanced by implementation-dependence information on the protocol's resource requirements. Such a module, describing functional and performance behavior of the protocol, can then be embedded in a framework which allows its performance evaluation. This framework comprises an OSI-service provider as a transportation medium, processors providing computing services, and means for communication with the adjacent upper layer by use of associated input and output buffers. The present approach uses concepts from the performance evaluation tool HIT. Its applicability to OSI-communication architectures is sketched by means of the PE-modeling language HI-SLANG and the FD-language SDL

Published in:

IEEE Transactions on Computers  (Volume:40 ,  Issue: 4 )