A compositional approach to performance modelling
A compositional approach to performance modelling
Wireless sensor networks: a survey
Computer Networks: The International Journal of Computer and Telecommunications Networking
Versatile low power media access for wireless sensor networks
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
A brief history of process algebra
Theoretical Computer Science - Process algebra
Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks
Proceedings of the 2nd ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks
Z-MAC: a hybrid MAC for wireless sensor networks
IEEE/ACM Transactions on Networking (TON)
Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi
ICDCSW '10 Proceedings of the 2010 IEEE 30th International Conference on Distributed Computing Systems Workshops
Hi-index | 0.00 |
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, i.e. a protocol which uses contention and multiplexing mechanisms. We have chosen simple network topologies to highlight the role of collisions in energy expenditure, and the way the previous protocols treat them. We have carried out our analysis by using the stochastic process algebra PEPA. Its formal language has been used to model networks which implement these protocols. The PEPA Eclipse plug-in permitted us to simulate the models and to show that Eco-MAC saves energy of nodes in a better way than S-MAC, for the network topologies we modeled.