%0 Conference Proceedings %T Optimization and Verification of the TR-MAC Protocol for Wireless Sensor Networks %+ University of Twente %A Morshed, Sarwar %A Heijenk, Geert %Z Part 6: Wireless and Wired Networks %< avec comité de lecture %( Lecture Notes in Computer Science %B 13th International Conference on Wired/Wireless Internet Communication (WWIC) %C Malaga, Spain %Y Mari Carmen Aguayo-Torres %Y Gerardo Gómez %Y Javier Poncela %I Springer International Publishing %3 Wired/Wireless Internet Communications %V LNCS-9071 %P 396-410 %8 2015-05-25 %D 2015 %R 10.1007/978-3-319-22572-2_29 %K Energy-efficiency %K MAC protocol %K Energy-driven %K TR modulation %K TR-MAC %Z Computer Science [cs] %Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers %X Energy-efficiency is an important requirement in the design of communication protocols for wireless sensor networks (WSN). TR-MAC is an energy-efficient medium access control (MAC) layer protocol for low power WSN that exploits transmitted-reference (TR) modulation in the physical layer. The underlying TR modulation in TR-MAC provides faster synchronization and signal acquisition without requiring channel estimation and complex rake receiver in the receiver side. TR modulation also enables multiple access for a pair of nodes using different frequency offsets. This paper introduces an explicit expression that allows the TR-MAC protocol to minimize its energy consumption, depending on the experienced traffic load. Furthermore, an implementation of the protocol in the OMNeT++ simulator with MiXiM simulation framework is introduced, and analytical results introduced in [13] are verified by simulation results obtained using the simulator. %G English %Z TC 6 %2 https://inria.hal.science/hal-01728822/document %2 https://inria.hal.science/hal-01728822/file/346846_1_En_29_Chapter.pdf %L hal-01728822 %U https://inria.hal.science/hal-01728822 %~ IFIP-LNCS %~ IFIP %~ IFIP-TC %~ IFIP-TC6 %~ IFIP-WWIC %~ IFIP-LNCS-9071