Time Petri Nets based model for CL-MAC protocol with packet loss

Journal of King Saud University: Computer and Information Sciences

卷:32

Larbi Sekhri¹  Ahmed Louazani² 

[1] Computer Science Department, University of Oran1, Ahmed Benbella, Algeria Industrial Computing and Networking Laboratory (LIIR), Algeria;

[2] Corresponding author.;

关键词: Wireless sensor networks;    Cross-layer optimization;    CL-MAC protocol;    Energy consumption;    Delay sensitive;    Time Petri Nets;   

DOI  :  

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown