| Summary: | 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.
|
|---|
