Modelling and analysis of the split phase multi-channel MAC approach

Authors:
Abdelaziz El Fatni
Affiliations:
University of Toulouse, Toulouse, France
Venue:
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
Year:
2012

Citing 11
Cited 0

Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets

Performance Evaluation
Communication and Concurrency

Communication and Concurrency
Performance Modelling with Deterministic and Stochostic Petri Nets

Performance Modelling with Deterministic and Stochostic Petri Nets
Modelling with Generalized Stochastic Petri Nets

ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Concept of Quantified Abstract Quotient Automaton and its Advantage

FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
A New Multi-Channel MAC Protocol with On-Demand Channel Assignment for Multi-Hop Mobile Ad Hoc Networks

ISPAN '00 Proceedings of the 2000 International Symposium on Parallel Architectures, Algorithms and Networks
Multi-channel mac for ad hoc networks: handling multi-channel hidden terminals using a single transceiver

Proceedings of the 5th ACM international symposium on Mobile ad hoc networking and computing
SSCH: slotted seeded channel hopping for capacity improvement in IEEE 802.11 ad-hoc wireless networks

Proceedings of the 10th annual international conference on Mobile computing and networking
Comparison of Multichannel MAC Protocols

IEEE Transactions on Mobile Computing
Formal modelling and verification of the common hopping multi-channel MAC protocols

Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems
Analytical modeling of bidirectional multi-channel IEEE 802.11 MAC protocols

International Journal of Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The throughput of wireless networks can be improved significantly by using multiple channels communications in MAC protocols. However, due to the multi-channel environment, a novel issue must be addressed in MAC protocols which is called the channel assignment. Such mechanism decides which channel can be used for data transmission. There are many variations for the channel assignment which have been defined and studied in the literature. In this paper we propose a formal modelling and analysis of the multi-channel MAC protocols based on the Split Phase Approach (SPA) using Stochastic Timed Petri Net (STPN). We analyze qualitatively and quantitatively this approach. Firstly, we verify the properties inherent to the typical characteristics of the split phase approach. Secondly, we analyze quantitatively the benefit of this approach in terms of the network throughput with respect to a single channel MAC approach.