Research Directions
Domain 1
High-Assurance Development of Medical Devices
Generic PCA Infusion Pump
Implantable Device Validation and Verification
Assurance Cases for Medical Devices
Improving Medical Device Security
Requirements Modeling for Medical Devices
Domain 2
Medical Device Interoperability
Domain 3
Decision-Support in Clinical Environments
Networked Physiological Closed-Loop Systems
Virtual Heart Model
Smart Alarms and Decision Support
Causality Analysis and Blame Assignment