Title :
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
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;
Conference_Titel :
Emerging Technologies and Factory Automation, 2006. ETFA '06. IEEE Conference on
Conference_Location :
Prague
Print_ISBN :
0-7803-9758-4
DOI :
10.1109/ETFA.2006.355450
