GDL

Journal from gdlhub / 2021-08-24 11:54:33
Oleh : Ahmed Louazani, Larbi Sekhri, King Saud University
Dibuat : 2021-08-03, dengan 0 file

Keyword : Wireless sensor networks, Cross-layer optimization, CL-MAC protocol, Energy consumption, Delay sensitive, Time Petri Nets
Url : http://www.sciencedirect.com/science/article/pii/S1319157819302095
Sumber pengambilan dokumen : Web

Wireless Sensor Network (WSN) is expected to operate as long time as possible in hostile environments. Exposed to energy challenges, WSN software developers have to conceive both save-energy and fault-tolerant software. Due to the WSN nodes physical limitations and the wireless channel communication nature, the problem of packet loss during communication may occur causing communication interruption, information loss, and routing path breakdown, leading to more energy consumption and network life time decreasing. Basically, CL-MAC (Cross-Layer-MAC) protocol was designed to reduce both energy and latency. Its main engine is to wake-up only nodes within the routing path. In this paper, an extended version of CL-MAC protocol taking into account the packet loss problem is presented. Time Petri Nets (TPN) are used as a formal model to study the proposed protocol. TiNA (Time Net Analyzer) tool is used for analyzing some properties like liveness, boundedness and reversibility, thereby proving the correctness behavior of the proposed protocol.

Deskripsi Alternatif :

Wireless Sensor Network (WSN) is expected to operate as long time as possible in hostile environments. Exposed to energy challenges, WSN software developers have to conceive both save-energy and fault-tolerant software. Due to the WSN nodes physical limitations and the wireless channel communication nature, the problem of packet loss during communication may occur causing communication interruption, information loss, and routing path breakdown, leading to more energy consumption and network life time decreasing. Basically, CL-MAC (Cross-Layer-MAC) protocol was designed to reduce both energy and latency. Its main engine is to wake-up only nodes within the routing path. In this paper, an extended version of CL-MAC protocol taking into account the packet loss problem is presented. Time Petri Nets (TPN) are used as a formal model to study the proposed protocol. TiNA (Time Net Analyzer) tool is used for analyzing some properties like liveness, boundedness and reversibility, thereby proving the correctness behavior of the proposed protocol.

Beri Komentar ?#(0) | Bookmark

Properti	Nilai Properti
ID Publisher	gdlhub
Organisasi	King Saud University
Nama Kontak	Herti Yani, S.Kom
Alamat	Jln. Jenderal Sudirman
Kota	Jambi
Daerah	Jambi
Negara	Indonesia
Telepon	0741-35095
Fax	0741-35093
E-mail Administrator	elibrarystikom@gmail.com
E-mail CKO	elibrarystikom@gmail.com