Poonam, K.K 10MCSE06 Supervisor - Muhammad Saleem Vighio creator Department Of Computer System Engineering text Nawabshah QUEST 2014 monographic 44 ABSTRACT Wireless sensor networks are becoming an ideal approach for implementing many applications because they avoid complex wirings and their maintenance. However. like other networks, primary source of data communication are protocols. The MAC (Medium Access Control) protocol determines when a wireless sensor transmits its sensor data. However, MAC protocols suffer from collisions and therefore it affects the eminency of wireless sensor networks. Therefore, efforts must be taken at MAC layer for improving the overall efficiency of the network. Ahis thesis provides a model of the LMAC (Lightweight- MAC) protocol for analyzing the probability of collisions for sensor nodes. Collisions occur hen nodes transmit data at same time using the same channels. In this work, we consider connected topologies consisting of five nodes. Ihe analysis is performed using the model checker UPPAAL. The results show that if the weighting rate of nodes (before transmitting data), is increased then the number of collisions also decreases. Furthermore, we also compare the results of five nodes with its 5.6. and 7 times slots based on the probability of collisions and propose an optimistic choice ofa network set-up that increases network performance and reduces network cost. https://tinyurl.com/mr28zevv https://tinyurl.com/mr28zevv