UVA Research

I am involved in a number of activities at UVA detailed below with relevant publications highlighted.

Safety Analysis of Body Sensor Networks (Dissertation Work)

At the request of the FDA, my advisor John Lach and I wrote a grant that was funded to undertake some work in collaboration with the FDA looking at a framework for safety analysis of body sensor networks (BSN). This work is now my dissertation work. The basic idea is to model the BSN operation scenario, identify the safety implications, define safety in terms that are relatable to the system properties, and provide mechanisms for specify safety requirements for BSNs and analyzing BSNs with respect to these requirements. This work uses ideas form cyber-physical systems, systems safety, and medical instrumentation. You can find out more about this work in my thesis proposal (documents on this page). Publications directly as a result of this work are

  • Philip Asare, John Lach, John A. Stankovic, Yi Zhnag, Paul L. Jones, Sandy Weininger, “Towards a Framework for Safety Analysis of Body Sensor Networks” 8th ICST International Conference on Body Area Networks (BodyNets), October 2013, Boston, MA.
  • Philip Asare, Robert F. Dickerson, Xianyue Wu, John Lach, John A. Stankovic, “BodySim: A Multi-Domain Modeling and Simulation Framework for Body Sensor Networks Research and Design” 8th ICST International Conference on Body Area Networks (BodyNets), October 2013, Boston, MA.

Publications related to this work are

  • Philip Asare, John Lach, John A. Stankovic, “FSTPA-I: A Formal Approach to Hazard Identification via System Theoretic Process Analysis” 4th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) April 2013, Philadelphia, PA (accepted).
  • Italo Armenti, Philip Asare, Juliana Su, John Lach, “A Methodology for Developing Quality of Information Metrics for Body Sensor Design” 3rd ACM Wireless Health Conference, October, 2012, La Jolla, CA.

Mobile Systems and Sensor Networks

Coming soon …