1. Home
  2. Issues
  3. Volume 30, Issue 1 (2019)
  4. New Proposals to Improve a MAC Layer Pro ...

Informatica


New Proposals to Improve a MAC Layer Protocol in Wireless Sensor Networks
Volume 30, Issue 1 (2019), pp. 91–116
Pub. online: 5 August 2022      Type: Research Article      Open accessOpen Access
Received
1 August 2018
Accepted
1 November 2018
Published
5 August 2022

Abstract

The evolution of Wireless Sensor Networks has led to the development of protocols that must comply with their new restrictions while being efficient in terms of energy consumption and time. We focus on a collision resolution protocol, the so-called Two Cell Sorted (2CS-WSN). We propose three different ways to improve its performance by minimizing the collision resolution time or the energy consumption. After evaluating these proposals and carrying out the comparison with the original protocol, we recommend an improvement to the protocol which reduces the elapsed time by early $8\% $ and the number of retries and conflicts more than $40\% $.

References

 
Boulis, A. et al. (2011). Castalia: a simulator for wireless sensor networks and body area networks. NICTA: National ICT Australia, 83.
 
Buratti, C., Verdone, R. (2009). Performance analysis of IEEE 802.15.4 non beacon-enabled mode. IEEE Transactions on Vehicular Technology, 58(7), 3480–3493.
 
Camilli, M. (2015). Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches. Thesis of Deptartment of Computer Science, Universita degli Studi di Milano.
 
Clarke, E.M., Grumberg, O., Peled, D.A. (2001). Model Checking. MIT Press.
 
Dombrowski, C., Junges, S., Katoen, J.-P., Gross, J. (2016). Model-checking assisted protocol design for ultra-reliable low-latency wireless networks. In: 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS). IEEE, pp. 307–316.
 
Duflot, M., Kwiatkowska, M., Norman, G., Parker, D., Peyronnet, S., Picaronny, C., Sproston, J. (2010). FMICS Handbook on Industrial Critical Systems. In: Practical Applications of Probabilistic Model Checking to Communication Protocols. IEEE Computer Society Press, pp. 133–150.
 
Fruth, M. (2011). Formal Methods for the Analysis of Wireless Network Protocols. PhD thesis, Oxford University.
 
Gallina, L., Han, T., Kwiatkowska, M.Z., Marin, A., Rossi, S., Spanò, A. (2012). Automatic energy-aware performance analysis of mobile ad-hoc networks. In: Proceedings of the IFIP Wireless Days Conference 2012, Ireland, November 21–23, 2012, pp. 1–6.
 
Hansson, H., Jonsson, B. (1994). A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5), 512–535.
 
Hortelano, D., Olivares, T., Ruiz, M.C., Garrido-Hidalgo, C., López, V. (2017). From sensor networks to internet of things. Bluetooth low energy, a standard for this evolution. Sensors, 17(2).
 
Kapus, T. (2017). Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks. Simulation Modelling Practice and Theory, 77, 367–378.
 
Kauer, F., Köstler, M., Lübkert, T., Turau, V. (2016). Formal analysis and verification of the IEEE 802.15.4 dsme slot allocation. In: Proceedings of the 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, pp. 140–147.
 
Klein, J., Baier, C., Chrszon, P., Daum, M., Dubslaff, C., Märcker, S.K.S., Müller, D. (2017). Advances in probabilistic model checking with prism: variable reordering, quantiles and weak deterministic Büchi automata. International Journal on Software Tools for Technology Transfer, 20(2), 179–194.
 
Kwiatkowska, M., Norman, G., Parker, D. (2011). PRISM 4.0: verification of probabilistic real-time systems. In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV’11), LNCS, Vol. 6806. Springer, pp. 585–591.
 
Kwiatkowska, M., Norman, G., Parker, D. (2017). Probabilistic model checking: advances and applications. In: Formal System Verification, pp. 73–121.
 
Mateo, J.A., Macià, H., Ruiz, M.C., Calleja, J.L., Royo, F. (2015). Probabilistic model checking: one step forward in wireless sensor networks simulation. IJDSN, 11, 285396:1–285396:11.
 
Mohsin, M., Sardar, M.U., Hasan, O., Anwar, Z. (2017). oTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things. IEEE Access, IEEE.
 
Patel, R., Patel, D. (2015). A quantitative analysis of collision resoluction protocol for wireless sensor network. Journal of Software Engineering and Applications, 361–371.
 
Paterakis, M., Papantoni-Kazakos, P. (1989). A simple window random access algorithm with advantageous properties. IEEE Transactions on Information Theory, 35, 1124–1130.
 
Prabh, K.S., Royo, F., Tennina, S., Olivares, T. (2016). A MAC protocol for reliable communication in low power body area networks. Journal of Systems Architecture – Embedded Systems Design, 66–67, 1–13.
 
PRISM (2017). http://www.prismmodelchecker.org/.
 
Rajbal, S., Rajba, T. (2012). The probability of collisions in wireless sensor network with random sending. Przegląd Elektrotechniczny, 88, 243–246.
 
Ross, S. (1996). Stochastic Processes. Wiley Series in Probabiliy and Mathematical Statistics.
 
Royo, F., López-Guerrero, M., Orozco-Barbosa, L., Olivares, T. (2009). 2C-WSN: a configuration protocol based on TDMA communications over WSN. In: Global Telecommunications Conference, GLOBECOM. IEEE, pp. 1–6.
 
Ruiz, M.C., Macià, H., Mateo, J.A., Calleja, F.J. (2016). Formal analysis of an energy-aware collision resolution protocol for wireless sensor networks. In: International Conference on Computational Science 2016, ICCS 2016, 6–8 June 2016. San Diego, California, USA, pp. 1191–1201.
 
Siddique, U., Hoque, K.A., Johnson, T.T. (2017). Formal specification and dependability analysis of optical communication networks. In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27–31, 2017, pp. 1564–1569.
 
Townsend, K., Cufí, C., Davidson, R. (2014). Getting Started with Bluetooth Low Energy: Tools and Techniques for Low-Power Networking. Oreilly & Associates Incorporated.
 
Yüksel, E., Nielson, H.R., Nielson, F., Fruth, M., Kwiatkowska, M.Z. (2012). Optimizing zigbee security using stochastic model checking. CoRR. abs/1205.6675.
 
Zheng, J., Jamalipour, A. (2009). Wireless Sensor Networks: A Networking Perspective. John Wiley & Sons.

Biographies

Ruiz M. Carmen
MCarmen.Ruiz@uclm.es

M.C. Ruiz received her MSc degree in computer science from the University of Murcia, Spain, in 1997. She got her PhD degree in computer science in 2007 for the University of Castilla-La Mancha. From 1990 to 1999, she worked in Madrid (Spain) and London (England) in several private enterprises as an analyst/programmer as well as project manager. She is currently an associate professor at the Department of Computer Systems at the University of Castilla-La Mancha. She is a member of the research group Real-Time and Concurrent Systems (RETICS) at the Albacete Research Institute of Informatics (I3A). She has published research papers in reputed international journals of mathematical and engineering sciences. Her current research interests include network planning, wireless communications, traffic modelling and wireless network evaluation by means of formal methods and performance evaluation.

Macià Hermenegilda

H. Maciá received the PhD degree in computer science from the University of Castilla-La Mancha (UCLM), Spain, in 2003. She holds an associate professor position in the Department of Mathematics at the same university. She is also a member of the research group Real-Time and Concurrent Systems (ReTiCS) at the Albacete Research Institute of Informatics (I3A). She has authored numerous peer-reviewed papers in international journals, workshops, and conferences. Her main research interests include the theoretical study and applications of formal methods, such as process algebras and Petri nets, considering timed, probabilistic, and stochastic extensions. Currently she is opening new research fields such as complex event processing and data analytics.

Calleja Javier

J. Calleja received his BSc degree in computer sciences, in 2012, from the University of Castilla-La Mancha, Spain. He is currently a researcher at the Albacete Research Institute of Informatics. His principal research fields are wireless sensor networks and performance evaluation.


Full article Related articles Cited by PDF XML
Full article Related articles Cited by PDF XML

Copyright
© 2019 Vilnius University
Open access article under the CC BY license.

Keywords
formal modelling discrete time Markov chain probabilistic model checking wireless sensor networks collision resolution algorithms performance evaluation

Metrics
since January 2020
1159

Article info
views

599

Full article
views

631

PDF
downloads

239

XML
downloads


Share


RSS