Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach

详细信息    查看全文

• 作者：Alessandro Testa (1)
  Marcello Cinque (2)
  Antonio Coronato (1)
  Giuseppe De Pietro (1)
  Juan Carlos Augusto (3)
  
  1. Institute for High Performance Computing and Networking ; CNR ; via P. Castellino ; 111 ; 80131 ; Naples ; Italy
  2. DIETI ; University of Naples 鈥淔ederico II鈥? via Claudio 19 ; 80127 ; Naples ; Italy
  3. School of Science and Technology ; Middlesex University ; The Burroughs ; London ; UK
  
• 关键词：Wireless sensor networks ; Heuristic ; Resiliency ; Formal language ; Robustness checking
• 刊名：Journal of Heuristics
• 出版年：2015
• 出版时间：April 2015
• 年：2015
• 卷：21
• 期：2
• 页码：145-175
• 全文大小：1,326 KB
• 参考文献：1. Arivubrakan, P., Dhulipala, V.: Energy consumption heuristics in wireless sensor networks. In: 2012 International Conference on Computing, Communication and Applications (ICCCA), pp. 1鈥? (2012). doi:10.1109/ICCCA.2012.6179194
  2. Avizienis, A, Laprie, JC, Randell, B, Landwehr, C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1: pp. 11-33 CrossRef
  3. Blum, J., Magill, E.: Telecare service challenge: conflict detection. In: 2011 5th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth), pp. 502鈥?07 (2011)
  4. Boonma, P, Suzuki, J (2010) Moppet: A model-driven performance engineering framework for wireless sensor networks. Comput. J. 53: pp. 1674-1690 CrossRef
  5. Bromuri, S., Stathis, K.: Distributed agent environments in the ambient event calculus. In: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 鈥?9, pp. 12:1鈥?2:12. ACM, New York (2009). doi:10.1145/1619258.1619275
  6. Chen, Z., Zhang, D., Zhu, R., Ma, Y., Yin, P., Xie, F.: A review of automated formal verification of ad hoc routing protocols for wireless sensor networks. Sensor Lett. 11(5):752鈥?64 (2013). doi:10.1166/sl.2013.2653 , http://www.ingentaconnect.com/content/asp/senlet/2013/00000011/00000005/art00002
  7. Chiasserini, C.F., Garetto, M.: Modeling the performance of wireless sensor networks. In: INFOCOM 2004. Twenty-third Annual Joint Conference of the IEEE Computer and Communications Societies, vol. 1, pp. 231 (2004). doi:10.1109/INFCOM.2004.1354496
  8. Chipara, O., Lu, C., Bailey, T.C., Roman, G.C.: Reliable clinical monitoring using wireless sensor networks: experiences in a step-down hospital unit. In: Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems, SenSys 鈥?0, pp. 155鈥?68. ACM, New York (2010). doi:10.1145/1869983.1869999
  9. Cinque, M, Coronato, A, Testa, A (2012) Dependable services for mobile health monitoring systems. IJACI 4: pp. 1-15
  10. Cinque, M., Martino, C.D., Testa, A.: Analyzing and modeling the failure behavior of wireless sensor networks software under errors. In: IWCMC, pp. 1136鈥?141 (2012b)
  11. Cinque, M., Coronato, A., Testa, A., Martino, C.D.: A survey on resiliency assessment techniques for wireless sensor networks. In: Proceedings of the 11th ACM International Symposium on Mobility management and Wireless Access (MobiWac 鈥?3), pp. 73鈥?0 (2013)
  12. Coronato, A, Pietro, G (2010) Formal design of ambient intelligence applications. Computer 43: pp. 60-68 CrossRef
  13. Di Martino, C., Cinque, M., Cotroneo, D.: Automated generation of performance and dependability models for the assessment of wireless sensor networks. IEEE Trans. Comput. 61(6), 870鈥?84 (2012). doi:10.1109/TC.2011.96
  14. El Abdellaoui, S, Debbah, M, Fakhri, Y, Aboutajdine, D (2013) Increasing network lifetime in an energy-constrained wireless sensor network. Int. J. Sens. Netw. (IJSNET) 13: pp. 44-56 CrossRef
  15. Elleuch, M., Hasan, O., Tahar, S., Abid, M.: Formal analysis of a scheduling algorithm for wireless sensor networks. In: Qin, S., Qiu, Z. (eds.) ICFEM. Lecture Notes in Computer Science, vol. 6991, pp. 388鈥?03. Springer, Heidelberg. http://dblp.uni-trier.de/db/conf/icfem/icfem2011.htmlElleuchHTA11 (2011)
  16. Elliott, EO (1963) Estimates of error rates for codes on burst-noise channels. Bell Syst. Tech. J. 42: pp. 1977-1997 CrossRef
  17. Fehnker, A., Fruth, M., Mciver, A.K.: Chapt graphical modelling for simulation and formal analysis of wireless network protocols. In: Butler, M.J., Jones, C.B., Romanovsky, A., Troubitsyna, E. (eds.) Methods, Models and Tools for Fault Tolerance, pp. 1鈥?4. Springer-Verlag, Berlin, Heidelberg (2009). doi:10.1007/978-3-642-00867-2_1
  18. Hande, A, Polk, T, Walker, W, Bhatia, D (2006) Self-powered wireless sensor networks for remote patient monitoring in hospitals. Sensors 6: pp. 1102-1117 CrossRef
  19. Hao, Y, Foster, R (2008) Wireless body sensor networks for health-monitoring applications. Physiol. Meas. 29: pp. R27-R56 CrossRef
  20. Jawhar, I., Mohamed, N., Shuaib, K., Kesserwan, N.: Monitoring linear infrastructures using wireless sensor networks*. In: Miri, A. (ed.) Wireless Sensor and Actor Networks II, pp. 185鈥?96, Springer, Boston (2008)
  21. Katelman, M., Meseguer, J., Hou, J.: Redesign of the lmst wireless sensor protocol through formal modeling and statistical model checking. In: Proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 鈥?8, pp. 150鈥?69. Springer-Verlag, Berlin, Heidelberg (2008). doi:10.1007/978-3-540-68863-1_10
  22. Ko, J., Lim, J.H., Chen, Y., Musvaloiu-E, R., Terzis, A., Masson, G.M., Gao, T., Destler, W., Selavo, L., Dutton, R.P.: Medisn: medical emergency detection in sensor networks. ACM Trans Embed Comput Syst 10(1):11:1鈥?1:29 (2010). doi:10.1145/1814539.1814550
  23. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67鈥?5 (1986). doi:10.1007/BF03037383
  24. Laprie, J.C.: From dependability to resilience. In: 38th IEEE/IFIP International Conference on Dependable Systems and Networks, Anchorage, Alaska, June 2008, Sup vol. pp. G8鈥揋9 (2008)
  25. Lee, J.J., Krishnamachari, B., Kuo, C.C.J.: Impact of energy depletion and reliability on wireless sensor network connectivity. In: Proceedings of the SPIE Defense and Security (2004)
  26. Levis, P., Lee, N., Welsh, M., Culler, D.: Tossim: accurate and scalable simulation of entire tinyos applications. In: Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, SenSys 鈥?3, pp. 126鈥?37. ACM, New York (2003). doi:10.1145/958491.958506
  27. Man, K., Vallee, T., Leung, H., Mercaldi, M., van der Wulp J., Donno M., Pastrnak M.: Tepawsn鈥擜 Tool Environment for Wireless Sensor Networks. In: 4th IEEE Conference on Industrial Electronics and Applications, 2009. ICIEA 2009, pp. 730鈥?33 (2009). doi:10.1109/ICIEA.2009.5138301
  28. Miller, R., Shanahan, M.: Reasoning about discontinuities in the event calculus. In: Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR鈥?6, Morgan Kaufmann) pp. 63鈥?4 (1996)
  29. Mueller, E.T.: Decreasoner. http://decreasoner.sourceforge.net (2005)
  30. 脰lveczky, P.C., Thorvaldsen, S.: Formal modeling and analysis of the ogdc wireless sensor network algorithm in real-time maude. In: Proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS鈥?7, pp. 122鈥?40. Springer-Verlag, Berlin, Heidelberg. http://dl.acm.org/citation.cfm?id=1772150.1772161 (2007)
  31. Santos, A, Duhamel, C, Belis谩rio, L, Guedes, L (2012) Strategies for designing energy-efficient clusters-based WSN topologies. J. Heuristics 18: pp. 657-675 CrossRef
  32. Shanahan, M.: The Event Calculus Explained. In: Lecture Notes in Computer Science, vol. 1600, pp. 409鈥?30. Springer, Heidelberg. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.3267 (1999)
  33. Testa, A., Coronato, A., Cinque, M., Augusto, J.C.: Static verification of wireless sensor networks with formal methods. In: 2012 Eighth International Conference on Signal Image Technology and Internet Based Systems (SITIS), pp. 587鈥?94. IEEE, Piscataway (2012)
  34. Titzer, B.L., Lee, D.K., Palsberg, J.: Avrora: scalable sensor network simulation with precise timing. In: Proceedings of the 4th international symposium on Information processing in sensor networks, IPSN 鈥?5. IEEE Press, Piscataway. http://dl.acm.org/citation.cfm?id=1147685.1147768 (2005)
  35. Xu, N., Rangwala, S., Chintalapudi, K.K., Ganesan, D., Broad A., Govindan, R., Estrin, D.: A wireless sensor network for structural monitoring. In: Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, SenSys 鈥?4, pp. 13鈥?4. ACM, New York (2004). doi:10.1145/1031495.1031498
  36. Yu, C, Fiske, R, Park, S, Kim, WT (2012) Many-to-one communication protocol for wireless sensor networks. Int. J. Sens. Netw. 12: pp. 160-170 CrossRef
  37. Yuan, D., Hollick M.: Tree-based multi-channel convergecast in wireless sensor networks. In: 2012 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), pp. 1鈥? (2012). doi:10.1109/WoWMoM.2012.6263713
  38. Zhang, J., Li, W., Cui, D., Zhao, X., Yin, Z.: The ns2-based simulation and research on wireless sensor network route protocol. In: 5th International Conference on Wireless Communications, Networking and Mobile Computing, 2009, WiCom 鈥?9, pp. 1鈥? (2009). doi:10.1109/WICOM.2009.5302699
  39. Zoumboulakis, M, Roussos, G (2011) Complex Event Detection in Extremely Resource-Constrained Wireless Sensor Networks. Kluwer Academic Publishers, Hingham, MA
  
• 刊物类别：Mathematics and Statistics
• 刊物主题：Mathematics
  Operations Research and Mathematical Programming
  Operation Research and Decision Theory
  Artificial Intelligence and Robotics
  Calculus of Variations and Optimal Control
  
• 出版者：Springer Netherlands
• ISSN：1572-9397

文摘

Wireless sensor networks (WSNs) are increasingly being adopted in critical applications. In these networks undesired events may undermine the reliability level; thus their effects need to be properly assessed from the early stages of the development process onwards to minimize the chances of unexpected problems during use. In this paper we propose two heuristic strategies: what-if analysis and robustness checking. They allow to drive designers towards optimal WSN deployment solutions, from the point of view of the connection and data delivery resiliency, exploiting a formal approach based on the event calculus formal language. The heuristics are backed up by a support tool aimed to simplify their adoption by system designers. The tool allows to specify the target WSN in a user-friendly way and it is able to elaborate the two heuristic strategies by means of the event calculus specifications automatically generated. The WSN reliability is assessed computing a set of specific metrics. The effectiveness of the strategies is shown in the context of three case studies.