Mobile Wireless Middleware, Operating Systems, and Applications. 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers

Research Article

Verification and Validation of Smartphone Sensor Networks

Download
466 downloads
  • @INPROCEEDINGS{10.1007/978-3-642-30607-5_21,
        author={Hamilton Turner and Jules White},
        title={Verification and Validation of Smartphone Sensor Networks},
        proceedings={Mobile Wireless Middleware, Operating Systems, and Applications. 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers},
        proceedings_a={MOBILWARE},
        year={2012},
        month={5},
        keywords={smartphones mobile wireless sensor network simulation},
        doi={10.1007/978-3-642-30607-5_21}
    }
    
  • Hamilton Turner
    Jules White
    Year: 2012
    Verification and Validation of Smartphone Sensor Networks
    MOBILWARE
    Springer
    DOI: 10.1007/978-3-642-30607-5_21
Hamilton Turner1,*, Jules White1,*
  • 1: Virginia Tech
*Contact email: hturner0@vt.edu, julesw@vt.edu

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.