|
|
|
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
|
|
