First International Workshop on Formal Methods for Wireless Systems

Aladdin Masri's picture
Research Title: 
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets
Authors: 
Aladdin Masri,
Authors: 
Thomas Bourdeaud'huy
Authors: 
Armand Toguyeni
Country: 
Canada
Date: 
Sat, 2008-08-23
AttachmentSize
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets599.35 KB
Research Abstract: 

Communication protocols are often investigated using simulation. This paper presents a performance study of the distributed coordination function of 802.11 networks. Firstly, our study illustrates the different classes of Petri Nets used for modeling network protocols and their robustness in modeling based on formal methods. Next we propose a detailed 802.11b model based on Object-oriented Petri Nets that precises backoff  procedure and time synchronization. Then, performance analyses are evaluated by simulation for a dense wireless network and compared with other measurements approaches. Our main goal is to propose a modular model that will enable to evaluate the impact of network performances on the performances of distributed discrete event systems.