Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis

Author

El Fatni, Abdelaziz ; Juanole, Guy

Author_Institution

LAAS, Univ. of Toulouse, Toulouse, France

fYear

2012

fDate

7-9 Aug. 2012

Firstpage

485

Lastpage

488

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS), 2012 IEEE 20th International Symposium on

Conference_Location

Washington, DC

ISSN

1526-7539

Print_ISBN

978-1-4673-2453-3

Type

conf

DOI

10.1109/MASCOTS.2012.73

Filename

6298209