Does clock precision influence ZigBee's energy consumptions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4878 LNCS, Issue , 2007, Pages 174-188

  Groß, Christian ^a   Hermanns, Holger ^b   Pulungan, Reza ^b  

^a Comlet Verteilte Systeme GmbH ^*  (Germany)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

Clock drift; Distributed coordination; Formal modelling; Power aware design; Sensor networks

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; EMBEDDED SYSTEMS; ENERGY UTILIZATION; PRECISION ENGINEERING; STANDARDIZATION;

BATTERY-POWERED SENSORS; CLOCK DRIFT; DISTRIBUTED COORDINATION; FORMAL MODELING; POWER-AWARE DESIGN;

WIRELESS SENSOR NETWORKS;

EID: 38449095137     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77096-1_13     Document Type: Conference Paper

References (23)

1. CC2420 Product Information. Chipcon AS (2005), http://www.chipcon.com/ index.cfm?kat_id=2&subkat_id=12&dok_id=115
2. IEEE 802.15.4: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (2003)
3. ZigBee Specification Version 1.0. ZigBee Alliance (2004), http://www.zigbee.org/en/spec.download/download.request.asp
4. MoDeST Tutorial: development of a complex model in MoDeST. Dependable Systems and Software, Saarland University, Germany (2006), http://depend.cs.uni- sb.de/modesttutorial/index.html
5. The network simulator - ns-2 website (2007), http://www.isi.edu/nsnam/ns/
6. Andel, T.R., Yasinac, A.: On the credibility of Manet simulations. IEEE Computer 39(7), 48-54 (2006)
7. Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Uppaal - a tool suite for automatic verification of real-time systems. In: Hybrid Systems III, pp. 232-243. Springer, Heidelberg (1995)
8. Bohnenkamp, H.C., D'Argenio, P.R., Hermanns, H., Katoen, J.-P.: MoDeST: A compositional modeling formalism for hard and softly timed systems. IEEE Trans. Soft. Eng. 32(10), 812-830 (2006)
9. Bohnenkamp, H.C., Gorter, J., Guidi, J., Katoen, J.-P.: Are you still there? - A lightweight algorithm to monitor node presence in self-configuring networks. In: DSN 2005, pp. 704-709. IEEE CS Press, Los Alamitos (2005)
10. Bohnenkamp, H.C., Hermanns, H., Klaren, R., Mader, A., Usenko, Y.S.: Synthesis and stochastic assessment of schedules for lacquer production. In: QEST 2004, pp. 28-37. IEEE CS Press, Los Alamitos (2004)
11. Bougard, B., Catthoor, F., Daly, D.C., Chandrakasan, A., Dehaene, W.: Energy efficiency of the IEEE 802.15.4 standard in dense wireless microsensor networks: Modeling and improvement perspectives. In: DATE 2005, pp. 196-201. IEEE CS Press, Los Alamitos (2005)
12. Cadilhac, M., Hérault, T., Lassaigne, R., Peyronnet, S., Tixeuil, S.: Evaluating complex MAC protocols for sensor networks with APMG Elect. Notes Theor. Comput. Sci. 185, 33-46 (2007)
13. Cavin, D., Sasson, Y., Schiper, A.: On the accuracy of MANET simulators. In: POMC 2002, pp. 38-43. ACM Press, New York (2002)
14. Daly, D., Deavours, D.D., Doyle, J.M., Webster, P.G., Sanders, W.H.: Möbius: An extensible tool for performance and dependability modeling. In: Haverkort, B., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 332-336. Springer, Heidelberg (2000)
15. Deavours, D.D., Sanders, W.H.: An efficient well-specified check. In: PNPM 1999, pp. 124-133. IEEE CS Press, Los Alamitos (1999)
16. Fruth, M.: Probabilistic model checking of contention resolution in the IEEE 802.15.4 low-rate wireless Personal Area Network protocol. In: ISoLA 2006 (2006)
17. Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. EASST Newsletter 4, 13-24 (2001)
18. Hermanns, H., Jansen, D.N., Usenko, Y.S.: From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In: WOSP 2005, pp. 13-23. ACM Press, New York (2005)
19. Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200-204. Springer, Heidelberg (2002)
20. Landsiedel, O., Wehrle, K., Götz, S.: Accurate prediction of power consumption in sensor networks. In: EmNetS-II, pp. 37-44 (2005)
21. Pongor, G.: OMNeT: Objective modular network testbed. In: MASCOTS 1993, pp. 323-326 (1993)
22. Titzer, B.L., Lee, D.K., Palsberg, J.: Avrora: Scalable sensor network simulation with precise timing. In: IPSN 2005, pp. 477-482 (2005)
23. Zeng, X., Bagrodia, R., Gerla, M.: GloMoSim: A library for parallel simulation of large-scale wireless networks. In: WPDS 1998, pp. 154-161 (1998)