File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Lifetime analysis of a sensor network with hybrid automata modelling

TitleLifetime analysis of a sensor network with hybrid automata modelling
Authors
Coleri, SErgen, MKoo, TJ
KeywordsHybrid Automata
Hytech
Power Consumption
Sensor Networks
Shift
Tinyos
Issue Date2002
Citation
Proceedings Of The Acm International Workshop On Wireless Sensor Networks And Applications, 2002, p. 98-104 How to Cite?
AbstractIn 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.
Persistent Identifierhttp://hdl.handle.net/10722/188704
References
References in Scopus

 

DC FieldValueLanguage
dc.contributor.authorColeri, Sen_US
dc.contributor.authorErgen, Men_US
dc.contributor.authorKoo, TJen_US
dc.date.accessioned2013-09-03T04:13:35Z-
dc.date.available2013-09-03T04:13:35Z-
dc.date.issued2002en_US
dc.identifier.citationProceedings Of The Acm International Workshop On Wireless Sensor Networks And Applications, 2002, p. 98-104en_US
dc.identifier.urihttp://hdl.handle.net/10722/188704-
dc.description.abstractIn 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.en_US
dc.languageengen_US
dc.relation.ispartofProceedings of the ACM International Workshop on Wireless Sensor Networks and Applicationsen_US
dc.subjectHybrid Automataen_US
dc.subjectHytechen_US
dc.subjectPower Consumptionen_US
dc.subjectSensor Networksen_US
dc.subjectShiften_US
dc.subjectTinyosen_US
dc.titleLifetime analysis of a sensor network with hybrid automata modellingen_US
dc.typeConference_Paperen_US
dc.identifier.emailKoo, TJ: john.koo@siat.ac.cnen_US
dc.identifier.authorityKoo, TJ=rp01787en_US
dc.description.naturelink_to_subscribed_fulltexten_US
dc.identifier.scopuseid_2-s2.0-0036983396en_US
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-0036983396&selection=ref&src=s&origin=recordpageen_US
dc.identifier.spage98en_US
dc.identifier.epage104en_US
dc.identifier.scopusauthoridColeri, S=6507338059en_US
dc.identifier.scopusauthoridErgen, M=6602624354en_US
dc.identifier.scopusauthoridKoo, TJ=7005428590en_US

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats