Lifetime analysis of a sensor network with hybrid automata modelling


Coleri S., Ergen M. , Koo T. J.

Proceedings of the 1st ACM International Workshop on Wireless Sensor Networks and Applications, Atlanta, GA, Amerika Birleşik Devletleri, 28 Eylül 2002, ss.98-104 identifier

  • Cilt numarası:
  • Doi Numarası: 10.1145/570748.570752
  • Basıldığı Şehir: Atlanta, GA
  • Basıldığı Ülke: Amerika Birleşik Devletleri
  • Sayfa Sayıları: ss.98-104

Özet

In this paper, we focus on TinyOS, an event-based operating system for networked sensor motes. We show how to model TinyOS as a hybrid automata with HyTech and verify the correct operation of the system by using safety verification feature of HyTech. Since lifetime is an important metric for sensor nodes that are planned to be deployed once and unattended for long periods of time without maintenance, we perform power analysis of a sensor node by using trace generation feature of HyTech. Furthermore, we simulate a tree sensor network of TinyOS motes by using the programming language SHIFT to determine the lifetime of the network as a function of the distance from the central data collector.