Automated generation of performance and dependability models for the assessment of wireless sensor networks

IEEE Transactions on Computers

Volumn 61, Issue 6, 2012, Pages 870-884

  Di Martino, Catello ^a   Cinque, Marcello ^a   Cotroneo, Domenico ^a  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

assessment framework; stochastic activity networks; Wireless sensor networks dependability; WSN design

Indexed keywords

ASSESSMENT FRAMEWORK; AUTOMATED GENERATION; CIVIL STRUCTURE; DEPENDABILITY MODELS; HIGH LEVEL SPECIFICATION; INDUSTRIAL DEVELOPMENT; LOW LEVEL; MONITORING SYSTEM; NON FUNCTIONAL PROPERTIES; STOCHASTIC ACTIVITY NETWORKS; WIRELESS MONITORING; WIRELESS SENSOR NETWORK (WSNS);

ANALYTICAL MODELS; COMPUTER SIMULATION; DESIGN; INDUSTRIAL RESEARCH; MODELS; RATING;

WIRELESS SENSOR NETWORKS;

EID: 84860519638     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.2011.96     Document Type: Article

References (38)

1. I.F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, "Wireless Sensor Networks: A Survey," Computer Networks, vol. 38, no. 4, pp. 393-422, http://dx.doi.org/10.1016/S1389-1286(01)00302-4, Mar. 2002. (Pubitemid 34181630)
2. P. Levis and D. Culler, "The Firecracker Protocol," EW 11: Proc. 11th Workshop ACM SIGOPS European Workshop, p. 3, 2004.
3. L. Chih-Yu, P. Wen-Chih, and T. Yu-Chee, "Efficient In-Network Moving Object Tracking in Wireless Sensor Networks," IEEE Trans. Mobile Computing, vol. 5, no. 8, pp. 1044-1056, Aug. 2006.
4. S. Oh, L. Schenato, and S. Sastry, "A Hierarchical Multiple-Target Tracking Algorithm for Sensor Networks," Proc. IEEE Int'l Conf. Robotics and Automation, Apr. 2004.
5. N. Xu, S. Rangwala, K. Chintalapudi, D. Ganesan, A. Broad, R. Govindan, and D. Estrin, "A Wireless Sensor Network for Structural Monitoring," Proc. Second Int'l Conf. Embedded Networked Sensor Systems (SenSys '04), Nov. 2004.
6. M. Ceriotti, L. Mottola, and G.P.E.A. Picco, "Monitoring Heritage Buildings with Wireless Sensor Networks: The Torre Aquila Deployment," IPSN '09: Proc. Int'l Conf. Information Processing in Sensor Networks, pp. 277-288, 2009.
7. H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997.
8. V. Cortellessa, H. Singh, and B. Cukic, "Early Reliability Assessment of UML Based Software Models," WOSP '02: Proc. Third Int'l Workshop Software and Performance, pp. 302-309, 2002.
9. R. Szewczyk, A. Mainwaring, J. Polastre, J. Anderson, and D. Culler, "An Analysis of a Large Scale Habitat Monitoring Application," Proc. Second Int'l Conf. Embedded Networked Sensor Systems (SenSys '04), pp. 214-226, 2004. (Pubitemid 41563361)
10. B.L. Titzer, D.K. Lee, and J. Palsberg, "Avrora: Scalable Sensor Network Simulation with Precise Timing," IPSN '05: Proc. Fourth Int'l Symp. Information Processing in Sensor Networks, pp. 477-482, 2005. (Pubitemid 43841273)
11. W.H. Sanders and L.M. Malhis, "Dependability Evaluation Using Composed San-Based Reward Models," J. Parallel and Distributed Computing, vol. 15, pp. 238-254, 1992.
12. A. Mini, B. Nath, and A. Loureiro, "A Probabilistic Approach to Predict the Energy Consumption in Wireless Sensor Networks," Proc. Fourth Workshop de Comunicao sem Fio e Computao Mvel, Oct. 2002.
13. J.-J. Lee, B. Krishnamachari, and C.-C.J. Kuo, "Impact of Energy Depletion and Reliability on Wireless Sensor Network Connectivity," Proc. SPIE Defense and Security, 2004.
14. F. Koushanfar, M. Potkonjak, and A. Sangiovanni-Vincentelli, "On-Line Fault Detection of Sensor Measurements," Proc. IEEE Sensors, vol. 2, pp. 974-979, Oct. 2003.
15. S. Shakkottai, R. Srikant, and N. Shroff, "Unreliable Sensor Grids: Coverage, Connectivity and Diameter," Proc. IEEE INFOCOM, vol. 2, pp. 1073-1083, Apr. 2003.
16. R. Kannan and S. Iyengar, "Game-Theoretic Models for Reliable Path-Length and Energy-Constrained Routing with Data Aggregation in Wireless Sensor Networks," IEEE J. Selected Areas in Comm., vol. 22, no. 6, pp. 1141-1150, Aug. 2004.
17. H. AboElFotoh, S. Iyengar, and K. Chakrabarty, "Computing Reliability and Message Delay for Cooperative Wireless Distributed sensor Networks Subject to Random Failures," IEEE Trans. Reliability, vol. 54, no. 1, pp. 145-155, Mar. 2005. (Pubitemid 40400323)
18. L. Liu, B. Hu, H. Miao, and H.E.A. Li, "Achieving Energy Conservation, Coverage and Connectivity Requirements in Wireless Sensor Networks," ICDCSW '09: Proc. 29th IEEE Int'l Conf. Distributed Computing Systems Workshops, pp. 227-232, 2009.
19. G. Tolle, J. Polastre, R. Szewczyk, and D.E.A. Culler, "A Macroscope in the Redwoods," SenSys '05: Proc. Third Int'l Conf. Embedded Networked Sensor Systems, pp. 51-63, 2005.
20. K. Whitehouse, C. Karlof, A. Woo, F. Jiang, and D. Culler, "The Effects of Ranging Noise on Multihop Localization: An Empirical Study," IPSN '05: Proc. Fourth Int'l Symp. Information Processing in Sensor Networks, pp. 73-80, 2005.
21. D. Ganesan et al., "An Empirical Study of Epidemic Algorithms in Large Scale Multihop Wireless Networks," Intel Research, IRB-TR-02-003, Mar. 2002.
22. M. Li and Y. Liu, "Underground Coal Mine Monitoring with Wireless Sensor Networks," ACM Trans. Sensor Networks, vol. 5, no. 2, pp. 1-29, 2009.
23. M. Ramakrishnan and P.V. Ranjan, "Empirical Analysis of Energy Consumption in Wireless Sensor Networks," ARTCOM '09: Proc. Int'l Conf. Advances in Recent Technologies in Comm. and Computing, pp. 642-646, 2009.
24. P. Levis, N. Lee, M. Welsh, and D. Culler, "Tossim: Accurate and Scalable Simulation of Entire Tinyos Applications," SenSys '03: Proc. Int'l Conf. Embedded Networked Sensor Systems, pp. 126-137, 2003. (Pubitemid 40682340)
25. ISI The Network Simulator 2 ns-2, http://www.isi.edu/nsnam/nsidenx.html, 2002.
26. D.D. Deavours et al., "The Möbius Framework and Its Implementation," IEEE Trans. Software Eng., vol. 28, no. 10, pp. 956-969, Oct. 2002.
27. C. Di Martino, "Resiliency Assessment of Wireless Sensor Networks: A Holistic Approach," PhD thesis, Dipartimento di Informatica e Sistemistica, Universita' di Napoli Federico II, www.mobilab.unina.it/ tesiDottorato.html, 2009.
28. M. Cinque, D. Cotroneo, C. Di Martino, and S. Russo, "Modeling and Assessing the Dependability of Wireless Sensor Networks," Proc. 26th IEEE Int'l Symp. Reliable Distributed Systems (SRDS '07), vol. 1, pp. 33-42, Oct. 2007.
29. P. Levis, S. Madden, J. Polastre, and E.A. Szewczyk, "TinyOS: An Operating System for Wireless Sensor Networks," Ambient Intelligence, W. Weber, J. Rabaey, and E. Aarts, first ed., Springer, Apr. 2005.
30. C. Chiasserini and R. Rao, "A Model for Battery Pulsed Discharge with Recovery Effect," Proc. IEEE Wireless Comm. and Networking Conf., vol. 2, pp. 636-639, Sept. 1999.
31. N. Xu et al., "A Wireless Sensor Network for Structural Monitoring," SenSys '04: Proc. Second Int'l Conf. Embedded Networked Sensor Systems, pp. 13-24, 2004. (Pubitemid 41563345)
32. Y. Wang, J. Lynch, and K.H. Law, "Wireless Sensing Technologies for Civil Infrastructure Monitoring and Management," Proc. Fifth Int'l Seminar for Safety of Infrastructures, vol. 1, no. 1, pp. 1-7, Sept. 2007.
33. S.N. Pakzad et al., "Multi-Purpose Wireless Accelerometers for Civil Infrastructure Monitoring," technical report, Univ. of California at Berkeley, http://www.eecs.berkeley.edu/binetude/work/IWSHM.pdf, 2008.
34. S. Kim, S. Pakzad, D. Culler, and J.A.A. Demmel, "Health Monitoring of Civil Infrastructures Using Wireless Sensor Networks," IPSN '07: Proc. Sixth Int'l Conf. Information Processing in Sensor Networks, pp. 254-263, 2007. (Pubitemid 47582155)
35. I. Jawhar, N. Mohamed, and K. Shuaib, "A Framework for Pipeline Infrastructure Monitoring Using Wireless Sensor Networks," Proc. Wireless Telecomm. Symp., (WTS '07), pp. 1-7, Apr. 2007.
36. K. Chintalapudi et al., "Monitoring Civil Structures with a Wireless Sensor Network," IEEE Internet Computing, vol. 10, no. 2, pp. 26-34, Mar./Apr. 2006.
37. K. Chintalapudi et al., "Structural Damage Detection and Localization Using Netshm," IPSN '06: Proc. Fifth Int'l Conf. Information Processing in Sensor Networks, pp. 475-482, 2006.
38. J. Hill and D. Culler, "MICA: A Wireless Platform for Deeply Embedded Networks," IEEE Micro, vol. 22, no. 6, pp. 12-24, Nov./Dec. 2002.