Title | ||
---|---|---|
Performance evaluation of device discovery in bluetooth LE with probabilistic model checking |
Abstract | ||
---|---|---|
The device discovery in Bluetooth is needed before establishing data communications. Almost all Bluetooth slaves are battery-powered so that they should connect with a master through the device discovery for a short time. To prevent the worst case scenario with long device discovery in Bluetooth, the events with long device discovery should be estimated in advance. However, it is intractable to estimate the exact longest device discovery time with Monte Carlo simulations or mathematical analysis because of the probabilistic behavior. In this paper, we reveal the longest device discovery time and the maximum energy consumption in Bluetooth Low Energy (LE) with a probabilistic model checking tool, PRISM. The results show that some parameters in Bluetooth LE will largely affect the energy consumption so that their design criteria will be desired to reduce the energy consumption. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/APSITT.2015.7217125 | 2015 10th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT) |
Keywords | Field | DocType |
device discovery,probabilistic model checking,data communications,Bluetooth slaves,Monte Carlo simulations,mathematical analysis,probabilistic behavior,maximum energy consumption,Bluetooth low energy,PRISM | Monte Carlo method,Computer science,Computer network,Real-time computing,Worst-case scenario,Probabilistic logic,Energy consumption,Probabilistic model checking,Bluetooth,Bluetooth Low Energy | Conference |
Citations | PageRank | References |
1 | 0.38 | 2 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yusuke Matsuo | 1 | 1 | 0.38 |
Daisuke Umehara | 2 | 45 | 12.27 |
Hidekazu Murata | 3 | 164 | 37.72 |
Satoshi Denno | 4 | 76 | 25.60 |