Visible to the public Workshop on Software and Systems for Medical Devices and Services

December 3, 2007 | Tucson, Arizona
Held in conjuntion with RTSS 2007


0830 - 0835 Opening Remarks
Session Chair: Insup Lee
0835 - 0915 Keynote Presentation: Generic Framework for Design, Modeling, and Simulation of Cyber-Physical Systems
Paul L. Jones (US FDA)
0915 - 1015 Medical Record and User Interfaces
Session Chair: Oleg Sokolsky
  • 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
1015 - 1030 Break
1030 - 1200 Safety Modeling and Analysis of Medical Device Software and Systems
Session Chair: Chi-Sheng Shih
  • 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
1200 - 1330 Lunch
1330 - 1500 Real-time Systems and Network for Medical Services
Session Chair: Oleg Sokolsky
  • 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
1500 - 1530 Break
1530 - 1700

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
1700 - 2030 Cyber-Physical System Challenges in the Automotive Domain
Session Chair: Raj Rajkumar
Event Details
Tucson, Arizona