Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
»
Projects
CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
View
Submitted by Insup Lee on Thu, 04/07/2011 - 6:24pm
Project Details
Lead PI:
Lee Insup
Co-PI(s):
Sokolsky Oleg
Rajiv Alur
George Pappas
C. William Hanson, III
Performance Period:
10/01/10
-
09/30/16
Institution(s):
University of Pennsylvania
Sponsor(s):
National Science Foundation
Project URL:
http://rtg.cis.upenn.edu/MDCPS/
Award Number:
1035715
3665 Reads. Placed 8 out of 804 NSF CPS Projects based on total reads on all related artifacts.
Abstract:
The objective of this research is to establish a new development paradigm that enables the effective design, implementation, and certification of medical device cyber-physical systems. The approach is to pursue the following research directions: 1) to support medical device interconnectivity and interoperability with network-enabled control; 2) to apply coordination between medical devices to support emerging clinical scenarios; 3) to ?close the loop? and enable feedback about the condition of the patient to the devices delivering therapy; and 4) to assure safety and effectiveness of interoperating medical devices. The intellectual merits of the project are 1) foundations for rigorous development, which include formalization of clinical scenarios, operational procedures, and architectures of medical device systems, as well as patient and caregiver modeling; 2) high-confidence software development for medical device systems that includes the safe and effective composition of clinical scenarios and devices into a dynamically assembled system; 3) validation and certification of medical device cyber-physical systems; and 4) education of the next-generation of medical device system developers who must be literate in both computational and physical aspects of devices. The broader impacts of the project will be achieved in three ways. Novel design methods and certification techniques will significantly improve patient safety. The introduction of closed-loop scenarios into clinical practice will reduce the burden that caregivers are currently facing and will have the potential of reducing the overall costs of health care. Finally, the educational efforts and outreach activities will increase awareness of careers in the area of medical device systems and help attract women and under-represented minorities to the field.
Related Artifacts
Publications
Cloud-based Secure Logger For Medical Devices
Automated Closed-loop Model Checking of Implantable Pacemakers Using Abstraction Trees
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps
{Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study} authors = Chen, Sanjian and Sokolsky, Oleg and Weimer, James and Lee, Insup"
Physiology-Invariant Meal Detection for Type 1 Diabetes
Prediction of Critical Pulmonary Shunts in Infants
Automated Oracle Data Selection Support
Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data
The Risks of Coverage-Directed Test Case Generation
Towards a Model-Based Meal Detector for {Type I} Diabetics
Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients
Towards Assurance for Plug & Play Medical Systems
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices
Representing Confidence in Assurance Case Evidence
Hierarchical multi-formalism proofs of cyber-physical systems
Efficient observability-based test generation by dynamic symbolic execution
Early Detection of Critical Pulmonary Shunts in Infants
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites
An Intraoperative Glucose Control Benchmark for Formal Verification
Structuring simulink models for verification and reuse
Steering model-based oracles to admit real program behaviors
Reasoning About Confidence and Uncertainty in Assurance Cases: {A} Survey
OpenICE: An open, interoperable platform for medical cyber-physical systems
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety
Improving the accuracy of oracle verdicts through automated model steering
Functional Alarms for Systems of Interoperable Medical Devices
From Requirements to Code: Model Based Development of a Medical Cyber Physical System
Exploring the twin peaks using probabilistic verification techniques
Design Pillars for Medical Cyber-Physical System Middleware
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal
A layered approach for testing timing in the model-based implementation
Distributed Control for Cyber-Physical Systems
Circumvention of Security: Good Users Do Bad Things.
Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation
Compositional verification of a medical device system
Modes, features, and state-based modeling for clarity and flexibility
Modeling and requirements on the physical side of cyber-physical systems
Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers
Closed-loop verification of medical devices with model abstraction and refinement
Healthcare information technology's relativity problems: a typology of how patients' physical reality, clinicians' mental models, and healthcare information technology differ
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example
Model-based development of the Generic {PCA} infusion pump user interface within {PVS}
Model-Driven Safety Analysis of Closed-Loop Medical Systems
Your "What" Is My "How": Iteration and Hierarchy in System Design
Safety-critical Medical Device Development using the {UPP2SF} Model Translation Tool
Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences and Classifications.
Security and Interoperable-Medical-Device Systems, Part 1
Platform-dependent code generation for embedded real-time software
Assuring the Safety of On-Demand Medical Cyber-Physical Systems
A modal specification approach for on-demand medical systems
Evaluation of a smart alarm for intensive care using clinical data
{Assessing the Overall Sufficiency of Safety Arguments}
A model-based I/O interface synthesis framework for the cross-platform software modeling
{A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments}
Formal Verification of Hybrid Systems
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Optimal Scheduling for Constant-rate Multi-mode Systems
Challenges in the regulatory approval of medical cyber-physical systems
Smart alarms: multivariate medical alarm integration for post {CABG} surgery patients
A Safety Case Pattern for Model-Based Development Approach
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
Runtime Verification of Traces Under Recording Uncertainty
The {Medical Device Dongle}: An Open-Source Standards-Based Platform for Interoperable Medical Device Connectivity
On Effective Testing of Health Care Simulation Software
{Cyber-Physical Modeling of Implantable Cardiac Medical Devices}
Challenges and Research Directions in Medical Cyber-Physical Systems
Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems
Model-based Closed-loop Testing of Implantable Pacemakers
{Safety-Assured Development of the GPCA Infusion Pump Software}
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
Biomedical devices and systems security
{GSA}: A framework for rapid prototyping of smart alarm systems
Estimation of Blood Oxygen Content Using Context-Aware Filtering
In-silico pre-clinical trials for implantable cardioverter defibrillators
Towards Model Checking of Implantable Cardioverter Defibrillators
2 attachments
PDF version
Printer-friendly version
CPS Domains
Medical Devices
Certification
Composition
Embedded Software
Real-time Systems
Systems Engineering
Validation and Verification
CPS Technologies
Foundations