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.
Original language | English |
---|---|
Title of host publication | 2015 10th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2015 |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Pages | 58-60 |
Number of pages | 3 |
ISBN (Print) | 9784885522987 |
DOIs | |
Publication status | Published - Aug 20 2015 |
Event | 10th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2015 - Colombo, Sri Lanka Duration: Aug 4 2015 → Aug 7 2015 |
Other
Other | 10th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2015 |
---|---|
Country/Territory | Sri Lanka |
City | Colombo |
Period | 8/4/15 → 8/7/15 |
Keywords
- Advertising
- Bluetooth
- Clocks
- Energy consumption
- Performance evaluation
- Probabilistic logic
- Timing
ASJC Scopus subject areas
- Computer Networks and Communications
- Information Systems