Abstract
This paper introduces a subset of mobile wireless sensor networks, called smartphone sensor networks, where large numbers of smartphone devices cooperate to perform sensing tasks. While these emerging networks show high potential, little work has been done on design-time verification and validation to ensure that a designed system will meet the specified goals. This paper introduces Empower, a simulation environment for smartphone sensor networks that simulates smartphone-specific properties of a sensor network, such as data collection policies, and outputs high-level system metrics, such as coverage of the environment being monitored. Experimentation is used to demonstrate that Empower’s ability to derive system design parameters, such as the minimum number of smartphones required for proper operation, or the most appropriate data collection policy for the production environment.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gartner says worldwide mobile phone sales grew 35 percent in third quarter 2010; smartphone sales increased 96 percent (November 2010), http://www.gartner.com/it/page.jsp?id=1466313
Turner, H., White, J., Thompson, C., Zienkiewicz, K., Campbell, S., Schmidt, D.: Building Mobile Sensor Networks Using Smartphones and Web Services: Ramifications and Development Challenges. In: Handbook of Research on Mobility and Computing, Hershey, PA (2009), http://www.cs.wustl.edu/~schmidt/PDF/hamilton-book-chapter.pdf
Froehlich, J., Dillahunt, T., Klasnja, P., Mankoff, J., Consolvo, S., Harrison, B., Landay, J.: UbiGreen: investigating a mobile tool for tracking and supporting green transportation habits. In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, pp. 1043–1052. ACM (2009)
Thompson, C., White, J., Dougherty, B., Schmidt, D.: Optimizing Mobile Application Performance with Model-Driven Engineering. In: Proceedings of the 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (2009)
Jones, W.: Forecasting traffic flow. IEEE Spectrum 38(1), 90–91 (2001)
Rose, G.: Mobile phones as traffic probes: practices, prospects and issues. Transport Reviews 26(3), 275–291 (2006)
Leijdekkers, P., Gay, V.: Personal heart monitoring and rehabilitation system using smart phones. In: Proceedings of the International Conference on Mobile Business, p. 29. Citeseer (2006)
Gahran, A.: Reporting on the gulf oil spill from your cell phone, 2010, this is an electronic document, June 11 (2010), http://articles.cnn.com/2010-06-11/tech/oil.spil.app_1_cell-phones-apps-geotagged?_s=PM:TECH (date retrieved January 12, 2010) (date last modified: date unavailable)
Ölveczky, P.C., Thorvaldsen, S.: Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 122–140. Springer, Heidelberg (2007)
Sharma, O., Lewis, J., Miller, A., Dearle, A., Balasubramaniam, D., Morrison, R., Sventek, J.: Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. In: Păsăreanu, C.S. (ed.) Model Checking Software. LNCS, vol. 5578, pp. 223–240. Springer, Heidelberg (2009)
Jain, S., Shah, R., Brunette, W., Borriello, G., Roy, S.: Exploiting mobility for energy efficient data collection in wireless sensor networks. Mobile Networks and Applications 11(3), 327–339 (2006)
Mainwaring, A., Culler, D., Polastre, J., Szewczyk, R., Anderson, J.: Wireless sensor networks for habitat monitoring. In: Proceedings of the 1st ACM International Workshop on Wireless Sensor Networks and Applications, pp. 88–97. ACM (2002)
Lilien, L., Gupta, A., Yang, Z.: Opportunistic networks for emergency applications and their standard implementation framework. In: IEEE International Performance, Computing, and Communications Conference, IPCCC 2007, pp. 588–593. IEEE (2007)
Eisenman, S.B., Lane, N.D., Campbell, A.T.: Techniques for Improving Opportunistic Sensor Networking Performance. In: Nikoletseas, S.E., Chlebus, B.S., Johnson, D.B., Krishnamachari, B. (eds.) DCOSS 2008. LNCS, vol. 5067, pp. 157–175. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Turner, H., White, J. (2012). Verification and Validation of Smartphone Sensor Networks. In: Venkatasubramanian, N., Getov, V., Steglich, S. (eds) Mobile Wireless Middleware, Operating Systems, and Applications. MOBILWARE 2011. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 93. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30607-5_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-30607-5_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30606-8
Online ISBN: 978-3-642-30607-5
eBook Packages: Computer ScienceComputer Science (R0)