The Generic Infusion Pump (GIP)

A workbench for improving safety, security and usability of medical systems

Generic Infusion Pump Research Project

FDAPennUMNKSUCHI+MEDCIMITSEIASUMcMasterU MichiganU BuffaloDrexel UU Minho

Medical infusion pumps deliver medicine (e.g. drugs, food nutrients, chemicals) to patients in various physical conditions. These types of devices are ubiquitous in health care settings from hospitals, to nursing homes, to private residences. Researchers in FDA/CDRH/ Office of Science and Engineering Laboratories (OSEL) developed the notion of a Generic Infusion Pump (GIP) safety “reference” model in response to extensive evidence of safety problems in this class of medical device.

The GIP safety model project serves to identify hazards, their causes, and control measures common to all types of medical infusion pumps at a design level that is independent of any hardware or feature set.

Two safety models have been established to date – the Generic Patient Controlled Analgesic (GPCA) infusion pump and the Generic Insulin Infusion pump (GIIP). These two models are “open / public” designs, intended to be used by academia as a realistic workbench for demonstrating tools and techniques that can improve the safety, security and usability of these and other medical devices. The ultimate goal is to (a) establish safety/security/usability reference models that can be used by manufacturers early in their design process to verify safety/security/usability properties which, in turn, (b) can be used to establish safety/security/usability assurance case arguments for regulatory review processes, and (c) serve as examples demonstrating the use of state-of-the-art safety-critical design and development engineering techniques.

This website provides direct links to tools, techniques, and examples developed to date by various international research groups in collaborations with the US Food and Drug Administration. Device manufacturers may find this information helpful for the analysis of aspects of their pump design before submitting their product for regulatory review. Manufacturers are particularly encouraged to contribute their knowledge to this effort.

Requirement Documents
FDA GPCA Functional Specification GPCA Alarming Component Model Generic Safety Requirements for Developing Safe Insulin Pump Software


PennFDA GPCA Functional Requirements GPCA Safety Requirements


UMN GPCA System Requirements


KSU Open PCA Pump Requirements


CIMIT PCA Clinical Scenario



Architecture
UMN Architectural Model


CHI+MED GIP User Interface Architecture (GIP-UI)


ASU Architecture for safety analysis and verification for medical devices (BAND-AiDe) Architecture for analysis of mobile applications under dynamic contexts



Hazard Analysis
FDA A Hazard Analysis for a Generic Insulin Infusion Pump


PennFDA GPCA Hazard Analysis


CHI+MEDFDA Hazard Analysis for Infusion Pump User Interface Software


ASU Pulse Oximeter thermal safety analysis



Security Analysis
ASU Physiological signal based system wide security for medical devices



Human Factors / HCI
CHI+MED Human-Computer Interaction for Medical Devices


U BuffaloDrexel U Enhanced Operator Function Model (EOFM) A Method for the Formal Verification of Human-Interactive Systems Formally verifying human–automation interaction as part of a system model: limitations and tradeoffs Evaluating Human-automation Interaction Using Task Analytic Behavior Models



Model-Based Design / Engineering
FDA GPCA Simulink Model GPCA Simulink Model Documentation


PennFDA GPCA Extended Finite State Machine (EFSM) Model GPCA Uppaal Model


UMN GPCA Behavior / Usage Model


CHI+MEDPenn Model-Based Design of User Interface Software of Infusion Pumps


ASU Using formal methods to improve home-use medical device safety



Implementation
ASU Health-Dev medical application code generator



Verification
Penn Verification of the GPCA Uppaal model


KSU Open PCA Pump Verification Suite


CHI+MEDFDA Verification of User Interface Software of Infusion Pumps


ASU Spatio-Temporal Hybrid Automata for Model based Verification of Artificial Pancreas



Safety / Security Assurance Case
Penn GPCA Assurance Case


KSU Open PCA Pump Assurance Case


SEI Assurance Cases for Medical Devices



Data Loggers and Forensic Analysis
CHI+MED Analysis of Infusion Pump Logs and Forensic Analysis


CIMIT OpenICE Data Logger



Tools
CHI+MED Tools and Guidance for Medical Device Developers



Quality Measures
Coming soon!



Certification
Coming soon!



Publications
CHI+MED CHI+MED Publications and Presentations


ASU Mobile medical application workshop 2014 held in conjunction with Sensys 2014
Mobile Medical application tutorial 2013 at FDA



Last modified:
Website maintained by Valentina Sokolskaya

AltStyle によって変換されたページ (->オリジナル) /