An approach to evaluating the performance of communication protocols based on formal specifications

Author

Zhang, Sijian ; Chanson, Samuel T.

Author_Institution

Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada

fYear

1993

fDate

19-22 Oct 1993

Firstpage

358

Lastpage

366

Abstract

This paper proposes an approach to modeling and evaluating the performance of communication protocols based on formal specifications. A combined extended finite state machine (EFSM) and queueing network model is presented which is more sophisticated than either technique alone. Furthermore, the model avoids the state space explosion problem which may arise by the use of reachability analysis on an EFSM. The approach is illustrated using a simple sliding window protocol written in the formal description technique Estelle

Keywords

finite state machines; formal specification; performance evaluation; protocols; queueing theory; specification languages; telecommunication computing; EFSM; Estelle; communication protocols; extended finite state machine; formal description technique; formal specifications; performance evaluation; queueing network model; sliding window protocol; Automata; Automatic testing; Explosions; Formal specifications; Logic; Network servers; Performance analysis; Protocols; Reachability analysis; State-space methods;

fLanguage

English

Publisher

ieee

Conference_Titel

Network Protocols, 1993. Proceedings., 1993 International Conference on

Conference_Location

San Francisco, CA

Print_ISBN

0-8186-3670-X

Type

conf

DOI

10.1109/ICNP.1993.340891

Filename

340891