# Performance modelling of access control mechanisms for local and vehicular wireless networks

## TL;DR

This paper develops a comprehensive performance model for CSMA/CA-based wireless networks, including WLANs and VANETs, enabling analysis of key performance metrics under various conditions using statistical model checking.

## Contribution

It introduces a flexible modeling framework that handles large networks, diverse traffic, and channel conditions, advancing performance analysis of wireless communication systems.

## Key findings

- Model accurately predicts network performance metrics.
- Framework supports large-scale and diverse network configurations.
- Statistical model checking effectively evaluates KPIs.

## Abstract

Carrier sense multiple access collision avoidance (CSMA/CA) is the basic scheme upon which access to the shared medium is regulated in many wireless networks. With CSMA/CA a station willing to start a transmission has first to find the channel free for a given duration otherwise it will go into \emph{backoff}, i.e. refraining for transmitting for a randomly chosen delay. Performance analysis of a wireless network employing CSMA/CA regulation is not an easy task: except for simple network configuration analytical solution of key performance indicators (KPI) cannot be obtained hence one has to resort to formal modelling tools. In this paper we present a performance modelling study targeting different kind of CSMA/CA based wireless networks, namely: the IEEE 802.11 Wireless Local Area Networks (WLANs) and the 802.11p Vehicular Ad Hoc Networks (VANETs), which extends 802.11 with priorities over packets. The modelling framework we introduce allows for considering: i) an arbitrarily large number of stations, ii) different traffic conditions (saturated/non-saturated), iii) different hypothesis concerning the shared channel (ideal/non-ideal). We apply statistical model checking to assess KPIs of different network configurations.