Abstract
The important requirement in the context of network providing systems is the priori determination of temporal behavior. Such as is an important requirement in the context of network providing real time QoS guarantee has to be considered in packet delivery ratio and end-to-end delay. With this concern, NCDCLA, Network Coding based duty cycle learning algorithm provides a powerful method for improving performance of wireless sensor network. We specify in this paper a formal model for NCDCLA protocol based UPPAAL tools hence in order to satisfy QoS requirements in WSNs. Indeed, experiment’s results show that NCDCLA does demonstrate a significant improvement in terms of both end-to-end delay and packet delivery ratio.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
EL Brak, M., Essaaidi, M.: Wireless sensor network in smart grid technology: challenges and opportunities. In: 2012 6th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), pp. 578–583. IEEE (2012)
Akyildiz, I.F., Su, W., Sankarasubramaniam, Y., et al.: A survey on sensor networks. IEEE Commun. Mag. 40(8), 102–114 (2002)
Kasmi, M., Bahloul, F., Tkitek, H.: Smart home based on Internet of Things and cloud computing. In : 2016 7th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), pp. 82–86. IEEE (2016)
Pasias, V., Karras, D.A., Papademetriou, R.C.: On novel efficient wireless access network design heuristic algorithms for QoS multiservice networks. In: 2016 7th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), pp. 153–160. IEEE (2016)
Sghaier, A.M.R.A., Meddeb, A.R.E.F.: NCDCLA: QoS aware network coding based duty cycle learning algorithm for real time and reliable wireless sensors networks. In: International Conference on Sensor, Systems, Signals and Advanced Technologies, Hammamat-Tunisia (2018)
Mouradian, A., Aug-Blum, I.: Formal verification of real-time wireless sensor networks protocols with realistic radio links. In: Proceedings of the 21st International conference on Real-Time Networks and Systems, pp. 213–222. ACM (2013)
Somappa, A.A.K., Prinz, A., Kristensen, L.M.: Model-based verification of the DMAMAC protocol for real-time process control. In : VECoS, pp. 81–96 (2015)
Watteyne, T., Aug-Blum, I., Ubda, S.: Formal QoS validation approach on a real-time MAC protocol for wireless sensor networks. Thse de doctorat. INRIA (2005)
Chen, Z., Peng, Y., Yue, W.: Model-checking driven design of QoS-based routing protocol for wireless sensor networks. J. Sens. 2015, 7 (2015)
Chen, Z., Peng, Y., Yue, W.: Modeling and analyzing CSMA/CA protocol for energy-harvesting wireless sensor networks. Int. J. Distrib. Sens. Netw. 11(9), 257157 (2015)
Tschirner, S., Xuedong, L., Yi, W.: Model-based validation of QoS properties of biomedical sensor networks. In: Proceedings of the 8th ACM International Conference on Embedded software, pp. 69–78. ACM (2008)
Fanourgakis, E., Schupp, S.: Modelling and verification of QoS properties of a biomedical wireless sensor network. Project Work, University of Hamburg-Harbug (2012)
Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In : Formal methods for the design of real-time systems, pp. 200–236. Springer, Heidelberg (2004)
Houimli, M., Kahloul, L.: Modeling and performance evaluation of protocols in mobile wireless sensor networks. In: International Conference on Broadband and Wireless Computing, Communication and Applications, pp. 328–339. Springer, Cham (2017)
Dai, S., Hong, M., Guo, B.: Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO. Int. J. Distrib. Sens. Netw. 13(4), 1550147717700900 (2017)
Grichi, H., Mosbahi, O., Khalgui, M., et al.: RWiN: new methodology for the development of reconfigurable WSN. IEEE Trans. Autom. Sci. Eng. 14(1), 109–125 (2017)
Nouri, A., Mediouni, B.L., Bozga, M., et al.: Performance evaluation of stochastic real-time systems with the SBIP Framework. Technical report TR-2017-6, Verimag Research Report (2017). 3.1, 4.1, 4.1, 6, 2017
Ahmad, W., Jongerden, M., Stoelinga, M., et al.: Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata. In: 2016 16th International Conference on Application of Concurrency to System Design (ACSD), pp. 114–123. IEEE (2016)
Bahnasse, A., Badri, A., Talea, M., et al.: Towards a new approach for automating the simulation of QoS mechanisms in a smart digital environment. Proc. Comput. Sci. 134, 227–234 (2018)
Wimmer, S., Lammich, P.: Verified model checking of timed automata. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 61–78. Springer, Cham (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Sghaier, A., Meddeb, A. (2020). Model Based Validation of Real Time QoS for NCDCLA Protocol in Wireless Sensor Networks. In: Bouhlel, M., Rovetta, S. (eds) Proceedings of the 8th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT’18), Vol.2. SETIT 2018. Smart Innovation, Systems and Technologies, vol 147. Springer, Cham. https://doi.org/10.1007/978-3-030-21009-0_35
Download citation
DOI: https://doi.org/10.1007/978-3-030-21009-0_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-21008-3
Online ISBN: 978-3-030-21009-0
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)