Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth

Author

Khoutaif, Tarik ; Juanole, Guy

Author_Institution

Univ. Toulouse-2, Blagnac

fYear

2006

fDate

20-22 Sept. 2006

Firstpage

30

Lastpage

37

Abstract

The goal of this paper is to show the interest of the stochastic timed Petri net (STPN) model for the analysis of the data transfer phase of Bluetooth baseband layer. The contribution is double: at first in terms of the modeling power of the model which is well adapted to represent the complex format of the packets (several parts with their own redundancy and sometimes two levels of redundancy); then in terms of the performances which are evaluated for the different types of data packets (DM(y) and DH(y), with y=(1, 3, 5)) and taking into account for different probabilities of error per bit.

Keywords

Bluetooth; Petri nets; error statistics; packet switching; personal communication networks; ACL links; Bluetooth baseband layer; STPN model; WPAN Bluetooth; data packets; data transfer; error correction code; error detection code; error per bit; formal modelling; stochastic timed Petri net; Baseband; Bluetooth; Delta modulation; Frequency conversion; Master-slave; Performance evaluation; Redundancy; Spread spectrum communication; Stochastic processes; Wireless networks; Bluetooth; Error detection/correction codes; Formal modelling; Performances; Reliability; Stochastic Petri nets;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation, 2006. ETFA '06. IEEE Conference on

Conference_Location

Prague

Print_ISBN

0-7803-9758-4

Type

conf

DOI

10.1109/ETFA.2006.355450

Filename

4178283