PRISM models of WiFi networks based on the RTS/CTS version of IEEE 802.11 MAC

This page contains the following files to download:

• • rtscts_s2.pm: template DTMC PRISM model representing a network of 2 stations exchanging packets using the RTS/CTS mechanism of the IEEE 802.11 Distributed Coordination Function of MAC protocol. 

  • rtscts.pctl: PRISM properties files, containing the definition of a number of reward-based PCTL specifications that can be used to performance analysis of the rtscts_s2.pm model.

  • generatePmFileWithMoreStations_v7.py: a python script for generating  PRISM DTMC models representing networks with an arbitrary number N of stations. This script requires file rtscts_s2.pm and generate rtscts_sN.pm where N is passed as an argument to the script. 

These models have been developed by Nicolas Vasselin (master student @CentraleSupelec)