@inproceedings{347fdeba696442d99ee045285785c619,
title = "Lifetime analysis of a sensor network with hybrid automata modelling",
abstract = "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.",
keywords = "Hybrid Automata, HyTech, Power Consumption, Sensor Networks, SHIFT, TinyOS",
author = "Sinem Coleri and Mustafa Ergen and Koo, {T. John}",
year = "2002",
doi = "10.1145/570748.570752",
language = "English",
isbn = "1581135890",
series = "Proceedings of the ACM International Workshop on Wireless Sensor Networks and Applications",
publisher = "Association for Computing Machinery (ACM)",
pages = "98--104",
editor = "C.S. Raghavendra and K.M. Sivaligam",
booktitle = "Proceedings of the ACM International Workshop on Wireless Sensor Networks and Applications",
address = "United States",
note = "Proceedings of the 1st ACM International Workshop on Wireless Sensor Networks and Applications ; Conference date: 28-09-2002 Through 28-09-2002",
}