Title :
Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis
Author :
El Fatni, Abdelaziz ; Juanole, Guy
Author_Institution :
LAAS, Univ. of Toulouse, Toulouse, France
Abstract :
The efficiency of multi-channel MAC protocols depends on the channel assignment mechanism which must coordinate the channel usage in a better way. Several multi-channel MAC approaches have been proposed in the literature. In this paper we propose a formal modelling and analysis of the multi-channel MAC protocols based on the Split Phase (SP) approach using Stochastic Timed Petri Nets (STPN). We analyze the fundamental properties of this approach.
Keywords :
Petri nets; access protocols; channel allocation; formal specification; stochastic processes; telecommunication computing; wireless channels; SP approach; STPN; channel assignment mechanism; channel usage; formal analysis; formal modelling; formal specification; fundamental property; multichannel MAC approaches; split phase approach; split phase multichannel MAC protocols; stochastic timed Petri nets; Analytical models; Automata; Availability; Clocks; Data models; Media Access Protocol; Modelling; Multi-channel MAC protocols; Petri Nets; Verification; Wireless networks;
Conference_Titel :
Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS), 2012 IEEE 20th International Symposium on
Conference_Location :
Washington, DC
Print_ISBN :
978-1-4673-2453-3
DOI :
10.1109/MASCOTS.2012.73
