Streaming sensor data from dynamically reprogrammable tasks running on mobile devices

We describe Flux, a platform for dynamically reconfigurable data sensing using mobile devices, like smartphones or tablets. Periodic sensing tasks are programmed using the Flux Task Language and compiled onto abstract byte-code that is executed by a low-footprint virtual machine, guaranteeing by construction important runtime safety properties. For task dissemination, a Flux gateway performs on-the-fly injection of tasks on devices present in a geographical region, and sensing data is streamed back to the gateway that forwards it to a publish/subscribe broker. Live or archived streams are in turn fed by the broker to data processing clients. We implemented a prototype of Flux and used it to conduct a case-study experiment where the intensity of Wifi signal in our department is measured over a certain survey area, using smartphones and tablets carried by volunteers as they walked over the survey area.

[1]  Shuvendu K. Lahiri,et al.  Back to the future: revisiting precise program verification using SMT solvers , 2008, POPL '08.

[2]  A. James 2010 , 2011, Philo of Alexandria: an Annotated Bibliography 2007-2016.

[3]  Chenyang Lu,et al.  Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications , 2005, 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05).

[4]  Swarat Chaudhuri,et al.  A Study of Android Application Security , 2011, USENIX Security Symposium.

[5]  Matt Welsh,et al.  Programming Sensor Networks Using Abstract Regions , 2004, NSDI.

[6]  Alastair R. Beresford,et al.  Device Analyzer: Understanding Smartphone Usage , 2013, MobiQuitous.

[7]  C. Mass,et al.  Surface Pressure Observations from Smartphones: A Potential Revolution for High-Resolution Weather Prediction? , 2014 .

[8]  Margaret Martonosi,et al.  SARANA: language, compiler and run-time system support for spatially aware and resource-aware mobile computing , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[9]  Chenyang Lu,et al.  Agilla: A mobile agent middleware for self-adaptive wireless sensor networks , 2009, TAAS.

[10]  Yu Huang,et al.  Sensus: a cross-platform, general-purpose system for mobile crowdsensing in human-subject studies , 2016, UbiComp.

[11]  David E. Culler,et al.  The nesC language: A holistic approach to networked embedded systems , 2003, PLDI.

[12]  Zhu Wang,et al.  Mobile Crowd Sensing and Computing , 2015, ACM Comput. Surv..

[13]  Priya Narasimhan,et al.  Benchmarking Wireless Protocols for Feasibility in Supporting Crowdsourced Mobile Computing , 2016, DAIS.

[14]  Luís M. B. Lopes,et al.  Towards Out-of-the-Box Programming of Wireless Sensor-Actuator Networks , 2015, 2015 IEEE 18th International Conference on Computational Science and Engineering.

[15]  David De Roure,et al.  Zooniverse: observing the world's largest citizen science platform , 2014, WWW.

[16]  Ian F. Akyildiz,et al.  Sensor Networks , 2002, Encyclopedia of GIS.

[17]  M. Gribaudo,et al.  2002 , 2001, Cell and Tissue Research.

[18]  Ramesh Govindan,et al.  Medusa: a programming framework for crowd-sensing applications , 2012, MobiSys '12.

[19]  Hengchang Liu,et al.  SmartRoad , 2015, ACM Trans. Sens. Networks.

[20]  C. Martin 2015 , 2015, Les 25 ans de l’OMC: Une rétrospective en photos.

[21]  Emiliano Miluzzo,et al.  A survey of mobile phone sensing , 2010, IEEE Communications Magazine.

[22]  Fernando M. A. Silva,et al.  Using Edge-Clouds to Reduce Load on Traditional WiFi Infrastructures and Improve Quality of Experience , 2017, 2017 IEEE 1st International Conference on Fog and Edge Computing (ICFEC).

[23]  Jacques Klein,et al.  FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps , 2014, PLDI.

[24]  Lilly Irani,et al.  Amazon Mechanical Turk , 2018, Advances in Intelligent Systems and Computing.

[25]  S. M. García,et al.  2014: , 2020, A Party for Lazarus.

[26]  Ryan Newton,et al.  Region streams: functional macroprogramming for sensor networks , 2004, DMSN '04.

[27]  Gianluca Demartini,et al.  NoizCrowd: A Crowd-Based Data Gathering and Management System for Noise Level Data , 2013, MobiWIS.