Available Technologies

Browse Penn-owned technologies available for licensing.

HOME SEARCH RSS FEED

Safety-Assured Development of Generic Patient-Controlled Analgesic (GPCA) Infusion Pump Software

Description:

 

Inventor

Insup Lee, BaekGyu Kim, http://precise.seas.upenn.edu/

 

Technology Overview

This work automates the process of developing software for the Generic Patient-Controlled Analgesic (GPCA) Infusion Pump. This improves the safety and reliability of the system’s software and could be used in a device verification & validation (certification) role. This technique could be applied to a wide range of cyber-physical systems. This software uses FDA-provided GPCA safety requirements and a GPCA model (Simulink/Stateflow). Development included formal verification using the UPPAAL verification tool, automatic code-generation from the verified model (e.g., C code), and integration of auto-generated code with the hardware platform.

 

Intellectual Property

Copyrighted software

 

 

Desired partnerships

• License

 

 

 

 

Download PDF

 

Docket #  16-7853 


Patent Information:
For Information, Contact:
Joshua Jeanson
Associate Director, SEAS/SAS Licensing Group
University of Pennsylvania
jeanson@upenn.edu
Inventors:
Insup Lee
Baek-Gyu Kim
Keywords: