Analysis of Smart Mobile Applications for Healthcare under Dynamic Context Changes

IEEE Transactions on Mobile Computing

Volumn 14, Issue 5, 2015, Pages 904-919

  Banerjee, Ayan ^a   Gupta, Sandeep K S ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

cyber physical systems; medical devices; pervasive health monitoring system; safety, sustainability; Smart mobile applications

Indexed keywords

BIOMEDICAL EQUIPMENT; DIFFERENTIAL EQUATIONS; DYNAMICS; EMBEDDED SYSTEMS; HEALTH; HEALTH CARE; MEDICAL APPLICATIONS; MEDICAL COMPUTING; MOBILE COMPUTING; MONITORING; SOFTWARE TESTING; SUSTAINABLE DEVELOPMENT;

CYBER PHYSICAL SYSTEMS (CPSS); ENERGY SUSTAINABILITY; MEDICAL DEVICES; MOBILE APPLICATIONS; NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS; PERVASIVE HEALTH MONITORING SYSTEMS; PHYSICAL ENVIRONMENTS; REQUIREMENTS ANALYSIS;

MEDICAL INFORMATION SYSTEMS;

EID: 84926367063     PISSN: 15361233     EISSN: None     Source Type: Journal    
DOI: 10.1109/TMC.2014.2334606     Document Type: Article

References (56)

1. A. Banerjee and S. K. S. Gupta, "Your mobility can be injurious to your health: Analyzing pervasive health monitoring systems under dynamic context changes," in Proc. IEEE Int. Conf. Pervasive Comput. Commun., Mar. 2012, pp. 39-47.
2. M. Joseph, P. Bagade, A. Banerjee, and S. K. S. Gupta, "bHealthy: A physiological feedback-based mobile wellness application suite," in Proc. Int. Conf. Wireless Health, Article 14, Nov. 2013.
3. D. Arney, R. Jetley, P. Jones, I. Lee, and O. Sokolsky, "Formal methods based development of a PCA infusion pump reference model: Generic infusion pump (GIP) project," in Proc. Joint Workshop High Confidence Med. Devices, Softw. Syst. Med. Device Plug-and-Play Interoperability, 2007, pp. 23-33.
4. Food and Drugs Administration. FDA uses grammatech to analyze recalled medical devices. (2012). [Online]. Available: http://www.grammatech.com/products/codesonar/Gramma-Tech-FDA-Profile.pdf
5. th Annu. Int. Conf. Mobile Comput. Netw., 2001, pp. 151-165.
6. D. Wada and D. Ward, "The hybrid model: A new pharmacokinetic model for computer-controlled infusion pumps," IEEE Trans. Biomed. Eng., vol. 41, no. 2, pp. 134-142, Feb. 1994.
7. th Commun. Soc. Conf. Sen., Mesh Ad Hoc Commun. Netw., Jun. 2009, pp. 1-9.
8. P. W. Tuinenga, Spice: A Guide to Circuit Simulation and Analysis Using PSpice. Upper Saddle River, NJ, USA: Prentice-Hall, 1991.
9. th Int. Conf. Appl. Theory Petri Nets Other Models Concurrency, 2006, pp. 401-410.
10. th IEEE Int. Real-Time Syst. Symp., pp. 203-213.
11. nd Int. Conf. Cyber-Phys. Syst., 2011, pp. 131-140.
12. D. Arney, M. Pajic, J. M. Goldman, I. Lee, R. Mangharam, and O. Sokolsky, "Toward patient safety in closed-loop medical device systems," in Proc. ACM/IEEE Int. Conf. Cyber-Phys. Syst., 2010, pp. 139-148.
13. Codeproanalytics. (2010). [Online]. Available: https://marketplace.eclipse.org/content/codepro-analytix
14. I. Rhee, M. Shin, S. Hong, K. Lee, and S. Chong, "On the Levy-walk nature of human mobility," in Proc. IEEE INFOCOM, Apr. 2008, pp. 924-932.
15. J. C. Jensen, D. Chang, and E. A. Lee, "A model-based design methodology for cyber-physical systems," in Proc. Wireless Commun. Mobile Comput. Conf., Jul. 2011, pp. 1666-1671.
16. th Int. Workshop Hybrid Syst.: Comput. Control, 2005, pp. 258-273.
17. Modelica and the Modelica Assoc, Modelica. (2000). [Online]. Available: https://modelica.org/
18. P. Joshi, C.-S. Park, K. Sen, and M. Naik, "A randomized dynamic program analysis technique for detecting real deadlocks," in Proc. ACM SIGPLAN Conf. Program. Language Design Implementation, 2009, pp. 110-120.
19. J. Hu, J. Lygeros, and S. Sastry, "Towards a theory of stochastic hybrid systems," Hybrid Syst.: Comput. Control, vol. 1790, pp. 160-173, 2000.
20. Altera, VHDL. (2000). [Online]. Available: http://www.altera.com/support/examples/vhdl/vhdl.html
21. SAE, Advanced architecture design language. (2012). [Online]. Available: http://www.aadl.info/aadl/currentsite/
22. OMG, Unified modeling language. (1996). [Online]. Available: http://www.uml.org/
23. C.-L. Fok, A. Petz, D. Stovall, N. Paine, C. Julien, and S. Vishwanath, "Pharos: A testbed for mobile cyber-physical systems,"Univ. Texas at Austin, Austin, TX, USA, Tech. Rep. TR-ARiSE-, 2011.
24. nd ACM Int. Workshop Pervasive Wireless Healthcare, 2012, pp. 21-26.
25. Mathworks, MATLAB ® and Simulink. (2000). [Online]. Available: http://www.mathworks.com/
26. SysML, Systems modeling language (sysml). (2001). [Online]. Available: http://www.sysml.org/
27. Flovent. (2003). [Online]. Available: http://www.mentor.com/products/mechanical/products/flovent
28. A. Cervin and K.-E. Arzen, "TrueTime: Simulation tool for performance analysis of real-time embedded systems," in Model-Based Design for Embedded Systems. Boca Raton, FL, USA: CRC Press, 2011, pp. 93-119.
29. th Int. Workshop Artif. Intell., 2003, pp. 236-243.
30. A. Banerjee, S. Kandula, T. Mukherjee, and S. K. S. Gupta, "Bandaide: A tool for cyber-physical oriented analysis and design of body area networks and devices," ACM Trans. Embed. Comput. Syst., vol. 11, no. S2, pp. 49:1-49:29, Aug. 2012.
31. st Int. Conf. High Confidence Netw. Syst., 2012, pp. 81-88.
32. st Analytic Virtual Integration Cyber-Phys. Syst. Workshop., pp. 51-58, Nov. 30, 2010.
33. th Int. Modelica Conf., Dresden, Germany, 2011, pp. 502-509.
34. K. Bauer, "A new modelling language for cyber-physical systems,"Ph.D. dissertation, Dept. Comput. Sci., Univ. Kaiserslautern, Kaiserslautern, Germany, Jan. 2012.
35. W. Reisig, Petri Nets: An Introduction. New York, NY, USA: Springer-Verlag, 1985.
36. A. Banerjee and S. K. S. Gupta, "Spatio-temporal hybrid automata for safe cyber-physical systems: A medical case study," in Proc. Int. Conf. Cyber-Phys. Syst., pp. 71-80, 2013.
37. th Annu. Conf. Comput. Sci. Logic, 2010, pp. 469-483.
38. th Int. Conf. Wearable Implantable Body Sensor Netw., 2012, pp. 85-90.
39. F. Adelstein, S. K. S. Gupta, G. G. Richard, and L. Schwiebert, Fundamentals of Mobile and Pervasive Computing. New York, NY, USA: McGraw-Hill, Dec. 2004.
40. H. Veld and M. Ordelman, "Context aware algorithm for epileptic seizure detection," in Awareness deliverables, 2006.
41. H. U. Gerber and S.-Y. R. Li, "The occurrence of sequence patterns in repeated experiments and hitting times in a Markov chain," Stochastic Process. Appl., vol. 11, no. 1, pp. 101-108, 1981.
42. Appendix. (2014). [Online] Available: http://impact.asu.edu/publication/TMCAppendix.pdf
43. st IEEE Int. Conf. Distrib. Comput. Sen. Syst., Jul. 2005, pp. 406-407.
44. S. K. S. Gupta, T. Mukherjee, and K. K Venkatasubramanian, Body Area Networks: Safety, Security, and Sustainability. Cambridge, U.K.: Cambridge Univ. Press, 2013.
45. J. A. Paradiso, "Energy scavenging for mobile and wireless electronics,"IEEE Pervasive Comput., vol. 4, no. 1, pp. 18-27, Jan.-Mar. 2005.
46. S. Nabar, A. Banerjee, S. K. S. Gupta, and R. Poovendran, "Evaluation of body sensor network platforms: A design space and benchmarking analysis," in Proc. Wireless Health, 2010, pp. 118-127.
47. th Int. Workshop Wearable Implantable Body Sens. Netw., 2009, pp. 240-245.
48. T. L. Jackson and H. M. Byrne, "A mathematical model to study the effects of drug resistance and vasculature on the response of solid tumors to chemotherapy," Math. Biosci., vol. 164, no. 1, pp. 17-38, 2000.
49. (2009). [Online]. Available: http://math.nist.gov/mcsd/savg/papers/15-08-0780-09-0006-tg6-channel-model.pdf
50. S. Nabar, A. Banerjee, S. K. S. Gupta, and R. Poovendran, "GeMREM: Generative model-driven resource efficient ECG monitoring in body sensor networks," in Proc. Int. Conf. Body Sen. Netw., May 2011, pp. 1-6.
51. J. G. Milton, J. Gotman, G. M. Remillard, and F. Andermann, "Timing of seizure recurrence in adult epileptic patients: A statistical analysis," Epilepsia - Int. League Against Epilepsy, vol. 28, pp. 471-478, 1987.
52. S. R. Haut, "Seizure clustering," Epilepsy Behav., vol. 8, no. 1, pp. 50-55, 2006.
53. nd Conf. Wireless Health, Oct. 2011, pp. 1-6.
54. P. Bagade, A. Banerjee, J. Milazzo, and S. K. S. Gupta, "Protect your BSN: No handshakes, just namaste!" in Proc. IEEE Int. Conf. Body Sen. Netw., May 2013, pp. 1-6.
55. FDA guidance on Medical Mobile Applications http://www.fda.gov/MedicalDevices/ProductsandMedicalProcedures/ConnectedHealth/MobileMedicalApplications/ucm255978.htm
56. A. Banerjee, K. K. Venkatasubramanian, T. Mukherjee, and S. K. S. Gupta, "Ensuring safety, security, and sustainability of mission-critical cyber-physical systems," Proc. IEEE, vol. 100, no. 1, pp. 283-299, Jan. 2012.