Learn More
In this paper, we are conducting a probabilistic analysis of the energy consumption of nodes of a wireless sensor network caused by the use of MAC layer protocols, to know which one is best suited to save energy. Representative examples of duty-cycled protocols have been chosen: S-MAC as a pure contention-based protocol, and Eco-MAC as a hybrid protocol,(More)
This paper relates to the formal analysis of S-MAC, a medium-access protocol designed for wireless sensor networks. We study the synchronization mechanism of mobile nodes and the 4-way handshake mechanism of the Carrier Sense Multiple Access with Collision Avoidance scheme implemented by S-MAC. We model these previous mechanisms with the $\pi$-calculus and(More)
  • 1