FSM--based power modeling of wireless protocols: the case of bluetooth

ABSTRACT

The proliferation of pervasive computing applications relying on battery--powered devices and wireless connectivity is posing great emphasis on the issue of power optimization. While node--level models and approaches have been widely discussed, a problem requiring even greater attention is that of power associated with the communication protocols. We propose a high--level modeling methodology based on Finite State Machines useful to predict the energy consumption of given communication tasks with very low computational cost, which can be applied to any protocol. We use this methodology to create a power model of Bluetooth that we characterize and validate experimentally on a real implementation.

REFERENCES

• 1: Trevor Pering , Tom Burd , Robert Brodersen, The simulation and evaluation of dynamic voltage scaling algorithms, Proceedings of the 1998 international symposium on Low power electronics and design, p.76-81, August 10-12, 1998, Monterey, California, United States [doi>10.1145/280756.280790]
• 2: Christine E. Jones , Krishna M. Sivalingam , Prathima Agrawal , Jyh Cheng Chen, A Survey of Energy Efficient Network Protocols for Wireless Networks, Wireless Networks, v.7 n.4, p.343-358, 08/01/2001 [doi>10.1023/A:1016627727877]
• 3: Luca Benini , Alessandro Bogliolo , Giovanni De Micheli, A survey of design techniques for system-level dynamic power management, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.8 n.3, p.299-316, June 2000 [doi>10.1109/92.845896]
• 4: Software Power Estimation and Optimization for High Performance, 32-bit Embedded Processors, Proceedings of the International Conference on Computer Design, p.328, October 05-05, 1998
• 5: Tajana Simunic , Haris Vikalo , Peter Glynn , Giovanni De Micheli, Energy efficient design of portable wireless systems, Proceedings of the 2000 international symposium on Low power electronics and design, p.49-54, July 25-27, 2000, Rapallo, Italy [doi>10.1145/344166.344197]
• 6: T. Lin, Y. Tseng. An Adaptive Sniff Scheduling Scheme for Power Saving in Bluetooth. IEEE Wireless Communications, 9(6):92--103, 2002.
• 7: V. Raghunathan et al. Energy-Aware Wireless Microsensor Networks. IEEE Signal Processing Magazine, 19(2):40--52, 2002.
• 8: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 9: Bluetooth core specification v1.2, https://www.bluetooth.org/spec.
• 10: Jennifer Bray , Charles Sturman, Bluetooth 1.1: Connect Without Cables, Second Edition, Prentice Hall PTR, Upper Saddle River, NJ, 2001
• 11: David Harel , Amnon Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.4, p.293-333, Oct. 1996 [doi>10.1145/235321.235322]
• 12: B. Bruce. Evaluation of the performance of a state of the art digital multimeter. In Proc. Measurement Science Conference, 1989.
• 13: Catc merlin, a bluetooth protocol analyzer, http://www.catc.com/products/merlin.html.
• 14: Mohamad H. Hassoun, Fundamentals of Artificial Neural Networks, MIT Press, Cambridge, MA, 1995

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.1 Network Architecture and Design
          Subjects: Wireless communication

Additional Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Modeling techniques

General Terms:
Management, Measurement

Keywords:
bluetooth, power modeling, wireless protocols