High Confidence Medical Device
Software and Systems (HCMDSS)
Workshop

June 2 - 3, 2005, Philadelphia, PA

 
 
 
 
 
 
 
Submit Position Paper (Closed)
 
Registration (Closed)
 
Hotel registration/ reservation (Closed)
 
 
 

 

Question or Comment
Contact: Valentina Sokolskaya
Last updated: June 17, 05

Position papers

* Embedded / real-time / hybrid systems

  • Model-based Design and Implementation of Embedded Software for Medical Devices
    Rajeev Alur
    PDF
  • Model Driven Development for Component-based Integration of High-Confidence Medical Software
    Torben Amtoft, Anindya Banerjee, Matthew Dwyer, John Hatcliff, Robby, Virgil Wallentine
    Word file
  • Algorithmic Approach for the Design and Analysis of High-Confidence Medical Device Systems
    T. John Koo
    PDF
  • Building Blocks for Safe Medical Devices -- Assumption Management and Dependency Structuring
    Lui Sha
    Word file
  • Position paper: Submitted to the HCMDSS Workshop Program Committee
    Greg Sharp, Nagarajan Kandasamy
    PDF

* Patient Modeling and Simulation

  • Workshop on High Confidence medical Device Software and Systems
    Ruzena Bajcsy
    Word file
  • Issues in Development of High Confidence Medical Robotic Systems, Medical Simulations, and Networked Virtual Environments for Surgical Training
    M. Cenk Cavusoglu
    PDF
  • Patient Modeling & Simulation
    Kenneth C. Curley
    Word file
  • Use of plant model simulations in developing medical device software
    Robert C. Kircher
    Word file
  • Position paper: Submitted to the HCMDSS Workshop Program Committee
    Greg Sharp, Nagarajan Kandasamy
    PDF

* Technology policy, transfer, and standards

  • Using medical device Standards Developing Organizations to gain acceptance of research results by medical device manufacturers
    Sherman Eagles
    Word file
  • Creating an Infrastructure to Address HCMDSS Challenges
    Peter Kazanzides, Russell Taylor
    PDF
  • Solving the Problem of Duplicate Medical Device Unique Identifiers
    Peter Kuzmak, Andrew Casertano, Daniel Carozza, Ruth Dayhoff, Keith Campbell
    Word file

* Technology applications and needs

  • Unique Considerations in the integration/develpment of medical equipment/software intended to be used in the homecare environment
    Scott L. Bartow
    Word file
  • Assurance Issues In Next-Generation Telemedicine System Designs
    Rick Craft
    Word file
  • Enabling Technologies for Future Medical Devices - Robotic Surgery and Telesurgery
    Kenneth C. Curley
    Word file
  • Dependable Pervasive Health Monitoring
    Sandeep K. S. Gupta and Loren Schwiebert
    Word file
  • System-wide Integration of "Smart Pump" Technology: Medication Administration Surveillance for Ensuring Safe Patient Practices
    Rosemary C. Polomano, Poppy R. Bass, and Victoria L. Rich
    Word file

* Networking

  • Multimedia Room Gateway for Integration and Management of Distributed Medical Devices
    Myung Jin Lee and Soon Ju Kang
    Word file
  • Trustworthy Resource Management and QoS Models for Next Generation UbiCare Systems
    R. Melhem, D. Mosse and T. Znati
    Word file
  • Wireless Sensor Networks for In-Home Healthcare: Potential and Challenges
    J. A. Stankovic*, Q. Cao, T. Doan, L. Fang, Z. He, R. Kiran, S. Lin, S. Son, R. Stoleru, A. Wood
    Word file

* Software engineering and formal methods

  • Component-Based Design and Development for Robust Medical Applications
    M. Brian Blake, Kevin Cleary, Hee Su Kim, Sohan Ranjan, Kevin Gary, Julien Jomier, Stephen Aylward, Luis Ibanez
    PDF
  • Demonstration of Timeliness and Benefits of Formal Methods for High Confidence Medical Devices: An Experimental Development of Hand Pendant Software for Control of a Medical Linear Accelerator
    Peter Coronado, John Anton, Lindsay Errington, Bruce Krogh
    PDF
  • Constraint Maintenance and Transformation Based Design for High-Assurance Software and Systems
    Lindsay Errington, Bruce H. Krogh, John Anton and Peter Coronado
    PDF
  • Position Paper for HCMDSS
    Stephen Fickas
    PDF
  • Making Plug and Play Safe for Networked Medical Devices
    Christopher D. Gill
    PDF
  • Use of Formal Methods (FM) in developing medical device software
    Robert C. Kircher, Jr.
    Word file
  • Component-Based Medical and Assistive Devices and Systems
    Jane W.S. Liu, B.Y.Wang, H.Y.Liao, C.S.Shih, T.W.Kuo, A.C. Pang, and C.Y.Huang
    PDF
  • Reliable Medical Monitoring and Analysis
    Jens Palsberg, Majid Sarrafzadeh
    Word file
  • Correct-By-Design Software is Fundamental to High-Confidence Devices
    Stacy J. Prowell
    PDF
  • High-Level Programming Languages are Too Low-Level
    Raj Rajkumar
    PDF
  • Enhancing Dependability of Medical Software Systems
    Oleg Sokolsky
    PDF

* Metrics and certification

  • Behavior Coverage for High-Confidence Medical Software
    Myra Cohen, Matthew Dwyer, Sebastian Elbaum, John Hatcliff, Gregg Rothermel
    Word file
  • Enabling Certification through an Integrated Comprehension Approach
    Raoul Jetley and S. Purushothaman Iyer
    PDF
  • Assurance and Certification of Software Artifacts for High-Confidence Medical Devices
    Mark P. Jones
    PDF

* Tools and frameworks

  • Information Dynamics view Of High Confidence Medical Device Software and Systems
    Ashok K Agrawala
    PDF
  • Proofs as a Substrate for Tool Integration Supporting High-Confidence Embedded Software
    John Regehr, Konrad Slind, Elsa Gunter
    PDF

* Late submissions

  • Position Paper
    Scott Henninger, Sebastian Elbaum, Gregg Rothermel
    PDF
  • Power limitations in embedded sensors impact signal acquisition and data processing strategies
    Tomasz J. Petelenz, Christopher Sikorski, Stephen C.Jacobsen
    PDF
  • High Confidence Embedded Intelligent Systems in the Delivery of Health Care
    Shankar Sastry
    Word file
  • Goal-Based Certification for Medical Devices
    John Rushby
    PDF