The fourth workshop on Medical Cyber-Physical Systems (formerly know as HCMDSS (High Confidence Medical Devices, Software, and Systems) and Medical Device Plug-and- Play (MD PnP)) provides a forum for the presentation of research and development covering aspects of high integrity and interoperability for medical devices, software, and systems that are essential to improve safety and efficiency in health care. The goal of the workshop is to bring together medical device specialists, including researchers, developers, and caregivers, from clinical environments, industry, research laboratories, academia, and government to identify and address challenges facing the design, manufacture, certification, and use of medical devices.

We welcome submissions that define challenges, report experience, or discuss progress toward solutions.  Relevant topics include but are not limited to:

• Integration of Medical Device Systems/Models: Challenges and requirements for integration and inter-operation; experience developing, operating, or certifying interoperable equipment; component- or model-based approaches specifically targeting medical device interoperability; and data security and privacy issues

• Enabling Technologies for Future Medical Devices: Development, operation, or certification of implantable regulatory devices, networked biosensors, or tele- and robotic surgery devices physiologic signal QoS

• Distributed Control & Sensing: Robust, verifiable, fault-tolerant control of uncertain, multi-modal systems; physiologic signal QoS

• Patient Modeling & Simulation: Large scale, high fidelity organ and patient models for design and testing

• Embedded, Real-Time, Networked System Infrastructures for MCPS: Architecture, platform, middleware, and resource management issues and innovations related to safety, security, or verifiability

• High Confidence Medical Device Software Assurance: Challenges and innovations related to definitions of ‘safe’ behavior that vary across patients; how medical professionals will use new equipment and capabilities; and reconfiguration of devices and networks to meet individual patients’ needs

• Medical Practice-driven Models and Requirements: User-centric design, management of failures in a clinical environment, modeling of operational scenarios, including medical devices, caregivers, patients

• Certification of Medical Devices: Quantifiable incremental certification of medical device interoperability, role of design tools and COTS, approval of non-deterministic and self-adaptive devices

• Decision support systems: professionals and patients, as well as patient guidance services, which build on multimodal data fusion, data and pattern analysis, and modeling and predictive algorithms of patient health status

• Care Programs: identification of suitable care for patients, innovation in care pathways, organizational models and business models

 

Feb 8, 2013:		Submission Deadline
Feb 28, 2013:		Notification
Mar 5, 2013:		Camera Submission Due
TBD		Early Registration

Please email your paper in PDF format to Krishna Venkatasubramanian - kven at wpi dot edu. Please use the corresponding author's last name as the file name. Example: Venkatasubramanian.pdf. 

Papers should follow the two-column ACM Proceedings Format and be a maximum of eight (8) pages in length. Please refer to the ACM SIG Proceedings Template page for paper templates in both Microsoft Word and LaTeX formats. LaTeX is the preferred template.

Full Papers

• Towards Formal Verification Methods for Robotic Lower-Limb Prostheses and Orthoses,
  Robert D. Gregg, UT Dallas; Ufuk Topcu, University of Pennsylvania
• Literature Review of Testing Techniques for Medical Device Software,
  John J. Majikes, Rahul Pandita, Tao Xie, North Carolina State University
• Biogeography-Based Optimization for Hydraulic Prosthetic Knee Control,
  Tim Wilmot, George Thomas, Berney Montavon, Rick Rarick, Antonie van den Bogert, Steve Szatmary, and Dan Simon, Cleveland State University; William Smith and Sergey Samorezov, Cleveland Clinic
• A Control Flow Prototype for a Dose Recommending Device for Chronic Myeloid Leukemia Patients,
  Alena Simalatsar, Wenqi You, Dechao Sun, Giovanni De Micheli EPFL; Verena Gotta, University of Laussane and Geneva; Nicolas Widmer, University of Lausanne
• Run-time Safety Framework for Component-based Medical Robots,
  Min Yan Jung, Peter Kazanzides, Johns Hopkins University
• Using Models to Address Challenges in Specifying Requirements for Medical Cyber-Physical Systems,
  Anitha Murugesan, Sanjai Rayadurgam, Mats Heimdahl, University of Minnesota

Poster Papers

• Safety Assurance of Medical Cyber-Physical Systems using Hybrid Automata: A Case Study on Analgesic Infusion Pump,
  Priyanka Bagade, Ayan Banerjee, and Sandeep K.S. Gupta, Arizona State University
• Medical Cyber Physical Systems and Bigdata Platforms,
  Don S., Dugki Min, Kinkuk University, South Korea
• Vision based Decision-Support and Safety Systems for Robotic Surgery,
  Suren Kumar, Madusudanan Sathia, Sukumar Misra, Sudha Garimella, Pankal Singhal, Jason J. Corso, Venkat Krovi, University of Buffalo
• Goal-Seeking Formulation for Empowering Personalized Wellness Management,
  Mukesh K. Chippa, Shannon M. Whalen, and Shivakumar Sastry, Frank L. Douglas University of Akron