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, United States Of America, 28 September 2002, pp.98-104 identifier

  • Publication Type: Conference Paper / Full Text
  • Volume:
  • Doi Number: 10.1145/570748.570752
  • City: Atlanta, GA
  • Country: United States Of America
  • Page Numbers: pp.98-104
  • Istanbul Technical University Affiliated: Yes


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.