Adapting the duty cycle to traffic load in a preamble sampling MAC for WSNs: formal specification and performance evaluation

Adaptive protocols for WSNs can significantly reduce the en- ergy consumption spent for communication. Adaptive B-MAC+ is an asynchronous MAC protocol that adapts its operational pa- rameters on the base of the observed traffic load: as the rate of incoming packets increases, the radio duty cycle is increased as well, whereas the length of preambles is shortened. The protocol is fully distributed and uses passive dissemination of informa- tion to reduce its overhead. Adaptive B-MAC+ has been for- malized into an executable description using Stochastic Activity Networks. Starting from the formal specification a performance evaluation has been carried out: simulative results show signif- icant improvements in terms of network lifetime and communi- cation latency with respect to non adaptable protocols.