Performance evaluation of device discovery in bluetooth le with probabilistic model checking

Yusuke Matsuo, Daisuke Umehara, Hidekazu Murata, Satoshi Denno

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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 languageEnglish
Title of host publication2015 10th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages58-60
Number of pages3
ISBN (Print)9784885522987
DOIs
Publication statusPublished - Aug 20 2015
Event10th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2015 - Colombo, Sri Lanka
Duration: Aug 4 2015Aug 7 2015

Other

Other10th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2015
CountrySri Lanka
CityColombo
Period8/4/158/7/15

    Fingerprint

Keywords

  • Advertising
  • Bluetooth
  • Clocks
  • Energy consumption
  • Performance evaluation
  • Probabilistic logic
  • Timing

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems

Cite this

Matsuo, Y., Umehara, D., Murata, H., & Denno, S. (2015). Performance evaluation of device discovery in bluetooth le with probabilistic model checking. In 2015 10th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2015 (pp. 58-60). [7217125] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/APSITT.2015.7217125