research-article

Performance evaluation of a hybrid MAC protocol for wireless sensor networks

Authors:

Jalel Ben-Othman,

Serigne Diagne,

Bashir YahyaAuthors Info & Claims

MSWIM '10: Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems

Pages 327 - 334

https://doi.org/10.1145/1868521.1868574

Published: 17 October 2010 Publication History

Abstract

One of the classical methods to study the performance of networking protocols and algorithms is to use simulation tools like OPNET, NS-2, OMNet++, ...etc. An alternative to simulation tools is to use formal modeling techniques. The advantage of using formal modeling techniques over simulation tools is that the user can do both performance evaluation and model verification. One of these methods is Petri Nets. A Petri Net is a mathematical and graphical tool, invented by Carl Adam Petri, used to verify systems and protocols. Petri Nets have been used to analyze and verify systems in different areas of computer science such as parallel processing, distributed systems and computer networks, artificial intelligence...etc.

In this paper, we use the Colored Petri Nets (CPN), an extension for Petri Nets, to model and evaluate the performance of our EQ-MAC protocol [1]. EQ-MAC is quality of service and energy aware hybrid MAC protocol specifically designed for wireless sensor networks. After developing the Petri models for the EQ-MAC protocol, the GreatSPN software system is used to validate the correctness of the developed models and evaluate the performance. Two important performance measures are defined, which are average delay and packets delivery ratio; The results demonstrate the efficiency of our protocol. Furthermore, this work demonstrates the ability of Petri-Nets to model and evaluate MAC protocol for wireless sensor networks.

References

[1]

B. Yahya, J. Ben-Othman, "An Energy Efficient Hybrid Medium Access Control Scheme for Wireless Sensor Networks with Quality of Service Guarantees", In the Proceedings of GLOBECOM'08, New Orleans, LA, USA, November 30 to December 4

[2]

T. Bokareva, W. Hu, S. Kanhere, B. Ristic, N. Gordon, T. Bessell, M. Rutten and S. Jha, "Wireless Sensor Networks for Battlefield Surveillance", In Proc. of LWC - 2006.

[3]

A. Mainwaring, J. Polastre, R. Szewczyk, D. Culler, and J. Anderson, "Wireless Sensor Networks for Habitat Monitoring," in the Proceedings of ACM-WSNA Conf., Sep. 2002.

Digital Library

[4]

N. Xu, S. Rangwala, K. Chintalapudi, D. Ganesan, A. Broad, R. Govindan, and D. Estrin, "A Wireless Sensor Network for structural Monitoring," in Proc. ACM SenSys Conf., Nov. 2004.

Digital Library

[5]

K. Srinivasan, M. Ndoh, H. Nie, H. Xia, K. Kaluri, and D. Ingraham, "Wireless Technologies for Condition-Based Maintenance (CBM) in Petroleum Plants," Proc. of DCOSS'05 (Poster Session), 2005.

Digital Library

[6]

B. Yahya, J. Ben-Othman, "Towards a classification of energy aware MAC protocols for wireless sensor networks", Journal of Wireless Communication and Mobile Computing, Published online in Wiley InterScience, Feb. 4, 2009.

Digital Library

[7]

M. Younis et.al, "On handling qos traffic in wireless sensor networks," Proc. of the HICSS, 2004.

Digital Library

[8]

D. Chen, P. K. Varshney: QoS Support in Wireless Sensor Networks: A Survey. International Conference on Wireless Networks 2004: 227--233

[9]

Yang Liu, Elhanany, I., Hairong Qi, "An energy-efficient QoS-aware media access control protocol for wireless sensor networks", Mobile Adhoc and Sensor Systems Conference, 2005.

[10]

Younis and S. Fahmy. Distributed Clustering in Ad-hoc Sensor Networks: A Hybrid, Energy-Efficient Approach. In Proceedings of IEEE INFOCOM, March 2004.

[11]

Yang Liu, Elhanany, I.; Hairong Qi, "An energy-efficient QoS-aware media access control protocol for wireless sensor networks", Mobile Adhoc and Sensor Systems Conference, 2005.

[12]

http://www.di.unito.it/~greatspn/index.html

[13]

Olveczky, P. C., Throvaldsen, S., "Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real Time Maude," Lecture Notes in Computer Science, Vol. 448 (2007), 1611--3349.

[14]

R. Haines, G. Clemo, A. Munro, "Petri-Nets for formal verification of MAC protocols," IET Software, Vol. 1, pages 39--47, 2007.

[15]

Haines, R.; Clemo, G.; Munro, A., "Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF", IEEE 64th Vehicular Technology Conference, VTC-2006 Fall, 25-28 Sept. 2006 Page(s):1--5.

[16]

W. Ye, J. Heidenmann, and D. Estrin, "An Energy-Efficient MAC Protocol for Wireless Sensor Networks," in Proc. of IEEE INFOCOM, New York, NY, June 2002.

[17]

Mohammad Abdollahi Azgomi and Ali Khalili, "Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets", Proceedings of the First Workshop on Formal Methods for Wireless Systems (FMWS 2008).

[18]

Bashir Yahya and Jalel Ben-Othman, "A Scalable and Energy-Efficient Hybrid-Based MAC Protocol for Wireless Sensor Networks", in the proceedingis of PM2HW2N'08, October 31, 2008, Vancouver, BC, Canada.

Digital Library

[19]

Hesong Huang; Jie Wu, "A probabilistic clustering algorithm in wireless sensor networks," Proc. Of 62nd IEEE VTC, 25-28 Sept., 2005 Page(s): 1796--1798

[20]

Younis and S. Fahmy. Distributed Clustering in Ad-hoc Sensor Networks: A Hybrid, Energy-Efficient Approach. In Proceedings of IEEE INFOCOM, March 2004.

[21]

http://www.isi.edu/nsnam/ns/

[22]

http://www.opnet.com/

[23]

http://www.omnetpp.org/

[24]

Cavin, D., Sasson, Y., and Schiper, A. 2002. On the accuracy of MANET simulators. In Proceedings of the Second ACM international Workshop on Principles of Mobile Computing, Toulouse, France, October 30--31, 2002.

Digital Library

[25]

G. P. Halkes, K. G. Longendoen, "Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network MAC Protocols", EURASIP Journal on Wireless Communications and Networking, Volume 2010, Article ID 601892, 10 pages.

Digital Library

[26]

A. Heindl, and R. German, "Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets", Performance. Evaluation. 44, 1-4 (Apr. 2001), 139--164. DOI= http://dx.doi.org/10.1016/S0166-5316(00)00053-5

Digital Library

[27]

C. Xiong, T. Murata, J. Tsai, "Modeling and Simulation of Routing Protocol for Mobile Ad hoc Networks Using Colored Petri Nets", In the Proceedings of Workshop on Formal Methods Applied to Defense Systems, 2002, Pages 145--153.

Digital Library

[28]

Anahit Martirosyan, Azzedine Boukerche, Richard Werner Nelem Pazzi: Energy-aware and quality of service-based routing in wireless sensor networks and vehicular ad hoc networks. Annales des Télécommunications 63(11-12): 669--681 (2008)

Cited By

Jyotish NSingh LKumar C(2022)A state-of-the-art review on performance measurement petri net models for safety critical systems of NPPAnnals of Nuclear Energy10.1016/j.anucene.2021.108635165(108635)Online publication date: Jan-2022
https://doi.org/10.1016/j.anucene.2021.108635
Ruiz MGarrido-Hidalgo CGruska DOlivares THortelano DRoda-Sanchez L(2019)Modeling and Evaluation of a Power-Aware Algorithm for IoT Bluetooth Low Energy Devices2019 IEEE International Conference on Smart Internet of Things (SmartIoT)10.1109/SmartIoT.2019.00014(28-35)Online publication date: Aug-2019
https://doi.org/10.1109/SmartIoT.2019.00014
Cambronero MMacia HValero VOrozco-Barbosa L(2018)Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri NetsIEEE Access10.1109/ACCESS.2018.28332136(27356-27372)Online publication date: 2018
https://doi.org/10.1109/ACCESS.2018.2833213
Show More Cited By

Index Terms

Recommendations

A Transmission Power Control MAC Protocol for Wireless Sensor Networks
ICN '07: Proceedings of the Sixth International Conference on Networking

Wireless sensor networks have been widely used in many important fields. Medium Access Control (MAC) protocols have a significant effect on the function and performance of sensor networks. At present, most MAC protocols use the same transmission power ...
Performance evaluation tools for QoS MAC protocol for wireless sensor networks

In this paper, we propose tools for modeling and evaluating our EQ-MAC protocol based on Stochastic Automata Networks (SAN) and Colored Petri Nets (CPN) model. EQ-MAC protocol is an energy efficient and quality of service aware medium access protocol ...
An Energy Efficient Advertisement Based Multichannel Distributed MAC Protocol for Wireless Sensor Networks (Adv-MMAC)

A number of multichannel medium access control (MAC) protocols have been developed earlier with the objective of maximizing energy efficiency and guaranteeing QoS requirements in wireless sensor networks. However, the trade-off between energy efficiency ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MSWIM '10: Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems

October 2010

424 pages

ISBN:9781450302746

DOI:10.1145/1868521

General Chairs:
Violet R. Syrotiuk
Arizona State University, USA
,
Fatih Alagöz
Bogazici University, Turkey
,
Program Chairs:
Brahim Bensaou
The Hong Kong University of Science & Technology, Hong Kong
,
Özgür B. Akan
Koç University, Turkey

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 October 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

MSWiM '10

Sponsor:

SIGSIM

MSWiM '10: The 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems

October 17 - 21, 2010

Bodrum, Turkey

Acceptance Rates

Overall Acceptance Rate 398 of 1,577 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
307
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Jyotish NSingh LKumar C(2022)A state-of-the-art review on performance measurement petri net models for safety critical systems of NPPAnnals of Nuclear Energy10.1016/j.anucene.2021.108635165(108635)Online publication date: Jan-2022
https://doi.org/10.1016/j.anucene.2021.108635
Ruiz MGarrido-Hidalgo CGruska DOlivares THortelano DRoda-Sanchez L(2019)Modeling and Evaluation of a Power-Aware Algorithm for IoT Bluetooth Low Energy Devices2019 IEEE International Conference on Smart Internet of Things (SmartIoT)10.1109/SmartIoT.2019.00014(28-35)Online publication date: Aug-2019
https://doi.org/10.1109/SmartIoT.2019.00014
Cambronero MMacia HValero VOrozco-Barbosa L(2018)Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri NetsIEEE Access10.1109/ACCESS.2018.28332136(27356-27372)Online publication date: 2018
https://doi.org/10.1109/ACCESS.2018.2833213
Lara-Cueva RGordillo RValencia LBenitez D(2017)Determining the Main CSMA Parameters for Adequate Performance of WSN for Real-Time Volcano Monitoring System ApplicationsIEEE Sensors Journal10.1109/JSEN.2016.264621817:5(1493-1502)Online publication date: 1-Mar-2017
https://doi.org/10.1109/JSEN.2016.2646218
Hu XJiao L(2017)Efficient modeling and performance analysis for IEEE 802.15.4 with coloured Petri nets2017 IEEE/ACM 25th International Symposium on Quality of Service (IWQoS)10.1109/IWQoS.2017.7969128(1-6)Online publication date: Jun-2017
https://doi.org/10.1109/IWQoS.2017.7969128
Zairi SMezni AZouari B(2015)Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors NetworkWired/Wireless Internet Communications10.1007/978-3-319-22572-2_28(381-395)Online publication date: 23-Aug-2015
https://doi.org/10.1007/978-3-319-22572-2_28
Mokdad LAbdelli ABen-Othman J(2014)Detection of Greedy Behavior in WSN Using IEEE 802.15 ProtocolProceedings of the 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems10.1109/MASCOTS.2014.21(106-111)Online publication date: 9-Sep-2014
https://dl.acm.org/doi/10.1109/MASCOTS.2014.21
Somappa AKristensen LOvsthus K(2013)A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator NetworksInternational Symposium on Wireless and pervasive Computing (ISWPC)10.1109/ISWPC.2013.6707433(1-7)Online publication date: Nov-2013
https://doi.org/10.1109/ISWPC.2013.6707433
Battista ECasola VMazzocca NNardone RMarrone S(2013)A Compositional Modelling Approach for Large Sensor Networks DesignProceedings of the 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing10.1109/3PGCIC.2013.71(422-429)Online publication date: 28-Oct-2013
https://dl.acm.org/doi/10.1109/3PGCIC.2013.71

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents