Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Dynamic Energy Efficient TDMA-based MAC Protocol forWireless Sensor Networks
ICAS-ICNS '05 Proceedings of the Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services
Heuristic algorithms for real-time data aggregation in wireless sensor networks
Proceedings of the 2006 international conference on Wireless communications and mobile computing
An energy efficient cross-layer MAC protocol for wireless sensor networks
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Hi-index | 0.00 |
Technological Advances in microelectronic and telecommunication fields enable the existence of tiny computing units, very small and more efficient. In the context of these new technologies, Wireless Sensor Networks (WSN) have emerged. The main research objective in WSN domain is the development of algorithms and protocols ensuring minimal energy consumption. Most proposed solutions are based on one-layer stack model approach. Recently, other works tend to exploit together many layers in order to optimize energy consumption. In this paper, we propose a Cross-Layer Medium Access Control (CL-MAC) protocol using two adjacent layers (MAC and Network) to economize energy for WSN. The basic idea behind our protocol is to wake-up only nodes belonging to a routing path from the source to the base station (Sink) by exploiting routing information while other nodes leave maintained as long time as possible in a sleep mode. The protocol is modeled using a time Petri net and validated by TiNA tool. The simulation results demonstrate the effectiveness of our proposal in terms of energy consumption and latency.