Lifetime analysis of a sensor network with hybrid automata modelling

Sinem Coleri*, Mustafa Ergen, T. John Koo

*Bu çalışma için yazışmadan sorumlu yazar

Araştırma sonucu: Kitap/Rapor/Konferans Bildirisinde BölümKonferans katkısıbilirkişi

65 Atıf (Scopus)

Ö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.

Orijinal dilİngilizce
Ana bilgisayar yayını başlığıProceedings of the ACM International Workshop on Wireless Sensor Networks and Applications
EditörlerC.S. Raghavendra, K.M. Sivaligam
YayınlayanAssociation for Computing Machinery (ACM)
Sayfalar98-104
Sayfa sayısı7
ISBN (Basılı)1581135890, 9781581135893
DOI'lar
Yayın durumuYayınlandı - 2002
Harici olarak yayınlandıEvet
EtkinlikProceedings of the 1st ACM International Workshop on Wireless Sensor Networks and Applications - Atlanta, GA, United States
Süre: 28 Eyl 200228 Eyl 2002

Yayın serisi

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

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???Proceedings of the 1st ACM International Workshop on Wireless Sensor Networks and Applications
Ülke/BölgeUnited States
ŞehirAtlanta, GA
Periyot28/09/0228/09/02

Parmak izi

Lifetime analysis of a sensor network with hybrid automata modelling' araştırma başlıklarına git. Birlikte benzersiz bir parmak izi oluştururlar.

Alıntı Yap