Table of Contents Author Guidelines Submit a Manuscript
Journal of Sensors
Volume 2015 (2015), Article ID 716561, 7 pages
http://dx.doi.org/10.1155/2015/716561
Research Article

Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks

Zhi Chen,1,2,3 Ya Peng,1,2 and Wenjing Yue2,4

1College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China
2Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China
3State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210023, China
4College of Telecommunications and Information Engineering, Nanjing University of Posts and Telecommunications, Nanjing 210003, China

Received 7 February 2015; Revised 26 May 2015; Accepted 27 May 2015

Academic Editor: Jesus Corres

Copyright © 2015 Zhi Chen et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. M. A. Mahmood, W. K. G. Seah, and I. Welch, “Reliability in wireless sensor networks: a survey and challenges ahead,” Computer Networks, vol. 79, pp. 166–187, 2015. View at Publisher · View at Google Scholar
  2. M. Radi, B. Dezfouli, K. A. Bakar, and M. Lee, “Multipath routing in wireless sensor networks: survey and research challenges,” Sensors, vol. 12, no. 1, pp. 650–685, 2012. View at Publisher · View at Google Scholar · View at Scopus
  3. Z. Chen, S. Li, and W. Yue, “SOFM neural network based hierarchical topology control for wireless sensor networks,” Journal of Sensors, vol. 2014, Article ID 121278, 6 pages, 2014. View at Publisher · View at Google Scholar
  4. Z. Chen, S. Li, and W. Yue, “Memetic algorithm-based multi-objective coverage optimization for wireless sensor networks,” Sensors, vol. 14, no. 11, pp. 20500–20518, 2014. View at Publisher · View at Google Scholar
  5. R. A. Uthra and S. V. K. Raja, “QoS routing in wireless sensor networks—a survey,” ACM Computing Surveys, vol. 45, no. 1, article 9, 2012. View at Publisher · View at Google Scholar · View at Scopus
  6. J. Woodcock, P. G. Larsen, J. Bicarregui, and J. Fitzgerald, “Formal methods: practice and experience,” ACM Computing Surveys, vol. 41, no. 4, article 19, 2009. View at Publisher · View at Google Scholar · View at Scopus
  7. D. Le Metayer, “Formal methods as a link between software code and legal rules,” in Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings, vol. 7041 of Lecture Notes in Computer Science, pp. 3–18, Springer, Berlin, Germany, 2011. View at Publisher · View at Google Scholar
  8. E. M. Clarke, J. O. Grumberg, and D. A. Peled, Model Checking, MIT Press, Boston, Mass, USA, 1999.
  9. A. Cerone and N. Elbegbayan, “Model-checking driven design of interactive systems,” Electronic Notes in Theoretical Computer Science, vol. 183, pp. 3–20, 2007. View at Publisher · View at Google Scholar · View at Scopus
  10. F. M. Donini, M. Mongiello, M. Ruta, and R. Totaro, “A model checking-based method for verifying web application design,” Electronic Notes in Theoretical Computer Science, vol. 151, no. 2, pp. 19–32, 2006. View at Publisher · View at Google Scholar · View at Scopus
  11. F. Kordon, J. Hugues, and X. Renault, “From model driven engineering to verification driven engineering,” in Software Technologies for Embedded and Ubiquitous Systems, vol. 5287 of Lecture Notes in Computer Science, pp. 381–393, Springer, Berlin, Germany, 2008. View at Publisher · View at Google Scholar
  12. K. Akkaya and M. Younis, “An energy-aware QoS routing protocol for wireless sensor networks,” in Proceedings of the 23rd IEEE International Conference on Distributed Computing Systems Workshops, pp. 710–715, Providence, RI, USA, May 2003. View at Publisher · View at Google Scholar
  13. J. Ben-Othman and B. Yahya, “Energy efficient and QoS based routing protocol for wireless sensor networks,” Journal of Parallel and Distributed Computing, vol. 70, no. 8, pp. 849–857, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  14. R. Sun, E. Ding, H. Jiang, R. Geng, and W. Chen, “Game theoretic approach in adapting QoS routing protocol for wireless multimedia sensor networks,” International Journal of Distributed Sensor Networks, vol. 2014, Article ID 745252, 5 pages, 2014. View at Publisher · View at Google Scholar · View at Scopus
  15. L. Cheng, J. Niu, J. Cao, S. K. Das, and Y. Gu, “QoS aware geographic opportunistic routing in wireless sensor networks,” IEEE Transactions on Parallel and Distributed Systems, vol. 25, no. 7, pp. 1864–1875, 2014. View at Publisher · View at Google Scholar
  16. S. Hu, J. Han, X. Wei, and Z. Chen, “A multi-hop heterogeneous cluster-based optimization algorithm for wireless sensor networks,” Wireless Networks, vol. 21, no. 1, pp. 57–65, 2015. View at Publisher · View at Google Scholar
  17. M. I. Akbaş and D. Turgut, “Lightweight routing with dynamic interests in wireless sensor and actor networks,” Ad Hoc Networks, vol. 11, no. 8, pp. 2313–2328, 2013. View at Publisher · View at Google Scholar · View at Scopus
  18. M. Hammoudeh and R. Newman, “Adaptive routing in wireless sensor networks: QoS optimisation for enhanced application performance,” Information Fusion, vol. 22, pp. 3–15, 2015. View at Publisher · View at Google Scholar · View at Scopus
  19. S. Tschirner, X. Liang, and Y. Wang, “Model-based validation of QoS properties of biomedical sensor networks,” in Proceedings of the 8th ACM International Conference on Embedded Software, pp. 69–78, October 2008. View at Scopus
  20. S. Sridevi and M. Usha, “Energy-aware QoS based routing protocols for heterogeneous WSNs—a survey,” International Journal of Computer Science and Business Informatics, vol. 11, no. 1, pp. 1–19, 2014. View at Google Scholar
  21. J. Bengtsson and Y. Wang, “Timed automata: semantics, algorithms and tools,” in Lectures on Concurrency and Petri Nets, vol. 3098 of Lecture Notes in Computer Science, pp. 87–124, Springer, Berlin, Germany, 2004. View at Publisher · View at Google Scholar
  22. P. Fontana and R. Cleaveland, “A menagerie of timed automata,” ACM Computing Surveys, vol. 46, no. 3, article 40, 2014. View at Publisher · View at Google Scholar · View at Scopus
  23. G. Behrmann, A. David, and K. G. Larsen, “A tutorial on uppaal,” in Formal Methods for the Design of Real-Time Systems, vol. 3185 of Lecture Notes in Computer Science, pp. 200–236, Springer, Berlin, Germany, 2004. View at Publisher · View at Google Scholar
  24. P. Levis and D. Gay, TinyOS Programming, Cambridge University Press, Cambridge, UK, 2009. View at Publisher · View at Google Scholar