Workshop on Software and Systems for Medical Devices and Services

• A Discussion of Methods and Techniques to Mitigate Data Collection Errors During Normal Clinical Rounds
  John Zaleski
• Computer-Based Screening of Early Vascular Anomaly
  M. Zhang, H. Ying, D. Sun, Y.-J. Chang, and J.-C. Liu

• Building Context-Aware Health-Care Applications Using a Generative Programming Framework
  Devdatta Kulkarni and Anand Tripathi
• Heartbeat Driven Medium Access Control For Body Sensor Networks
  Huaming Li and Jindong Tan
• Safety Requirements Based Analysis of Infursion Pump Software
  Raoul Jetley and Paul Jones

• A SystemC-based Fast Simulator for Biomonitoring Applications on Wireless Ban
  Kathy Dang Nguyen, Ioana Cutcutache
• Analyzing Pacemarker Safety Through Assumptions and Dependencies
  Mu Sun and Lui Sha
• Applying (M,K)-Firm Scheduling to Medical and Medication Systems
  Albert M. K. Cheng

Programming and Workflow in Medical/Medication Services
Session Chair: Chi-Sheng Shih

• Design Framework for a Real-Time Patient Monitoring System Using P2V
  Oscar Almeida, Gabe Knezek, and Steve Liu
• The Design of a Light-Weight Workflow Engine for Embedded Systems
  S.-Y. Chang, Y.-F. Lu, Tei-Wei Kuo, and Jane W.-S. Liu
• The Development of the Image-Guided Surgical Toolkit (IGSTK): An Open Source Package for Medical Interventions
  Kevin Gary, Patrick Cheng, Ziv Yaniv, Andinet Enquobahrie, Lius Ibanez, and Kevin Cleary