Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth
Tarik Khoutaif, Guy Juanole · 2006
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.