Lifetime analysis of a sensor network with hybrid automata modelling

Proceedings of the ACM International Workshop on Wireless Sensor Networks and Applications

Volumn , Issue , 2002, Pages 98-104

  Coleri, Sinem ^a   Ergen, Mustafa ^a   Koo, T John ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Hybrid Automata; HyTech; Power Consumption; Sensor Networks; SHIFT; TinyOS

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA COMMUNICATION SYSTEMS;

SENSOR NETWORKS;

SENSOR DATA FUSION;

EID: 0036983396     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/570748.570752     Document Type: Conference Paper

References (10)

1. K. S. J. Pister, J. M. Kahn and B. E. Boser, Smart Dust: Wireless Networks of Millimeter-Scale Sensor Nodes, Highlight Article in 1999 Electronics Research Laboratory Research Summary.
2. J. M. Kahn, R. H. Katz and K. S. J. Pister, Mobile Networking for Smart Dust, ACM/IEEE Intl. Conf. on Mobile Computing and Networking(MobiCom 99), Seattle, WA, August 17-19, 1999.
3. J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler and K. Pister, System Architecture directions for network sensors, ASPLOS 2000.
4. T. A. Henzinger, P. H. Ho and H. Wong-Toi, Hytech: a model checker for hybrid systems, Software Tools for Technology Transfer 1: 110-122, 1997.
5. E. J. Riedy and R. Szewczyk, Power and Control in Networked Sensors, today.cs.berkeley.edu/tos.
6. S. Lindsey, C. S. Raghavendra. PEGASIS: Power-Efficient Gathering in Sensor Information Systems, IEEEAC, 2001.
7. W. Heinzelman, A. Chandrakasan, and H.Balakrishan. Energy-Efficient Communication Protocol for Wireless Microsensor Networks., Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, Maui, HI, USA, 4-7 Jan. 2000.
8. SHIFT The Hybrid System Simulation Programming Language http://www.path.berkeley.edu/shift
9. R. Alur, T. A. Henzinger and P. H. Ho, Automatic Symbolic Verification of Embedded Systems, IEEE Transactionson Software Engineering 22: 181-201, 1996.
10. T. A. Henzinger and H. Wong-Toi, Using Hytech to Synthesize Control Parameters for a Steam Boiler, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Lecture Notes in Computer Science 1165, Springer-Verlag, 1996, pp. 265-282