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

• Main Authors: Ahmed Louazani, Larbi Sekhri
• Format: Article
• Language: English
• Published: Elsevier 2020-05-01
• Series: Journal of King Saud University: Computer and Information Sciences
• Subjects: Wireless sensor networks; Cross-layer optimization; CL-MAC protocol; Energy consumption; Delay sensitive; Time Petri Nets
• Online Access: http://www.sciencedirect.com/science/article/pii/S1319157819302095

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.