LAN protocol modelling and performance evaluation

Maria C. Yuang*, S. J. Hsu

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations


Medium Access Control (MAC) protocols for Local Area Networks (LANs), yielding minimal delay and maximal throughput, have emerged as essential for supporting real-time applications. Design and performance analysis of these protocols have been informal and ad hoc. Such informal methods lead to ambiguities and result in time-consuming redesign should errors occur. This paper presents a formal method of modelling and performance evaluation for LAN protocols based on an Extended Finite State Machine (EFSM) model. Initially, this paper describes the EFSM model embodying the specification of delay, probability, and exclusive use of resources. From the EFSM representation of the protocol, a so-called timed-expanded tree is constructed. Based on the constructed tree, this paper presents the throughput evaluation upon having verified that the protocol preserves a particular property referred to as cyclicity. Consequently, LAN protocols can be formally and automatically modelled and analyzed.

Original languageEnglish
Title of host publicationConference Record - International Conference on Communications
PublisherPubl by IEEE
Number of pages5
ISBN (Print)0780318269
StatePublished - 1 Jan 1994
EventProceedings of the 1994 IEEE International Conference on Communications - New Orleans, LA, USA
Duration: 1 May 19945 May 1994

Publication series

NameConference Record - International Conference on Communications
ISSN (Print)0536-1486


ConferenceProceedings of the 1994 IEEE International Conference on Communications
CityNew Orleans, LA, USA

Fingerprint Dive into the research topics of 'LAN protocol modelling and performance evaluation'. Together they form a unique fingerprint.

Cite this