EyePhy: Detecting Dependencies in Cyber-Physical System Apps due to Human-in-the-Loop

As app based paradigms are becoming popular, millions of apps are developed from many domains including energy, health, security, and entertainment. The US FDA expects that there will be 500 million smart phone users downloading healthcare related apps by 2015. Many of these apps are Cyber-Physical System (CPS) apps. In addition to sensing, communication, and computation, they perform interventions to control human physiological parameters, which can cause dependency problems as multiple interventions of multiple apps can increase or decrease each others effects, some of which can be harmful to the user. Such dependency problems occur mainly because each app is unaware about how other apps work and when an app performs an intervention to control its target parameters, it may affect other physiological parameters without even knowing it. We present EyePhy, a system that detects dependencies across interventions by having a closer eye on the physiological parameters of the human in the loop. To do that, EyePhy uses a physiological simulator HumMod that can model the complex interactions of the human physiology using over 7800 variables. EyePhy reduces app developers’ efforts in specifying dependency metadata compared to state of the art solutions and offers personalized dependency analysis for the user. We demonstrate the magnitude of dependencies that arise during multiple interventions in a human body and the significant ability of detecting these dependencies using EyePhy.

[1]  T. G. Coleman,et al.  Validation of a computational platform for the analysis of the physiologic mechanisms of a human experimental model of hemorrhage. , 2009, Resuscitation.

[2]  T. G. Coleman,et al.  Quantitative Circulatory Physiology: An integrative mathematical model of human physiology for medical education , 2007, Advances in physiology education.

[3]  Stefan Saroiu,et al.  An Operating System for the Home , 2012, NSDI.

[4]  Insup Lee,et al.  Toward patient safety in closed-loop medical device systems , 2010, ICCPS '10.

[5]  J G Hardman,et al.  A systems engineering approach to validation of a pulmonary physiology simulator for clinical applications , 2011, Journal of The Royal Society Interface.

[6]  Sirajum Munir,et al.  Cyber Physical System Challenges for Human-in-the-Loop Control , 2013, Feedback Computing.

[7]  Enamul Hoque,et al.  Physicalnet: A Generic Framework for Managing and Programming Across Pervasive Computing Networks , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[8]  Sirajum Munir,et al.  Reducing Energy Waste for Computers by Human-in-the-Loop Control , 2014, IEEE Transactions on Emerging Topics in Computing.

[9]  Vikas Kumar,et al.  CrowdSearch: exploiting crowds for accurate real-time image search on mobile phones , 2010, MobiSys '10.

[10]  The Lancet Tackling the burden of chronic diseases in the USA , 2009, The Lancet.

[11]  Dae-Jin Kim,et al.  Human-in-the-loop control of an assistive robotic arm in unstructured environments for spinal cord injured users , 2009, 2009 4th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[12]  Lui Sha,et al.  Feedback fault tolerance of real-time embedded systems: issues and possible solutions , 2006, SIGBED.

[13]  T G Coleman,et al.  HUMAN. A comprehensive physiological model. , 1983, The Physiologist.

[14]  Sirajum Munir,et al.  DepSys: Dependency aware integration of cyber-physical systems for smart homes , 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[15]  Ronald Tamler,et al.  An evaluation of diabetes self-management applications for Android smartphones , 2012, Journal of telemedicine and telecare.

[16]  J G Hardman,et al.  A physiology simulator: validation of its respiratory components and its ability to predict the patient's response to changes in mechanical ventilation. , 1998, British journal of anaesthesia.

[17]  John A. Stankovic,et al.  SocialSense: A Collaborative Mobile Platform for Speaker and Mood Identification , 2015, EWSN.

[18]  Robert L. Hester,et al.  HumMod: A Modeling Environment for the Simulation of Integrative Human Physiology , 2011, Front. Physio..

[19]  Kamin Whitehouse,et al.  The smart thermostat: using occupancy sensors to save energy in homes , 2010, SenSys '10.

[20]  T. G. Coleman,et al.  Circulation: overall regulation. , 1972, Annual review of physiology.

[21]  Daniel A. Beard,et al.  Modeling of Oxygen Transport and Cellular Energetics Explains Observations on In Vivo Cardiac Energy Metabolism , 2006, PLoS Comput. Biol..